Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/c/cvc4/

../
cvc4_1.8-2_arm64.deb                               30-Sep-2020 16:43     66K
libcvc4-7_1.8-2_arm64.deb                          30-Sep-2020 16:43      5M
libcvc4-dev_1.8-2_arm64.deb                        30-Sep-2020 16:43    120K
libcvc4parser7_1.8-2_arm64.deb                     30-Sep-2020 16:43    311K