Index of /snapshots/2024-07-06/apt/ubuntu_arm64/pool/universe/c/cvc4/

../
cvc4_1.8-2_arm64.deb                               30-Sep-2020 16:43               67816
libcvc4-7_1.8-2_arm64.deb                          30-Sep-2020 16:43             4796268
libcvc4-dev_1.8-2_arm64.deb                        30-Sep-2020 16:43              123208
libcvc4parser7_1.8-2_arm64.deb                     30-Sep-2020 16:43              318624