The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ frama-c-base_20171101+sulfur+dfsg-2_amd64.deb 12-Nov-2018 12:04 22300664 frama-c-base_20171101+sulfur+dfsg-2_arm64.deb 12-Nov-2018 13:10 24026076 frama-c-base_20171101+sulfur+dfsg-2_i386.deb 12-Nov-2018 13:41 21411192 frama-c-base_20201209+titanium-4.1_amd64.deb 12-Feb-2021 20:44 60634612 frama-c-base_20201209+titanium-4.1_arm64.deb 12-Feb-2021 20:59 63890688 frama-c-base_20201209+titanium-4.1_i386.deb 12-Feb-2021 20:44 58960108 frama-c-base_20220511-manganese-3+b4_amd64.deb 04-May-2023 00:27 64053860 frama-c-base_20220511-manganese-3+b4_arm64.deb 03-May-2023 21:57 67060456 frama-c-base_20220511-manganese-3+b4_i386.deb 04-May-2023 00:27 61763788 frama-c-base_20220511-manganese-5+b5_amd64.deb 19-Feb-2024 02:54 54788160 frama-c-base_20220511-manganese-5+b5_arm64.deb 19-Feb-2024 02:59 57340800 frama-c-base_20220511-manganese-5+b5_i386.deb 19-Feb-2024 02:54 52768332 frama-c-base_20220511-manganese-5+b6_amd64.deb 13-Mar-2024 05:30 54780496 frama-c-base_20220511-manganese-5+b6_arm64.deb 13-Mar-2024 02:05 57300424 frama-c-base_20220511-manganese-5+b6_i386.deb 13-Mar-2024 05:56 52772756 frama-c_20171101+sulfur+dfsg-2.debian.tar.xz 12-Nov-2018 12:04 23364 frama-c_20171101+sulfur+dfsg-2.dsc 12-Nov-2018 12:04 1832 frama-c_20171101+sulfur+dfsg.orig.tar.gz 11-May-2018 17:40 7121720 frama-c_20201209+titanium-4.1.debian.tar.xz 12-Feb-2021 19:48 16160 frama-c_20201209+titanium-4.1.dsc 12-Feb-2021 19:48 2375 frama-c_20201209+titanium.orig.tar.gz 02-Jan-2021 12:09 6314293 frama-c_20220511-manganese-3.debian.tar.xz 27-Dec-2022 21:26 16200 frama-c_20220511-manganese-3.dsc 27-Dec-2022 21:26 2407 frama-c_20220511-manganese-5.debian.tar.xz 09-Sep-2023 06:58 16816 frama-c_20220511-manganese-5.dsc 09-Sep-2023 06:58 2145 frama-c_20220511-manganese.orig.tar.gz 18-Jun-2022 19:27 8074351
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.