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.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.1.1-2.debian.tar.xz 02-Aug-2024 18:28 17932 cbmc_6.1.1-2.dsc 02-Aug-2024 18:28 3048 cbmc_6.1.1-2_arm64.deb 02-Aug-2024 20:53 20145162 cbmc_6.1.1-2_armhf.deb 02-Aug-2024 20:53 17709892 cbmc_6.1.1.orig-java-cprover-api.tar.gz 02-Aug-2024 06:07 14582 cbmc_6.1.1.orig-java-models-library.tar.gz 02-Aug-2024 06:07 299209 cbmc_6.1.1.orig.tar.gz 02-Aug-2024 06:07 9114649 jbmc_6.1.1-2_arm64.deb 02-Aug-2024 20:53 8161924 jbmc_6.1.1-2_armhf.deb 02-Aug-2024 20:53 6585490
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.