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_5.10-5.debian.tar.xz 17-Oct-2018 21:00 12548 cbmc_5.10-5.dsc 17-Oct-2018 21:00 2167 cbmc_5.10-5_amd64.deb 18-Oct-2018 02:45 10081736 cbmc_5.10-5_arm64.deb 18-Oct-2018 01:53 8625000 cbmc_5.10-5_i386.deb 18-Oct-2018 00:05 10835300 cbmc_5.10.orig-java-models-library.tar.gz 29-Sep-2018 16:38 173342 cbmc_5.10.orig.tar.gz 29-Sep-2018 16:38 6345384 cbmc_5.12-5.debian.tar.xz 04-May-2020 15:16 15804 cbmc_5.12-5.dsc 04-May-2020 15:16 2234 cbmc_5.12-5_amd64.deb 04-May-2020 17:58 17731668 cbmc_5.12-5_arm64.deb 04-May-2020 18:44 13452764 cbmc_5.12-5_i386.deb 04-May-2020 17:27 18796352 cbmc_5.12.orig-java-models-library.tar.gz 28-Apr-2020 19:10 303871 cbmc_5.12.orig.tar.gz 28-Apr-2020 19:10 7226147 cbmc_6.1.1-2.debian.tar.xz 02-Aug-2024 12:57 17932 cbmc_6.1.1-2.dsc 02-Aug-2024 12:57 3048 cbmc_6.1.1-2_amd64.deb 02-Aug-2024 14:49 22177768 cbmc_6.1.1-2_arm64.deb 02-Aug-2024 16:21 18228392 cbmc_6.1.1-2_i386.deb 02-Aug-2024 14:24 23058692 cbmc_6.1.1.orig-java-cprover-api.tar.gz 02-Jun-2023 19:14 14582 cbmc_6.1.1.orig-java-models-library.tar.gz 02-Jun-2023 19:14 299209 cbmc_6.1.1.orig.tar.gz 01-Aug-2024 21:13 9114649 cbmc_6.4.1-1.debian.tar.xz 21-Jan-2025 21:03 18076 cbmc_6.4.1-1.dsc 21-Jan-2025 21:03 3048 cbmc_6.4.1-1_amd64.deb 21-Jan-2025 22:23 22266764 cbmc_6.4.1-1_i386.deb 21-Jan-2025 22:23 23167232 cbmc_6.4.1-2.debian.tar.xz 22-Jan-2025 12:02 18324 cbmc_6.4.1-2.dsc 22-Jan-2025 12:02 3048 cbmc_6.4.1-2_amd64.deb 22-Jan-2025 14:32 22261924 cbmc_6.4.1-2_arm64.deb 22-Jan-2025 16:39 18353024 cbmc_6.4.1-2_i386.deb 22-Jan-2025 14:16 23169948 cbmc_6.4.1.orig-java-cprover-api.tar.gz 02-Jun-2023 19:14 14582 cbmc_6.4.1.orig-java-models-library.tar.gz 02-Jun-2023 19:14 299209 cbmc_6.4.1.orig.tar.gz 21-Jan-2025 21:03 9127951 jbmc_6.1.1-2_amd64.deb 02-Aug-2024 14:49 8667780 jbmc_6.1.1-2_arm64.deb 02-Aug-2024 16:21 7304632 jbmc_6.1.1-2_i386.deb 02-Aug-2024 14:24 9195708 jbmc_6.4.1-1_amd64.deb 21-Jan-2025 22:23 8696120 jbmc_6.4.1-1_i386.deb 21-Jan-2025 22:23 9215216 jbmc_6.4.1-2_amd64.deb 22-Jan-2025 14:32 8696140 jbmc_6.4.1-2_arm64.deb 22-Jan-2025 16:39 7327696 jbmc_6.4.1-2_i386.deb 22-Jan-2025 14:16 9216404
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.