Index of /ubuntu-ports/pool/universe/c/cvc5/

../
cvc5_1.1.2-1build1.debian.tar.xz                   05-Apr-2024 00:15                6576
cvc5_1.1.2-1build1.dsc                             05-Apr-2024 00:15                2589
cvc5_1.1.2-1build1_arm64.deb                       05-Apr-2024 00:15               87912
cvc5_1.1.2.orig.tar.gz                             05-Mar-2024 00:08             8581968
libcvc5-1_1.1.2-1build1_arm64.deb                  05-Apr-2024 00:15             4693310
libcvc5-dev_1.1.2-1build1_arm64.deb                05-Apr-2024 00:15               84202
libcvc5parser1_1.1.2-1build1_arm64.deb             05-Apr-2024 00:15              198216
python3-cvc5_1.1.2-1build1_arm64.deb               05-Apr-2024 00:15              336332