Index of /current/pool/main/c/cvc4/

../
cvc4_1.8-3build2_amd64.deb                         22-Mar-2026 02:17               75388
libcvc4-7_1.8-3build2_amd64.deb                    22-Mar-2026 02:39             4734878
libcvc4-dev_1.8-3build2_amd64.deb                  22-Mar-2026 02:38              125256
libcvc4parser7_1.8-3build2_amd64.deb               22-Mar-2026 02:01              373822