| Parent Directory/ | | - | Directory |
| frama-c-base_20130601+fluorine3+dfsg-2build1_arm64.deb | 2013-Dec-24 08:08:30 | 12.4M | application/vnd.debian.binary-package |
| frama-c-base_20130601+fluorine3+dfsg-2build1_armhf.deb | 2013-Dec-24 07:13:41 | 20.8M | application/vnd.debian.binary-package |
| frama-c-base_20130601+fluorine3+dfsg-2build1_powerpc.deb | 2013-Dec-24 08:08:35 | 19.5M | application/vnd.debian.binary-package |
| frama-c-base_20130601+fluorine3+dfsg-2build1_ppc64el.deb | 2014-Feb-18 10:04:28 | 12.3M | application/vnd.debian.binary-package |
| frama-c-base_20151002+magnesium+dfsg-1build1_arm64.deb | 2016-Feb-04 20:06:04 | 18.5M | application/vnd.debian.binary-package |
| frama-c-base_20151002+magnesium+dfsg-1build1_armhf.deb | 2016-Feb-04 20:06:21 | 17.9M | application/vnd.debian.binary-package |
| frama-c-base_20151002+magnesium+dfsg-1build1_powerpc.deb | 2016-Feb-04 19:31:47 | 17.4M | application/vnd.debian.binary-package |
| frama-c-base_20151002+magnesium+dfsg-1build1_ppc64el.deb | 2016-Feb-04 19:32:17 | 10.8M | application/vnd.debian.binary-package |
| frama-c-base_20151002+magnesium+dfsg-1build1_s390x.deb | 2016-Feb-04 19:32:43 | 10.9M | application/vnd.debian.binary-package |
| frama-c-base_20170501+phosphorus+dfsg-2build1_arm64.deb | 2017-Oct-29 00:20:23 | 22.7M | application/vnd.debian.binary-package |
| frama-c-base_20170501+phosphorus+dfsg-2build1_armhf.deb | 2017-Oct-29 01:03:48 | 20.9M | application/vnd.debian.binary-package |
| frama-c-base_20170501+phosphorus+dfsg-2build1_ppc64el.deb | 2017-Oct-29 00:21:04 | 21.8M | application/vnd.debian.binary-package |
| frama-c-base_20170501+phosphorus+dfsg-2build1_s390x.deb | 2017-Oct-29 00:21:12 | 21.3M | application/vnd.debian.binary-package |
| frama-c-base_20191204+calcium-0.1_arm64.deb | 2020-Apr-02 03:09:04 | 36.2M | application/vnd.debian.binary-package |
| frama-c-base_20191204+calcium-0.1_armhf.deb | 2020-Apr-02 03:09:05 | 34.0M | application/vnd.debian.binary-package |
| frama-c-base_20191204+calcium-0.1_ppc64el.deb | 2020-Apr-02 03:09:05 | 35.1M | application/vnd.debian.binary-package |
| frama-c-base_20191204+calcium-0.1_riscv64.deb | 2020-Apr-06 01:43:51 | 22.2M | application/vnd.debian.binary-package |
| frama-c-base_20191204+calcium-0.1_s390x.deb | 2020-Apr-02 03:09:06 | 34.4M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-3build3_arm64.deb | 2023-Feb-20 00:43:53 | 77.2M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-3build3_armhf.deb | 2023-Feb-20 00:43:53 | 72.1M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-3build3_ppc64el.deb | 2023-Feb-20 00:43:53 | 75.0M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-3build3_riscv64.deb | 2023-Feb-20 03:19:15 | 77.8M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-3build3_s390x.deb | 2023-Feb-20 00:43:54 | 72.9M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5_arm64.deb | 2023-Sep-11 21:20:44 | 64.8M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5_armhf.deb | 2023-Sep-11 21:20:48 | 60.4M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5_ppc64el.deb | 2023-Sep-11 21:20:50 | 63.0M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5_riscv64.deb | 2023-Sep-11 22:41:12 | 66.1M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5_s390x.deb | 2023-Sep-11 21:21:05 | 61.0M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build7_arm64.deb | 2024-Mar-31 14:12:33 | 65.9M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build7_armhf.deb | 2024-Mar-31 14:12:52 | 61.4M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build7_ppc64el.deb | 2024-Mar-31 18:52:30 | 64.1M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build7_riscv64.deb | 2024-Apr-01 00:14:48 | 68.8M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build7_s390x.deb | 2024-Mar-31 14:14:17 | 61.9M | 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_arm64.deb | 2013-Dec-24 08:08:30 | 1.0M | application/vnd.debian.binary-package |
| frama-c_20130601+fluorine3+dfsg-2build1_armhf.deb | 2013-Dec-24 07:13:42 | 3.4M | application/vnd.debian.binary-package |
| frama-c_20130601+fluorine3+dfsg-2build1_powerpc.deb | 2013-Dec-24 08:08:36 | 3.0M | application/vnd.debian.binary-package |
| frama-c_20130601+fluorine3+dfsg-2build1_ppc64el.deb | 2014-Feb-18 10:04:29 | 1.0M | 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_arm64.deb | 2016-Feb-04 20:06:05 | 8.0M | application/vnd.debian.binary-package |
| frama-c_20151002+magnesium+dfsg-1build1_armhf.deb | 2016-Feb-04 20:06:21 | 8.2M | application/vnd.debian.binary-package |
| frama-c_20151002+magnesium+dfsg-1build1_powerpc.deb | 2016-Feb-04 19:31:48 | 7.6M | application/vnd.debian.binary-package |
| frama-c_20151002+magnesium+dfsg-1build1_ppc64el.deb | 2016-Feb-04 19:32:17 | 1.8M | application/vnd.debian.binary-package |
| frama-c_20151002+magnesium+dfsg-1build1_s390x.deb | 2016-Feb-04 19:32:42 | 1.9M | 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_arm64.deb | 2017-Oct-29 00:20:23 | 13.0M | application/vnd.debian.binary-package |
| frama-c_20170501+phosphorus+dfsg-2build1_armhf.deb | 2017-Oct-29 01:03:49 | 11.0M | application/vnd.debian.binary-package |
| frama-c_20170501+phosphorus+dfsg-2build1_ppc64el.deb | 2017-Oct-29 00:21:05 | 11.9M | application/vnd.debian.binary-package |
| frama-c_20170501+phosphorus+dfsg-2build1_s390x.deb | 2017-Oct-29 00:21:12 | 11.6M | 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 |