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_20130601+fluorine3+dfsg-2build1_ar..> 24-Dec-2013 00:08 13033306 frama-c-base_20130601+fluorine3+dfsg-2build1_ar..> 23-Dec-2013 23:13 21822346 frama-c-base_20151002+magnesium+dfsg-1build1_ar..> 04-Feb-2016 12:06 19487458 frama-c-base_20151002+magnesium+dfsg-1build1_ar..> 04-Feb-2016 12:06 18753860 frama-c-base_20170501+phosphorus+dfsg-2build1_a..> 28-Oct-2017 16:20 23853720 frama-c-base_20170501+phosphorus+dfsg-2build1_a..> 28-Oct-2017 17:03 21954360 frama-c-base_20191204+calcium-0.1_arm64.deb 01-Apr-2020 19:09 37999972 frama-c-base_20191204+calcium-0.1_armhf.deb 01-Apr-2020 19:09 35749940 frama-c-base_20220511-manganese-5build14_arm64.deb 06-Sep-2024 14:27 66272764 frama-c-base_20220511-manganese-5build14_armhf.deb 06-Sep-2024 14:27 36800044 frama-c-base_20220511-manganese-5build16_arm64.deb 25-Jan-2025 15:57 66279832 frama-c-base_20220511-manganese-5build16_armhf.deb 25-Jan-2025 15:57 36825072 frama-c-base_20220511-manganese-5build7_arm64.deb 31-Mar-2024 06:12 69181276 frama-c-base_20220511-manganese-5build7_armhf.deb 31-Mar-2024 06:12 64390294 frama-c_20130601+fluorine3+dfsg-2build1.debian...> 23-Dec-2013 22:58 25790 frama-c_20130601+fluorine3+dfsg-2build1.dsc 23-Dec-2013 22:58 1721 frama-c_20130601+fluorine3+dfsg-2build1_arm64.deb 24-Dec-2013 00:08 1127632 frama-c_20130601+fluorine3+dfsg-2build1_armhf.deb 23-Dec-2013 23:13 3615290 frama-c_20130601+fluorine3+dfsg.orig.tar.gz 26-Nov-2013 05:13 2640053 frama-c_20151002+magnesium+dfsg-1build1.debian...> 04-Feb-2016 11:25 22268 frama-c_20151002+magnesium+dfsg-1build1.dsc 04-Feb-2016 11:25 2395 frama-c_20151002+magnesium+dfsg-1build1_arm64.deb 04-Feb-2016 12:06 8483380 frama-c_20151002+magnesium+dfsg-1build1_armhf.deb 04-Feb-2016 12:06 8603944 frama-c_20151002+magnesium+dfsg.orig.tar.gz 24-Jan-2016 05:09 6039523 frama-c_20170501+phosphorus+dfsg-2build1.debian..> 28-Oct-2017 16:19 29748 frama-c_20170501+phosphorus+dfsg-2build1.dsc 28-Oct-2017 16:19 2396 frama-c_20170501+phosphorus+dfsg-2build1_arm64.deb 28-Oct-2017 16:20 13641240 frama-c_20170501+phosphorus+dfsg-2build1_armhf.deb 28-Oct-2017 17:03 11597200 frama-c_20170501+phosphorus+dfsg.orig.tar.gz 11-Aug-2017 23:08 7420018 frama-c_20191204+calcium-0.1.debian.tar.xz 01-Apr-2020 17:53 22460 frama-c_20191204+calcium-0.1.dsc 01-Apr-2020 17:53 2197 frama-c_20191204+calcium.orig.tar.gz 25-Feb-2020 14:03 5787697 frama-c_20220511-manganese-5build14.debian.tar.xz 06-Sep-2024 14:26 17208 frama-c_20220511-manganese-5build14.dsc 06-Sep-2024 14:26 2447 frama-c_20220511-manganese-5build7.debian.tar.xz 31-Mar-2024 06:12 17088 frama-c_20220511-manganese-5build7.dsc 31-Mar-2024 06:12 2480 frama-c_20220511-manganese.orig.tar.gz 19-Jun-2022 17:34 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.