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