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+b3_amd64.deb 09-Jan-2025 11:11 109176 cvc5_1.1.2-2+b3_arm64.deb 09-Jan-2025 11:31 97292 cvc5_1.1.2-2+b3_i386.deb 09-Jan-2025 11:05 111940 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 cvc5_1.3.2-1+b2_amd64.deb 28-Jun-2026 22:49 144184 cvc5_1.3.2-1+b2_arm64.deb 28-Jun-2026 20:43 128492 cvc5_1.3.2-1+b2_i386.deb 28-Jun-2026 23:51 145660 cvc5_1.3.2-1.debian.tar.xz 24-Dec-2025 01:13 8532 cvc5_1.3.2-1.dsc 24-Dec-2025 01:13 2468 cvc5_1.3.2.orig.tar.gz 24-Dec-2025 01:13 9250970 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+b3_amd64.deb 09-Jan-2025 11:11 6682620 libcvc5-1_1.1.2-2+b3_arm64.deb 09-Jan-2025 11:31 5708748 libcvc5-1_1.1.2-2+b3_i386.deb 09-Jan-2025 11:05 7251204 libcvc5-1_1.3.2-1+b2_amd64.deb 28-Jun-2026 22:49 7742672 libcvc5-1_1.3.2-1+b2_arm64.deb 28-Jun-2026 20:43 6636916 libcvc5-1_1.3.2-1+b2_i386.deb 28-Jun-2026 23:51 8378192 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+b3_amd64.deb 09-Jan-2025 11:11 93296 libcvc5-dev_1.1.2-2+b3_arm64.deb 09-Jan-2025 11:31 93260 libcvc5-dev_1.1.2-2+b3_i386.deb 09-Jan-2025 11:05 93252 libcvc5-dev_1.3.2-1+b2_amd64.deb 28-Jun-2026 22:49 124252 libcvc5-dev_1.3.2-1+b2_arm64.deb 28-Jun-2026 20:43 124252 libcvc5-dev_1.3.2-1+b2_i386.deb 28-Jun-2026 23:51 124240 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+b3_amd64.deb 09-Jan-2025 11:11 236752 libcvc5parser1_1.1.2-2+b3_arm64.deb 09-Jan-2025 11:31 207592 libcvc5parser1_1.1.2-2+b3_i386.deb 09-Jan-2025 11:05 257908 libcvc5parser1_1.3.2-1+b2_amd64.deb 28-Jun-2026 22:49 272768 libcvc5parser1_1.3.2-1+b2_arm64.deb 28-Jun-2026 20:43 237508 libcvc5parser1_1.3.2-1+b2_i386.deb 28-Jun-2026 23:51 293976 python3-cvc5_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 339080 python3-cvc5_1.1.2-2+b3_arm64.deb 09-Jan-2025 11:31 298164 python3-cvc5_1.1.2-2+b3_i386.deb 09-Jan-2025 11:05 325448 python3-cvc5_1.3.2-1+b2_amd64.deb 28-Jun-2026 22:49 385560 python3-cvc5_1.3.2-1+b2_arm64.deb 28-Jun-2026 20:43 324812 python3-cvc5_1.3.2-1+b2_i386.deb 28-Jun-2026 23:51 374624
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.