Index of /ubuntu/pool/main/c/cvc4/

../
cvc4_1.8-3build2_amd64.deb                         13-Jul-2026 11:14               75388
libcvc4-7_1.8-3build2_amd64.deb                    13-Jul-2026 10:42             4734878
libcvc4-dev_1.8-3build2_amd64.deb                  13-Jul-2026 11:24              125256
libcvc4parser7_1.8-3build2_amd64.deb               13-Jul-2026 10:45              373822