../ cvc5_1.1.2-1build1.debian.tar.xz 31-Mar-2024 19:36 6576 cvc5_1.1.2-1build1.dsc 31-Mar-2024 19:36 2589 cvc5_1.1.2-1build1_amd64.deb 01-Apr-2024 04:46 93K cvc5_1.1.2-2build1.debian.tar.xz 03-Jan-2025 22:43 7476 cvc5_1.1.2-2build1.dsc 03-Jan-2025 22:43 2473 cvc5_1.1.2-2build1_amd64.deb 03-Jan-2025 22:43 90K cvc5_1.1.2.orig.tar.gz 03-Mar-2024 12:23 8M cvc5_1.3.2-1.debian.tar.xz 24-Dec-2025 07:24 8532 cvc5_1.3.2-1.dsc 24-Dec-2025 07:24 2468 cvc5_1.3.2-1_amd64.deb 24-Dec-2025 07:24 119K cvc5_1.3.2-1_amd64v3.deb 24-Dec-2025 07:24 121K cvc5_1.3.2-1build1.debian.tar.xz 23-Jan-2026 18:13 8596 cvc5_1.3.2-1build1.dsc 23-Jan-2026 18:13 2471 cvc5_1.3.2-1build1_amd64.deb 23-Jan-2026 18:16 119K cvc5_1.3.2-1build1_amd64v3.deb 23-Jan-2026 18:16 121K cvc5_1.3.2.orig.tar.gz 24-Dec-2025 07:24 9M libcvc5-1_1.1.2-1build1_amd64.deb 01-Apr-2024 04:46 5M libcvc5-1_1.1.2-2build1_amd64.deb 03-Jan-2025 22:43 5M libcvc5-1_1.3.2-1_amd64.deb 24-Dec-2025 07:24 6M libcvc5-1_1.3.2-1_amd64v3.deb 24-Dec-2025 07:24 6M libcvc5-1_1.3.2-1build1_amd64.deb 23-Jan-2026 18:16 6M libcvc5-1_1.3.2-1build1_amd64v3.deb 23-Jan-2026 18:16 6M libcvc5-dev_1.1.2-1build1_amd64.deb 01-Apr-2024 04:46 82K libcvc5-dev_1.1.2-2build1_amd64.deb 03-Jan-2025 22:43 82K libcvc5-dev_1.3.2-1_amd64.deb 24-Dec-2025 07:24 109K libcvc5-dev_1.3.2-1_amd64v3.deb 24-Dec-2025 07:24 109K libcvc5-dev_1.3.2-1build1_amd64.deb 23-Jan-2026 18:16 109K libcvc5-dev_1.3.2-1build1_amd64v3.deb 23-Jan-2026 18:16 109K libcvc5parser1_1.1.2-1build1_amd64.deb 01-Apr-2024 04:46 205K libcvc5parser1_1.1.2-2build1_amd64.deb 03-Jan-2025 22:43 206K libcvc5parser1_1.3.2-1_amd64.deb 24-Dec-2025 07:24 229K libcvc5parser1_1.3.2-1_amd64v3.deb 24-Dec-2025 07:24 234K libcvc5parser1_1.3.2-1build1_amd64.deb 23-Jan-2026 18:16 229K libcvc5parser1_1.3.2-1build1_amd64v3.deb 23-Jan-2026 18:16 234K python3-cvc5_1.1.2-1build1_amd64.deb 01-Apr-2024 04:46 339K python3-cvc5_1.1.2-2build1_amd64.deb 03-Jan-2025 22:43 350K python3-cvc5_1.3.2-1_amd64.deb 24-Dec-2025 07:24 382K python3-cvc5_1.3.2-1_amd64v3.deb 24-Dec-2025 07:24 384K python3-cvc5_1.3.2-1build1_amd64.deb 23-Jan-2026 18:16 382K python3-cvc5_1.3.2-1build1_amd64v3.deb 23-Jan-2026 18:16 384K