../ | | - | Directory |
frama-c-base_20171101+sulfur+dfsg-2_amd64.deb | 2018-Nov-12 07:04:42 | 21.2M | application/vnd.debian.binary-package |
frama-c-base_20171101+sulfur+dfsg-2_arm64.deb | 2018-Nov-12 08:10:53 | 22.9M | application/vnd.debian.binary-package |
frama-c-base_20171101+sulfur+dfsg-2_armhf.deb | 2018-Nov-12 08:56:34 | 21.2M | application/vnd.debian.binary-package |
frama-c-base_20171101+sulfur+dfsg-2_i386.deb | 2018-Nov-12 08:41:08 | 20.4M | application/vnd.debian.binary-package |
frama-c-base_20201209+titanium-4.1_amd64.deb | 2021-Feb-12 15:44:00 | 57.8M | application/vnd.debian.binary-package |
frama-c-base_20201209+titanium-4.1_arm64.deb | 2021-Feb-12 15:59:09 | 60.9M | application/vnd.debian.binary-package |
frama-c-base_20201209+titanium-4.1_armhf.deb | 2021-Feb-12 15:59:13 | 57.3M | application/vnd.debian.binary-package |
frama-c-base_20201209+titanium-4.1_i386.deb | 2021-Feb-12 15:44:01 | 56.2M | application/vnd.debian.binary-package |
frama-c-base_20220511-manganese-3+b4_amd64.deb | 2023-May-03 20:27:25 | 61.0M | application/vnd.debian.binary-package |
frama-c-base_20220511-manganese-3+b4_arm64.deb | 2023-May-03 17:57:07 | 63.9M | application/vnd.debian.binary-package |
frama-c-base_20220511-manganese-3+b4_armhf.deb | 2023-May-03 17:29:53 | 60.1M | application/vnd.debian.binary-package |
frama-c-base_20220511-manganese-3+b4_i386.deb | 2023-May-03 20:27:27 | 58.9M | application/vnd.debian.binary-package |
frama-c-base_20220511-manganese-5+b13_amd64.deb | 2025-Jan-14 22:48:46 | 57.5M | application/vnd.debian.binary-package |
frama-c-base_20220511-manganese-5+b13_arm64.deb | 2025-Jan-14 22:48:49 | 59.6M | application/vnd.debian.binary-package |
frama-c-base_20220511-manganese-5+b13_armhf.deb | 2025-Jan-14 22:59:04 | 34.8M | application/vnd.debian.binary-package |
frama-c-base_20220511-manganese-5+b13_i386.deb | 2025-Jan-14 22:48:40 | 36.5M | application/vnd.debian.binary-package |