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.

Index of /debian/pool/main/c/cbmc/

../
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_5.95.1-4.debian.tar.xz                        19-Feb-2024 13:30               15316
cbmc_5.95.1-4.dsc                                  19-Feb-2024 13:30                3061
cbmc_5.95.1-4_amd64.deb                            19-Feb-2024 15:17            21145688
cbmc_5.95.1-4_arm64.deb                            19-Feb-2024 17:09            17032176
cbmc_5.95.1-4_i386.deb                             19-Feb-2024 15:43            21495012
cbmc_5.95.1-5.debian.tar.xz                        29-Apr-2024 13:57               16944
cbmc_5.95.1-5.dsc                                  29-Apr-2024 13:57                3061
cbmc_5.95.1-6.debian.tar.xz                        30-Apr-2024 10:06               17780
cbmc_5.95.1-6.dsc                                  30-Apr-2024 10:06                3061
cbmc_5.95.1-6_amd64.deb                            30-Apr-2024 11:37            21149948
cbmc_5.95.1-6_arm64.deb                            30-Apr-2024 11:38            17026936
cbmc_5.95.1-6_i386.deb                             30-Apr-2024 11:43            21496680
cbmc_5.95.1.orig-java-cprover-api.tar.gz           02-Jun-2023 19:14               14582
cbmc_5.95.1.orig-java-models-library.tar.gz        02-Jun-2023 19:14              299209
cbmc_5.95.1.orig.tar.gz                            16-Feb-2024 11:42             9073428
jbmc_5.95.1-4_amd64.deb                            19-Feb-2024 15:17             8046164
jbmc_5.95.1-4_arm64.deb                            19-Feb-2024 17:09             6886448
jbmc_5.95.1-4_i386.deb                             19-Feb-2024 15:43             8630740
jbmc_5.95.1-6_amd64.deb                            30-Apr-2024 11:37             8047484
jbmc_5.95.1-6_arm64.deb                            30-Apr-2024 11:38             6887112
jbmc_5.95.1-6_i386.deb                             30-Apr-2024 11:43             8635972

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.