| Parent Directory/ | | - | Directory |
| frama-c-base_20130601+fluorine3+dfsg-2build1_amd64.deb | 2013-Dec-24 06:58:31 | 20.6M | application/vnd.debian.binary-package |
| frama-c-base_20130601+fluorine3+dfsg-2build1_i386.deb | 2013-Dec-24 06:58:43 | 20.0M | application/vnd.debian.binary-package |
| frama-c-base_20151002+magnesium+dfsg-1build1_amd64.deb | 2016-Feb-04 19:27:32 | 17.9M | application/vnd.debian.binary-package |
| frama-c-base_20151002+magnesium+dfsg-1build1_i386.deb | 2016-Feb-04 19:29:51 | 17.3M | application/vnd.debian.binary-package |
| frama-c-base_20170501+phosphorus+dfsg-2build1_amd64.deb | 2017-Oct-29 00:20:05 | 20.9M | application/vnd.debian.binary-package |
| frama-c-base_20170501+phosphorus+dfsg-2build1_i386.deb | 2017-Oct-29 00:20:54 | 20.1M | application/vnd.debian.binary-package |
| frama-c-base_20191204+calcium-0.1_amd64.deb | 2020-Apr-02 03:09:02 | 33.8M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-3build3_amd64.deb | 2023-Feb-20 00:43:53 | 72.3M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5_amd64.deb | 2023-Sep-11 21:20:38 | 60.6M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build7_amd64.deb | 2024-Apr-01 02:37:09 | 61.7M | application/vnd.debian.binary-package |
| frama-c_20130601+fluorine3+dfsg-2build1.debian.tar.gz | 2013-Dec-24 06:58:27 | 25.1K | application/gzip |
| frama-c_20130601+fluorine3+dfsg-2build1.dsc | 2013-Dec-24 06:58:27 | 1.6K | application/octet-stream |
| frama-c_20130601+fluorine3+dfsg-2build1_amd64.deb | 2013-Dec-24 06:58:32 | 3.3M | application/vnd.debian.binary-package |
| frama-c_20130601+fluorine3+dfsg-2build1_i386.deb | 2013-Dec-24 06:58:43 | 3.1M | application/vnd.debian.binary-package |
| frama-c_20130601+fluorine3+dfsg.orig.tar.gz | 2013-Nov-26 13:13:22 | 2.5M | application/gzip |
| frama-c_20151002+magnesium+dfsg-1build1.debian.tar.xz | 2016-Feb-04 19:25:58 | 21.7K | application/x-xz |
| frama-c_20151002+magnesium+dfsg-1build1.dsc | 2016-Feb-04 19:25:58 | 2.3K | application/octet-stream |
| frama-c_20151002+magnesium+dfsg-1build1_amd64.deb | 2016-Feb-04 19:27:32 | 8.1M | application/vnd.debian.binary-package |
| frama-c_20151002+magnesium+dfsg-1build1_i386.deb | 2016-Feb-04 19:29:52 | 7.7M | application/vnd.debian.binary-package |
| frama-c_20151002+magnesium+dfsg.orig.tar.gz | 2016-Jan-24 13:09:06 | 5.7M | application/gzip |
| frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz | 2017-Oct-29 00:19:11 | 29.0K | application/x-xz |
| frama-c_20170501+phosphorus+dfsg-2build1.dsc | 2017-Oct-29 00:19:11 | 2.3K | application/octet-stream |
| frama-c_20170501+phosphorus+dfsg-2build1_amd64.deb | 2017-Oct-29 00:20:05 | 11.3M | application/vnd.debian.binary-package |
| frama-c_20170501+phosphorus+dfsg-2build1_i386.deb | 2017-Oct-29 00:20:55 | 10.5M | application/vnd.debian.binary-package |
| frama-c_20170501+phosphorus+dfsg.orig.tar.gz | 2017-Aug-12 07:08:23 | 7.0M | application/gzip |
| frama-c_20191204+calcium-0.1.debian.tar.xz | 2020-Apr-02 01:53:18 | 21.9K | application/x-xz |
| frama-c_20191204+calcium-0.1.dsc | 2020-Apr-02 01:53:17 | 2.1K | application/octet-stream |
| frama-c_20191204+calcium.orig.tar.gz | 2020-Feb-25 22:03:33 | 5.5M | application/gzip |
| frama-c_20220511-manganese-3build3.debian.tar.xz | 2023-Feb-20 00:43:52 | 15.9K | application/x-xz |
| frama-c_20220511-manganese-3build3.dsc | 2023-Feb-20 00:43:52 | 2.3K | application/octet-stream |
| frama-c_20220511-manganese-5.debian.tar.xz | 2023-Sep-11 21:19:31 | 16.4K | application/x-xz |
| frama-c_20220511-manganese-5.dsc | 2023-Sep-11 21:19:31 | 2.0K | application/octet-stream |
| frama-c_20220511-manganese-5build7.debian.tar.xz | 2024-Mar-31 14:12:09 | 16.7K | application/x-xz |
| frama-c_20220511-manganese-5build7.dsc | 2024-Mar-31 14:12:09 | 2.4K | application/octet-stream |
| frama-c_20220511-manganese.orig.tar.gz | 2022-Jun-20 01:34:28 | 7.7M | application/gzip |