../ cvc5_1.1.2-1build1_amd64.deb 01-Apr-2024 03:46 95604 cvc5_1.1.2-2build1_amd64.deb 03-Jan-2025 21:43 91938 cvc5_1.1.2-2build1_arm64.deb 03-Jan-2025 21:44 86962 cvc5_1.3.2-1build1_amd64.deb 23-Jan-2026 17:16 122028 cvc5_1.3.2-1build1_amd64v3.deb 23-Jan-2026 17:16 123714 cvc5_1.3.2-1build1_arm64.deb 23-Jan-2026 17:17 114692 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.1.2-2build1_arm64.deb 03-Jan-2025 21:44 4875188 libcvc5-1_1.3.2-1build1_amd64.deb 23-Jan-2026 17:16 6174394 libcvc5-1_1.3.2-1build1_amd64v3.deb 23-Jan-2026 17:16 6377444 libcvc5-1_1.3.2-1build1_arm64.deb 23-Jan-2026 17:17 5716188 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.1.2-2build1_arm64.deb 03-Jan-2025 21:44 84172 libcvc5-dev_1.3.2-1build1_amd64.deb 23-Jan-2026 17:16 111976 libcvc5-dev_1.3.2-1build1_amd64v3.deb 23-Jan-2026 17:16 111984 libcvc5-dev_1.3.2-1build1_arm64.deb 23-Jan-2026 17:17 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.1.2-2build1_arm64.deb 03-Jan-2025 21:44 199426 libcvc5parser1_1.3.2-1build1_amd64.deb 23-Jan-2026 17:16 234750 libcvc5parser1_1.3.2-1build1_amd64v3.deb 23-Jan-2026 17:16 239234 libcvc5parser1_1.3.2-1build1_arm64.deb 23-Jan-2026 17:17 219218 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.1.2-2build1_arm64.deb 03-Jan-2025 21:44 339444 python3-cvc5_1.3.2-1build1_amd64.deb 23-Jan-2026 17:16 390836 python3-cvc5_1.3.2-1build1_amd64v3.deb 23-Jan-2026 17:16 393678 python3-cvc5_1.3.2-1build1_arm64.deb 23-Jan-2026 17:17 356170