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_amd64.deb 28-Oct-2013 21:38 5684534 cbmc_4.5-2ubuntu2_i386.deb 28-Oct-2013 21:38 5667086 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_amd64.deb 14-Apr-2020 09:41 10528828 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_amd64.deb 05-May-2020 00:58 18057108 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_amd64.deb 21-Jan-2016 05:44 3021352 cbmc_5.3-1_i386.deb 21-Jan-2016 05:45 2975044 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_amd64.deb 04-Dec-2016 18:03 4021230 cbmc_5.6-1_i386.deb 04-Dec-2016 18:03 3835848 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-4ubuntu1_amd64.deb 23-Apr-2024 18:04 21340880 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 cbmc_6.0.1-2.debian.tar.xz 05-Jul-2024 23:40 18072 cbmc_6.0.1-2.dsc 05-Jul-2024 23:40 3048 cbmc_6.0.1-2_amd64.deb 06-Jul-2024 00:35 21339118 cbmc_6.0.1.orig-java-cprover-api.tar.gz 05-Jul-2024 23:40 14582 cbmc_6.0.1.orig-java-models-library.tar.gz 05-Jul-2024 23:40 299209 cbmc_6.0.1.orig.tar.gz 05-Jul-2024 23:40 9109589 jbmc_5.95.1-4ubuntu1_amd64.deb 23-Apr-2024 18:04 8329394 jbmc_6.0.1-2_amd64.deb 06-Jul-2024 00:35 8406440
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.