Index of /arm64/pool/universe/c/cvc5/

../
cvc5_1.1.2-1build1_arm64.deb                       24-Apr-2025 19:10               87912
libcvc5-1_1.1.2-1build1_arm64.deb                  24-Apr-2025 19:10             4693310
libcvc5-dev_1.1.2-1build1_arm64.deb                24-Apr-2025 19:10               84202
libcvc5parser1_1.1.2-1build1_arm64.deb             24-Apr-2025 19:10              198216
python3-cvc5_1.1.2-1build1_arm64.deb               24-Apr-2025 19:10              336332