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-3.debian.tar.xz 27-Jul-2025 12:11 7392 cvc5_1.1.2-3.dsc 27-Jul-2025 12:11 2460 cvc5_1.1.2-3_amd64.deb 11-Aug-2025 13:32 107800 cvc5_1.1.2-3_arm64.deb 11-Aug-2025 13:44 97248 cvc5_1.1.2-3_i386.deb 11-Aug-2025 13:39 111452 cvc5_1.1.2.orig.tar.gz 03-Mar-2024 02:53 8581968 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-1_amd64.deb 24-Dec-2025 01:49 143700 cvc5_1.3.2-1_arm64.deb 24-Dec-2025 01:54 128672 cvc5_1.3.2-1_i386.deb 24-Dec-2025 01:49 145288 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.1.2-3_amd64.deb 11-Aug-2025 13:32 6691376 libcvc5-1_1.1.2-3_arm64.deb 11-Aug-2025 13:44 5714412 libcvc5-1_1.1.2-3_i386.deb 11-Aug-2025 13:39 7260884 libcvc5-1_1.3.2-1_amd64.deb 24-Dec-2025 01:49 7725568 libcvc5-1_1.3.2-1_arm64.deb 24-Dec-2025 01:54 6623380 libcvc5-1_1.3.2-1_i386.deb 24-Dec-2025 01:49 8371248 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.1.2-3_amd64.deb 11-Aug-2025 13:32 93084 libcvc5-dev_1.1.2-3_arm64.deb 11-Aug-2025 13:44 93084 libcvc5-dev_1.1.2-3_i386.deb 11-Aug-2025 13:39 93088 libcvc5-dev_1.3.2-1_amd64.deb 24-Dec-2025 01:49 124012 libcvc5-dev_1.3.2-1_arm64.deb 24-Dec-2025 01:54 124008 libcvc5-dev_1.3.2-1_i386.deb 24-Dec-2025 01:49 124008 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.1.2-3_amd64.deb 11-Aug-2025 13:32 237464 libcvc5parser1_1.1.2-3_arm64.deb 11-Aug-2025 13:44 208244 libcvc5parser1_1.1.2-3_i386.deb 11-Aug-2025 13:39 258976 libcvc5parser1_1.3.2-1_amd64.deb 24-Dec-2025 01:49 273180 libcvc5parser1_1.3.2-1_arm64.deb 24-Dec-2025 01:54 237412 libcvc5parser1_1.3.2-1_i386.deb 24-Dec-2025 01:49 293576 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.1.2-3_amd64.deb 11-Aug-2025 13:32 340568 python3-cvc5_1.1.2-3_arm64.deb 11-Aug-2025 13:44 297776 python3-cvc5_1.1.2-3_i386.deb 11-Aug-2025 13:39 324596 python3-cvc5_1.3.2-1_amd64.deb 24-Dec-2025 01:49 385008 python3-cvc5_1.3.2-1_arm64.deb 24-Dec-2025 01:54 322688 python3-cvc5_1.3.2-1_i386.deb 24-Dec-2025 01:49 374112
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.