The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
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[@]metanet.ch.
../ cvc5_1.0.3-1.debian.tar.xz 20-Dec-2022 03:26 5964 cvc5_1.0.3-1.dsc 20-Dec-2022 03:26 2305 cvc5_1.0.3-1_amd64.deb 20-Dec-2022 05:55 107900 cvc5_1.0.3-1_arm64.deb 20-Dec-2022 05:29 97488 cvc5_1.0.3.orig.tar.gz 20-Dec-2022 03:26 8335175 cvc5_1.1.2-2+b2_amd64.deb 28-Oct-2024 17:08 108004 cvc5_1.1.2-2+b2_arm64.deb 29-Oct-2024 04:42 97216 cvc5_1.1.2-2+b2_i386.deb 28-Oct-2024 17:52 111820 cvc5_1.1.2-2.debian.tar.xz 19-Mar-2024 22:22 7396 cvc5_1.1.2-2.dsc 19-Mar-2024 22:22 2470 cvc5_1.1.2.orig.tar.gz 03-Mar-2024 02:53 8581968 libcvc5-1_1.0.3-1_amd64.deb 20-Dec-2022 05:55 5841260 libcvc5-1_1.0.3-1_arm64.deb 20-Dec-2022 05:29 4944548 libcvc5-1_1.1.2-2+b2_amd64.deb 28-Oct-2024 17:08 6679788 libcvc5-1_1.1.2-2+b2_arm64.deb 29-Oct-2024 04:42 5708524 libcvc5-1_1.1.2-2+b2_i386.deb 28-Oct-2024 17:52 7246948 libcvc5-dev_1.0.3-1_amd64.deb 20-Dec-2022 05:55 58584 libcvc5-dev_1.0.3-1_arm64.deb 20-Dec-2022 05:29 58576 libcvc5-dev_1.1.2-2+b2_amd64.deb 28-Oct-2024 17:08 93268 libcvc5-dev_1.1.2-2+b2_arm64.deb 29-Oct-2024 04:42 93256 libcvc5-dev_1.1.2-2+b2_i386.deb 28-Oct-2024 17:52 93256 libcvc5parser1_1.0.3-1_amd64.deb 20-Dec-2022 05:55 306872 libcvc5parser1_1.0.3-1_arm64.deb 20-Dec-2022 05:29 273148 libcvc5parser1_1.1.2-2+b2_amd64.deb 28-Oct-2024 17:08 236316 libcvc5parser1_1.1.2-2+b2_arm64.deb 29-Oct-2024 04:42 207312 libcvc5parser1_1.1.2-2+b2_i386.deb 28-Oct-2024 17:52 257740 python3-cvc5_1.1.2-2+b2_amd64.deb 28-Oct-2024 17:08 339356 python3-cvc5_1.1.2-2+b2_arm64.deb 29-Oct-2024 04:42 297628 python3-cvc5_1.1.2-2+b2_i386.deb 28-Oct-2024 17:52 323252
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.