| ../ | | - | Directory |
| frama-c-base_20130601+fluorine3+dfsg-2build1_arm64.deb | 2013-Dec-24 09:08:30 | 12.4M | application/vnd.debian.binary-package |
| frama-c-base_20130601+fluorine3+dfsg-2build1_armhf.deb | 2013-Dec-24 08:13:41 | 20.8M | application/vnd.debian.binary-package |
| frama-c-base_20130601+fluorine3+dfsg-2build1_powerpc.deb | 2013-Dec-24 09:08:35 | 19.5M | application/vnd.debian.binary-package |
| frama-c-base_20130601+fluorine3+dfsg-2build1_ppc64el.deb | 2014-Feb-18 11:04:28 | 12.3M | application/vnd.debian.binary-package |
| frama-c-base_20151002+magnesium+dfsg-1build1_arm64.deb | 2016-Feb-04 21:06:04 | 18.5M | application/vnd.debian.binary-package |
| frama-c-base_20151002+magnesium+dfsg-1build1_armhf.deb | 2016-Feb-04 21:06:21 | 17.9M | application/vnd.debian.binary-package |
| frama-c-base_20151002+magnesium+dfsg-1build1_powerpc.deb | 2016-Feb-04 20:31:47 | 17.4M | application/vnd.debian.binary-package |
| frama-c-base_20151002+magnesium+dfsg-1build1_ppc64el.deb | 2016-Feb-04 20:32:17 | 10.8M | application/vnd.debian.binary-package |
| frama-c-base_20151002+magnesium+dfsg-1build1_s390x.deb | 2016-Feb-04 20:32:43 | 10.9M | application/vnd.debian.binary-package |
| frama-c-base_20170501+phosphorus+dfsg-2build1_arm64.deb | 2017-Oct-29 01:20:23 | 22.7M | application/vnd.debian.binary-package |
| frama-c-base_20170501+phosphorus+dfsg-2build1_armhf.deb | 2017-Oct-29 02:03:48 | 20.9M | application/vnd.debian.binary-package |
| frama-c-base_20170501+phosphorus+dfsg-2build1_ppc64el.deb | 2017-Oct-29 01:21:04 | 21.8M | application/vnd.debian.binary-package |
| frama-c-base_20170501+phosphorus+dfsg-2build1_s390x.deb | 2017-Oct-29 01:21:12 | 21.3M | application/vnd.debian.binary-package |
| frama-c-base_20191204+calcium-0.1_arm64.deb | 2020-Apr-02 04:09:04 | 36.2M | application/vnd.debian.binary-package |
| frama-c-base_20191204+calcium-0.1_armhf.deb | 2020-Apr-02 04:09:05 | 34.0M | application/vnd.debian.binary-package |
| frama-c-base_20191204+calcium-0.1_ppc64el.deb | 2020-Apr-02 04:09:05 | 35.1M | application/vnd.debian.binary-package |
| frama-c-base_20191204+calcium-0.1_riscv64.deb | 2020-Apr-06 02:43:51 | 22.2M | application/vnd.debian.binary-package |
| frama-c-base_20191204+calcium-0.1_s390x.deb | 2020-Apr-02 04:09:06 | 34.4M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build16_arm64.deb | 2025-Jan-26 00:57:03 | 63.2M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build16_armhf.deb | 2025-Jan-26 00:57:07 | 35.1M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build16_ppc64el.deb | 2025-Jan-26 00:57:12 | 61.4M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build16_riscv64.deb | 2025-Jan-26 02:47:36 | 67.1M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build16_s390x.deb | 2025-Jan-26 00:57:21 | 60.1M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build7_arm64.deb | 2024-Mar-31 15:12:33 | 65.9M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build7_armhf.deb | 2024-Mar-31 15:12:52 | 61.4M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build7_ppc64el.deb | 2024-Mar-31 19:52:30 | 64.1M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build7_riscv64.deb | 2024-Apr-01 01:14:48 | 68.8M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5build7_s390x.deb | 2024-Mar-31 15:14:17 | 61.9M | application/vnd.debian.binary-package |
| frama-c_20130601+fluorine3+dfsg-2build1.debian.tar.gz | 2013-Dec-24 07:58:27 | 25.1K | application/x-gtar-compressed |
| frama-c_20130601+fluorine3+dfsg-2build1.dsc | 2013-Dec-24 07:58:27 | 1.6K | application/octet-stream |
| frama-c_20130601+fluorine3+dfsg-2build1_arm64.deb | 2013-Dec-24 09:08:30 | 1.0M | application/vnd.debian.binary-package |
| frama-c_20130601+fluorine3+dfsg-2build1_armhf.deb | 2013-Dec-24 08:13:42 | 3.4M | application/vnd.debian.binary-package |
| frama-c_20130601+fluorine3+dfsg-2build1_powerpc.deb | 2013-Dec-24 09:08:36 | 3.0M | application/vnd.debian.binary-package |
| frama-c_20130601+fluorine3+dfsg-2build1_ppc64el.deb | 2014-Feb-18 11:04:29 | 1.0M | application/vnd.debian.binary-package |
| frama-c_20130601+fluorine3+dfsg.orig.tar.gz | 2013-Nov-26 14:13:22 | 2.5M | application/x-gtar-compressed |
| frama-c_20151002+magnesium+dfsg-1build1.debian.tar.xz | 2016-Feb-04 20:25:58 | 21.7K | application/x-xz |
| frama-c_20151002+magnesium+dfsg-1build1.dsc | 2016-Feb-04 20:25:58 | 2.3K | application/octet-stream |
| frama-c_20151002+magnesium+dfsg-1build1_arm64.deb | 2016-Feb-04 21:06:05 | 8.0M | application/vnd.debian.binary-package |
| frama-c_20151002+magnesium+dfsg-1build1_armhf.deb | 2016-Feb-04 21:06:21 | 8.2M | application/vnd.debian.binary-package |
| frama-c_20151002+magnesium+dfsg-1build1_powerpc.deb | 2016-Feb-04 20:31:48 | 7.6M | application/vnd.debian.binary-package |
| frama-c_20151002+magnesium+dfsg-1build1_ppc64el.deb | 2016-Feb-04 20:32:17 | 1.8M | application/vnd.debian.binary-package |
| frama-c_20151002+magnesium+dfsg-1build1_s390x.deb | 2016-Feb-04 20:32:42 | 1.9M | application/vnd.debian.binary-package |
| frama-c_20151002+magnesium+dfsg.orig.tar.gz | 2016-Jan-24 14:09:06 | 5.7M | application/x-gtar-compressed |
| frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz | 2017-Oct-29 01:19:11 | 29.0K | application/x-xz |
| frama-c_20170501+phosphorus+dfsg-2build1.dsc | 2017-Oct-29 01:19:11 | 2.3K | application/octet-stream |
| frama-c_20170501+phosphorus+dfsg-2build1_arm64.deb | 2017-Oct-29 01:20:23 | 13.0M | application/vnd.debian.binary-package |
| frama-c_20170501+phosphorus+dfsg-2build1_armhf.deb | 2017-Oct-29 02:03:49 | 11.0M | application/vnd.debian.binary-package |
| frama-c_20170501+phosphorus+dfsg-2build1_ppc64el.deb | 2017-Oct-29 01:21:05 | 11.9M | application/vnd.debian.binary-package |
| frama-c_20170501+phosphorus+dfsg-2build1_s390x.deb | 2017-Oct-29 01:21:12 | 11.6M | application/vnd.debian.binary-package |
| frama-c_20170501+phosphorus+dfsg.orig.tar.gz | 2017-Aug-12 08:08:23 | 7.0M | application/x-gtar-compressed |
| frama-c_20191204+calcium-0.1.debian.tar.xz | 2020-Apr-02 02:53:18 | 21.9K | application/x-xz |
| frama-c_20191204+calcium-0.1.dsc | 2020-Apr-02 02:53:17 | 2.1K | application/octet-stream |
| frama-c_20191204+calcium.orig.tar.gz | 2020-Feb-25 23:03:33 | 5.5M | application/x-gtar-compressed |
| frama-c_20220511-manganese-5build7.debian.tar.xz | 2024-Mar-31 15:12:09 | 16.7K | application/x-xz |
| frama-c_20220511-manganese-5build7.dsc | 2024-Mar-31 15:12:09 | 2.4K | application/octet-stream |
| frama-c_20220511-manganese.orig.tar.gz | 2022-Jun-20 02:34:28 | 7.7M | application/x-gtar-compressed |