Index of /mirror/archive.ubuntu.com/ubuntu/pool/universe/c/cvc4/

../
cvc4_1.8-5_amd64.deb                               28-Oct-2025 02:16               70364
cvc4_1.8-5_arm64.deb                               28-Oct-2025 08:36               66632
libcvc4-7_1.8-5_amd64.deb                          28-Oct-2025 02:16             4918224
libcvc4-7_1.8-5_arm64.deb                          28-Oct-2025 08:36             4494068
libcvc4-dev_1.8-5_amd64.deb                        28-Oct-2025 02:16              125236
libcvc4-dev_1.8-5_arm64.deb                        28-Oct-2025 08:36              125230
libcvc4parser7_1.8-5_amd64.deb                     28-Oct-2025 02:16              384090
libcvc4parser7_1.8-5_arm64.deb                     28-Oct-2025 08:36              367172