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_am..> 23-Dec-2013 22:58 21587468 frama-c-base_20130601+fluorine3+dfsg-2build1_i3..> 23-Dec-2013 22:58 20987522 frama-c-base_20151002+magnesium+dfsg-1build1_am..> 04-Feb-2016 11:27 18763660 frama-c-base_20151002+magnesium+dfsg-1build1_i3..> 04-Feb-2016 11:29 18203290 frama-c-base_20170501+phosphorus+dfsg-2build1_a..> 28-Oct-2017 16:20 21999852 frama-c-base_20170501+phosphorus+dfsg-2build1_i..> 28-Oct-2017 16:20 21152872 frama-c-base_20191204+calcium-0.1_amd64.deb 01-Apr-2020 19:09 35510708 frama-c-base_20220511-manganese-3build3_amd64.deb 19-Feb-2023 16:43 75865330 frama-c-base_20220511-manganese-5_amd64.deb 11-Sep-2023 13:20 63536634 frama-c-base_20220511-manganese-5build7_amd64.deb 31-Mar-2024 18:37 64689762 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_amd64.deb 23-Dec-2013 22:58 3512708 frama-c_20130601+fluorine3+dfsg-2build1_i386.deb 23-Dec-2013 22:58 3256546 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_amd64.deb 04-Feb-2016 11:27 8513836 frama-c_20151002+magnesium+dfsg-1build1_i386.deb 04-Feb-2016 11:29 8152848 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_amd64.deb 28-Oct-2017 16:20 11903464 frama-c_20170501+phosphorus+dfsg-2build1_i386.deb 28-Oct-2017 16:20 11097516 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-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.