Index of /mirrors/parrot/pool/main/c/cvc5/
../
cvc5_1.0.3-1.debian.tar.xz 02-Aug-2025 08:25 5964
cvc5_1.0.3-1.dsc 02-Aug-2025 08:25 2305
cvc5_1.0.3-1_amd64.deb 02-Aug-2025 08:25 105K
cvc5_1.0.3-1_arm64.deb 02-Aug-2025 08:25 95K
cvc5_1.0.3.orig.tar.gz 02-Aug-2025 08:25 8M
libcvc5-1_1.0.3-1_amd64.deb 02-Aug-2025 08:25 6M
libcvc5-1_1.0.3-1_arm64.deb 02-Aug-2025 08:25 5M
libcvc5-dev_1.0.3-1_amd64.deb 02-Aug-2025 08:25 57K
libcvc5-dev_1.0.3-1_arm64.deb 02-Aug-2025 08:25 57K
libcvc5parser1_1.0.3-1_amd64.deb 02-Aug-2025 08:25 300K
libcvc5parser1_1.0.3-1_arm64.deb 02-Aug-2025 08:25 267K