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

../
cvc4_1.6-2build2.debian.tar.xz                     30-Aug-2023 22:32                8392
cvc4_1.6-2build2.dsc                               30-Aug-2023 22:32                2755
cvc4_1.6.orig.tar.gz                               30-Aug-2023 22:32             7815893
cvc4_1.8-2.debian.tar.xz                           30-Aug-2023 22:32               16456
cvc4_1.8-2.dsc                                     30-Aug-2023 22:32                2275
cvc4_1.8-2_arm64.deb                               30-Aug-2023 22:32               67816
cvc4_1.8-3build2.debian.tar.xz                     05-Apr-2024 00:15               16876
cvc4_1.8-3build2.dsc                               05-Apr-2024 00:15                2363
cvc4_1.8-3build2_arm64.deb                         05-Apr-2024 00:15               71602
cvc4_1.8.orig.tar.gz                               30-Aug-2023 22:32             7547187
libcvc4-7_1.8-2_arm64.deb                          30-Aug-2023 22:32             4796268
libcvc4-7_1.8-3build2_arm64.deb                    05-Apr-2024 00:15             4342788
libcvc4-dev_1.8-2_arm64.deb                        30-Aug-2023 22:32              123208
libcvc4-dev_1.8-3build2_arm64.deb                  05-Apr-2024 00:15              125246
libcvc4parser7_1.8-2_arm64.deb                     30-Aug-2023 22:32              318624
libcvc4parser7_1.8-3build2_arm64.deb               05-Apr-2024 00:15              353574