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

../
cvc4_1.8-2_arm64.deb                               01-Oct-2020 00:43     66K
libcvc4-7_1.8-2_arm64.deb                          01-Oct-2020 00:43      5M
libcvc4-dev_1.8-2_arm64.deb                        01-Oct-2020 00:43    120K
libcvc4parser7_1.8-2_arm64.deb                     01-Oct-2020 00:43    311K