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.
../ cvc5_1.1.2-1build1.debian.tar.xz 31-Mar-2024 18:36 6576 cvc5_1.1.2-1build1.dsc 31-Mar-2024 18:36 2589 cvc5_1.1.2-1build1_amd64.deb 01-Apr-2024 03:46 95604 cvc5_1.1.2-2build1.debian.tar.xz 03-Jan-2025 21:43 7476 cvc5_1.1.2-2build1.dsc 03-Jan-2025 21:43 2473 cvc5_1.1.2-2build1_amd64.deb 03-Jan-2025 21:43 91938 cvc5_1.1.2.orig.tar.gz 03-Mar-2024 11:23 8581968 cvc5_1.3.2-1.debian.tar.xz 24-Dec-2025 06:24 8532 cvc5_1.3.2-1.dsc 24-Dec-2025 06:24 2468 cvc5_1.3.2-1_amd64.deb 24-Dec-2025 06:24 121956 cvc5_1.3.2.orig.tar.gz 24-Dec-2025 06:24 9250970 libcvc5-1_1.1.2-1build1_amd64.deb 01-Apr-2024 03:46 5085718 libcvc5-1_1.1.2-2build1_amd64.deb 03-Jan-2025 21:43 5286080 libcvc5-1_1.3.2-1_amd64.deb 24-Dec-2025 06:24 6174358 libcvc5-dev_1.1.2-1build1_amd64.deb 01-Apr-2024 03:46 84208 libcvc5-dev_1.1.2-2build1_amd64.deb 03-Jan-2025 21:43 84174 libcvc5-dev_1.3.2-1_amd64.deb 24-Dec-2025 06:24 111964 libcvc5parser1_1.1.2-1build1_amd64.deb 01-Apr-2024 03:46 209894 libcvc5parser1_1.1.2-2build1_amd64.deb 03-Jan-2025 21:43 211210 libcvc5parser1_1.3.2-1_amd64.deb 24-Dec-2025 06:24 234756 python3-cvc5_1.1.2-1build1_amd64.deb 01-Apr-2024 03:46 347334 python3-cvc5_1.1.2-2build1_amd64.deb 03-Jan-2025 21:43 358312 python3-cvc5_1.3.2-1_amd64.deb 24-Dec-2025 06:24 391004
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.