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

../
cvc5_1.1.2-1build1.debian.tar.xz                   31-Mar-2024 18:36                6576
cvc5_1.1.2-1build1.dsc                             31-Mar-2024 18:36                2589
cvc5_1.1.2-1build1_arm64.deb                       02-Apr-2024 04:06               87912
cvc5_1.1.2-2.debian.tar.xz                         03-May-2024 01:55                7396
cvc5_1.1.2-2.dsc                                   03-May-2024 01:55                2470
cvc5_1.1.2-2_arm64.deb                             03-May-2024 08:35               88082
cvc5_1.1.2.orig.tar.gz                             03-Mar-2024 11:23             8581968
libcvc5-1_1.1.2-1build1_arm64.deb                  02-Apr-2024 04:06             4693310
libcvc5-1_1.1.2-2_arm64.deb                        03-May-2024 08:35             4701810
libcvc5-dev_1.1.2-1build1_arm64.deb                02-Apr-2024 04:06               84202
libcvc5-dev_1.1.2-2_arm64.deb                      03-May-2024 08:35               84200
libcvc5parser1_1.1.2-1build1_arm64.deb             02-Apr-2024 04:06              198216
libcvc5parser1_1.1.2-2_arm64.deb                   03-May-2024 08:35              198586
python3-cvc5_1.1.2-1build1_arm64.deb               02-Apr-2024 04:06              336332
python3-cvc5_1.1.2-2_arm64.deb                     03-May-2024 08:35              335824