Index of /aptly/ubuntu-jammy/pool/main/c/cvc4/

../
cvc4_1.8-2_amd64.deb                               17-Oct-2024 13:39               73336
libcvc4-7_1.8-2_amd64.deb                          17-Oct-2024 14:44             5659900
libcvc4-dev_1.8-2_amd64.deb                        17-Oct-2024 14:04              123212
libcvc4parser7_1.8-2_amd64.deb                     17-Oct-2024 13:55              357524