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-3build3_arm64.deb 19-Feb-2023 16:43 81003092 frama-c-base_20220511-manganese-3build3_armhf.deb 19-Feb-2023 16:43 75640118 frama-c-base_20220511-manganese-5_arm64.deb 11-Sep-2023 13:20 68025672 frama-c-base_20220511-manganese-5_armhf.deb 11-Sep-2023 13:20 63384000 frama-c-base_20220511-manganese-5build11_arm64.deb 14-Jun-2024 05:14 69211110 frama-c-base_20220511-manganese-5build11_armhf.deb 14-Jun-2024 05:15 64427966 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-3build3.debian.tar.xz 19-Feb-2023 16:43 16276 frama-c_20220511-manganese-3build3.dsc 19-Feb-2023 16:43 2431 frama-c_20220511-manganese-5.debian.tar.xz 11-Sep-2023 13:19 16816 frama-c_20220511-manganese-5.dsc 11-Sep-2023 13:19 2145 frama-c_20220511-manganese-5build11.debian.tar.xz 14-Jun-2024 05:14 17132 frama-c_20220511-manganese-5build11.dsc 14-Jun-2024 05:14 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.