Index of /debian-ports/pool-x32/main/c/cvc5/
../
cvc5-dbgsym_1.1.2-3_x32.deb 12-Aug-2025 06:03 1875872
cvc5_1.1.2-3_x32.buildinfo 12-Aug-2025 06:03 11168
cvc5_1.1.2-3_x32.deb 12-Aug-2025 06:03 109304
libcvc5-1-dbgsym_1.1.2-3_x32.deb 12-Aug-2025 06:03 181121308
libcvc5-1_1.1.2-3_x32.deb 12-Aug-2025 06:03 6837828
libcvc5-dev_1.1.2-3_x32.deb 12-Aug-2025 06:03 93092
libcvc5parser1-dbgsym_1.1.2-3_x32.deb 12-Aug-2025 06:03 4047476
libcvc5parser1_1.1.2-3_x32.deb 12-Aug-2025 06:03 239368
python3-cvc5-dbgsym_1.1.2-3_x32.deb 12-Aug-2025 06:03 2623464
python3-cvc5_1.1.2-3_x32.deb 12-Aug-2025 06:03 350168