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.
../ cbmc_4.5-2ubuntu2.debian.tar.gz 28-Oct-2013 21:18 6472 cbmc_4.5-2ubuntu2.dsc 28-Oct-2013 21:18 1168 cbmc_4.5-2ubuntu2_arm64.deb 28-Oct-2013 21:58 5614582 cbmc_4.5-2ubuntu2_armhf.deb 28-Oct-2013 22:18 4871984 cbmc_4.5.orig.tar.gz 28-Oct-2013 17:33 3766138 cbmc_5.10-5ubuntu1.debian.tar.xz 14-Apr-2020 09:08 13412 cbmc_5.10-5ubuntu1.dsc 14-Apr-2020 09:08 2267 cbmc_5.10-5ubuntu1_arm64.deb 14-Apr-2020 11:13 8803056 cbmc_5.10-5ubuntu1_armhf.deb 14-Apr-2020 11:13 8025744 cbmc_5.10.orig-java-models-library.tar.gz 09-Nov-2018 06:53 173342 cbmc_5.10.orig.tar.gz 09-Nov-2018 06:53 6345384 cbmc_5.12-5.debian.tar.xz 04-May-2020 23:13 15804 cbmc_5.12-5.dsc 04-May-2020 23:13 2234 cbmc_5.12-5_arm64.deb 05-May-2020 07:48 13461688 cbmc_5.12-5_armhf.deb 05-May-2020 07:48 11186184 cbmc_5.12.orig-java-models-library.tar.gz 02-May-2020 14:33 303871 cbmc_5.12.orig.tar.gz 02-May-2020 14:33 7226147 cbmc_5.3-1.debian.tar.xz 21-Jan-2016 05:25 9688 cbmc_5.3-1.dsc 21-Jan-2016 05:25 1729 cbmc_5.3-1_arm64.deb 21-Jan-2016 06:44 2676564 cbmc_5.3-1_armhf.deb 21-Jan-2016 06:45 2443022 cbmc_5.3.orig.tar.gz 21-Jan-2016 05:25 5288736 cbmc_5.6-1.debian.tar.xz 04-Dec-2016 17:18 10608 cbmc_5.6-1.dsc 04-Dec-2016 17:18 1744 cbmc_5.6-1_arm64.deb 04-Dec-2016 18:53 3419858 cbmc_5.6-1_armhf.deb 04-Dec-2016 19:13 2966252 cbmc_5.6.orig.tar.gz 04-Dec-2016 17:18 5459880 cbmc_5.95.1-4ubuntu1.debian.tar.xz 23-Apr-2024 17:04 15484 cbmc_5.95.1-4ubuntu1.dsc 23-Apr-2024 17:04 3147 cbmc_5.95.1-6.debian.tar.xz 03-May-2024 17:08 17780 cbmc_5.95.1-6.dsc 03-May-2024 17:08 3061 cbmc_5.95.1-6_armhf.deb 09-May-2024 17:50 15869304 cbmc_5.95.1.orig-java-cprover-api.tar.gz 16-Feb-2024 17:43 14582 cbmc_5.95.1.orig-java-models-library.tar.gz 16-Feb-2024 17:43 299209 cbmc_5.95.1.orig.tar.gz 16-Feb-2024 17:43 9073428 jbmc_5.95.1-6_armhf.deb 09-May-2024 17:50 5862522
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.