../ cvc5_1.1.2-1build1.debian.tar.xz 04-Mar-2026 09:33 6576 cvc5_1.1.2-1build1.dsc 04-Mar-2026 09:33 2589 cvc5_1.1.2-1build1_amd64.deb 04-Mar-2026 09:33 93K cvc5_1.1.2.orig.tar.gz 04-Mar-2026 09:33 8M libcvc5-1_1.1.2-1build1_amd64.deb 04-Mar-2026 09:33 5M libcvc5-dev_1.1.2-1build1_amd64.deb 04-Mar-2026 09:33 82K libcvc5parser1_1.1.2-1build1_amd64.deb 04-Mar-2026 09:33 205K python3-cvc5_1.1.2-1build1_amd64.deb 04-Mar-2026 09:33 339K