| ../ | | - | Directory |
| frama-c-base_20201209+titanium-4.1_amd64.deb | 2021-Feb-13 02:14:00 | 57.8M | application/vnd.debian.binary-package |
| frama-c-base_20201209+titanium-4.1_arm64.deb | 2021-Feb-13 02:29:09 | 60.9M | application/vnd.debian.binary-package |
| frama-c-base_20201209+titanium-4.1_i386.deb | 2021-Feb-13 02:14:01 | 56.2M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-3+b3_mips64el.deb | 2023-May-04 03:27:09 | 38.6M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-3+b4_amd64.deb | 2023-May-04 05:57:25 | 61.0M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-3+b4_arm64.deb | 2023-May-04 03:27:07 | 63.9M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-3+b4_i386.deb | 2023-May-04 05:57:27 | 58.9M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-3+b4_ppc64el.deb | 2023-May-04 06:12:29 | 62.7M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5+b12_mips64el.deb | 2025-Jan-15 10:15:04 | 36.4M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5+b13_amd64.deb | 2025-Jan-15 09:18:46 | 57.5M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5+b13_arm64.deb | 2025-Jan-15 09:18:49 | 59.6M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5+b13_i386.deb | 2025-Jan-15 09:18:40 | 36.5M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5+b13_ppc64el.deb | 2025-Jan-15 09:18:45 | 58.7M | application/vnd.debian.binary-package |
| frama-c-base_20220511-manganese-5+b14_riscv64.deb | 2025-Jan-15 12:32:33 | 62.4M | application/vnd.debian.binary-package |