../ 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-1_amd64v3.deb 24-Dec-2025 06:24 123702 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-1_1.3.2-1_amd64v3.deb 24-Dec-2025 06:24 6377444 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 libcvc5-dev_1.3.2-1_amd64v3.deb 24-Dec-2025 06:24 111974 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 libcvc5parser1_1.3.2-1_amd64v3.deb 24-Dec-2025 06:24 239390 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 python3-cvc5_1.3.2-1_amd64v3.deb 24-Dec-2025 06:24 393576
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.