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

Name Size Date
📁 ../ - -
📄 cvc5-dbgsym_1.3.2-1+b2_alpha.deb 2138276 bytes 2026-06-30 00:03:03
📄 cvc5_1.3.2-1+b2_alpha.buildinfo 11467 bytes 2026-06-30 00:03:03
📄 cvc5_1.3.2-1+b2_alpha.deb 137440 bytes 2026-06-30 00:03:03
📄 libcvc5-1-dbgsym_1.3.2-1+b2_alpha.deb 206608208 bytes 2026-06-30 00:03:03
📄 libcvc5-1_1.3.2-1+b2_alpha.deb 7470584 bytes 2026-06-30 00:03:03
📄 libcvc5-dev_1.3.2-1+b2_alpha.deb 124236 bytes 2026-06-30 00:03:03
📄 libcvc5parser1-dbgsym_1.3.2-1+b2_alpha.deb 4601972 bytes 2026-06-30 00:03:03
📄 libcvc5parser1_1.3.2-1+b2_alpha.deb 252908 bytes 2026-06-30 00:03:03
📄 python3-cvc5-dbgsym_1.3.2-1+b2_alpha.deb 1345860 bytes 2026-06-30 00:03:03
📄 python3-cvc5_1.3.2-1+b2_alpha.deb 331396 bytes 2026-06-30 00:03:03