Index of /debian-ports/pool-x32/main/c/cvc5/

Name Size Date
📁 ../ - -
📄 cvc5-dbgsym_1.1.2-3_x32.deb 1875872 bytes 2025-08-12 06:03:03
📄 cvc5_1.1.2-3_x32.buildinfo 11168 bytes 2025-08-12 06:03:03
📄 cvc5_1.1.2-3_x32.deb 109304 bytes 2025-08-12 06:03:03
📄 libcvc5-1-dbgsym_1.1.2-3_x32.deb 181121308 bytes 2025-08-12 06:03:04
📄 libcvc5-1_1.1.2-3_x32.deb 6837828 bytes 2025-08-12 06:03:04
📄 libcvc5-dev_1.1.2-3_x32.deb 93092 bytes 2025-08-12 06:03:04
📄 libcvc5parser1-dbgsym_1.1.2-3_x32.deb 4047476 bytes 2025-08-12 06:03:04
📄 libcvc5parser1_1.1.2-3_x32.deb 239368 bytes 2025-08-12 06:03:04
📄 python3-cvc5-dbgsym_1.1.2-3_x32.deb 2623464 bytes 2025-08-12 06:03:04
📄 python3-cvc5_1.1.2-3_x32.deb 350168 bytes 2025-08-12 06:03:04