Index of /ubuntu/pool/universe/c/cvc5/
../
cvc5_1.1.2-1build1.debian.tar.xz 31-Mar-2024 10:36 6576
cvc5_1.1.2-1build1.dsc 31-Mar-2024 10:36 2589
cvc5_1.1.2-1build1_amd64.deb 31-Mar-2024 19:46 93K
cvc5_1.1.2-2build1.debian.tar.xz 03-Jan-2025 13:43 7476
cvc5_1.1.2-2build1.dsc 03-Jan-2025 13:43 2473
cvc5_1.1.2-2build1_amd64.deb 03-Jan-2025 13:43 90K
cvc5_1.1.2.orig.tar.gz 03-Mar-2024 03:23 8M
cvc5_1.3.2-1.debian.tar.xz 23-Dec-2025 22:24 8532
cvc5_1.3.2-1.dsc 23-Dec-2025 22:24 2468
cvc5_1.3.2-1_amd64.deb 23-Dec-2025 22:24 119K
cvc5_1.3.2-1_amd64v3.deb 23-Dec-2025 22:24 121K
cvc5_1.3.2.orig.tar.gz 23-Dec-2025 22:24 9M
libcvc5-1_1.1.2-1build1_amd64.deb 31-Mar-2024 19:46 5M
libcvc5-1_1.1.2-2build1_amd64.deb 03-Jan-2025 13:43 5M
libcvc5-1_1.3.2-1_amd64.deb 23-Dec-2025 22:24 6M
libcvc5-1_1.3.2-1_amd64v3.deb 23-Dec-2025 22:24 6M
libcvc5-dev_1.1.2-1build1_amd64.deb 31-Mar-2024 19:46 82K
libcvc5-dev_1.1.2-2build1_amd64.deb 03-Jan-2025 13:43 82K
libcvc5-dev_1.3.2-1_amd64.deb 23-Dec-2025 22:24 109K
libcvc5-dev_1.3.2-1_amd64v3.deb 23-Dec-2025 22:24 109K
libcvc5parser1_1.1.2-1build1_amd64.deb 31-Mar-2024 19:46 205K
libcvc5parser1_1.1.2-2build1_amd64.deb 03-Jan-2025 13:43 206K
libcvc5parser1_1.3.2-1_amd64.deb 23-Dec-2025 22:24 229K
libcvc5parser1_1.3.2-1_amd64v3.deb 23-Dec-2025 22:24 234K
python3-cvc5_1.1.2-1build1_amd64.deb 31-Mar-2024 19:46 339K
python3-cvc5_1.1.2-2build1_amd64.deb 03-Jan-2025 13:43 350K
python3-cvc5_1.3.2-1_amd64.deb 23-Dec-2025 22:24 382K
python3-cvc5_1.3.2-1_amd64v3.deb 23-Dec-2025 22:24 384K