Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/c/cvc5/

../
cvc5_1.1.2-1build1_arm64.deb                       02-Apr-2024 04:06               87912
libcvc5-1_1.1.2-1build1_arm64.deb                  02-Apr-2024 04:06             4693310
libcvc5-dev_1.1.2-1build1_arm64.deb                02-Apr-2024 04:06               84202
libcvc5parser1_1.1.2-1build1_arm64.deb             02-Apr-2024 04:06              198216
python3-cvc5_1.1.2-1build1_arm64.deb               02-Apr-2024 04:06              336332