| 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-5build14_arm64.deb | 2024-Sep-06 22:27:16 | 63.2M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build14_armhf.deb | 2024-Sep-06 22:27:22 | 35.0M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build14_ppc64el.deb | 2024-Sep-06 22:27:41 | 61.4M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build14_riscv64.deb | 2024-Sep-06 23:36:59 | 67.1M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build14_s390x.deb | 2024-Sep-06 22:27:48 | 60.1M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build15_arm64.deb | 2024-Nov-19 23:00:18 | 63.2M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build15_armhf.deb | 2024-Nov-19 23:00:20 | 35.0M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build15_ppc64el.deb | 2024-Nov-19 23:00:41 | 61.4M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build15_riscv64.deb | 2024-Nov-19 23:00:43 | 67.1M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build15_s390x.deb | 2024-Nov-19 23:00:47 | 60.1M | 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-5build14.debian.tar.xz | 2024-Sep-06 22:26:35 | 16.8K | application/x-xz |
| frama-c_20220511-manganese-5build14.dsc | 2024-Sep-06 22:26:35 | 2.3K | application/octet-stream |
| frama-c_20220511-manganese-5build15.debian.tar.xz | 2024-Nov-19 21:31:28 | 16.8K | application/x-xz |
| frama-c_20220511-manganese-5build15.dsc | 2024-Nov-19 21:31:28 | 2.3K | 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 |