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-5build14_amd64.deb 06-Sep-2024 14:26 62107370 frama-c-base_20220511-manganese-5build15_amd64.deb 19-Nov-2024 15:00 62113826 frama-c-base_20220511-manganese-5build16_amd64.deb 25-Jan-2025 15:56 62111094 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-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-5build15.debian.tar.xz 19-Nov-2024 13:31 17236 frama-c_20220511-manganese-5build15.dsc 19-Nov-2024 13:31 2447 frama-c_20220511-manganese-5build16.debian.tar.xz 25-Jan-2025 15:56 17252 frama-c_20220511-manganese-5build16.dsc 25-Jan-2025 15:56 2447 frama-c_20220511-manganese-5build17.debian.tar.xz 30-Jan-2025 21:56 17248 frama-c_20220511-manganese-5build17.dsc 30-Jan-2025 21:56 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.