Index of /DEBIAN/pool/main/c/cvc4/

../
cvc4_1.8-3+b4_amd64.deb                            21-Jun-2026 01:07     81K
libcvc4-7_1.8-3+b4_amd64.deb                       21-Jun-2026 01:07      6M
libcvc4-dev_1.8-3+b4_amd64.deb                     21-Jun-2026 01:07    128K
libcvc4parser7_1.8-3+b4_amd64.deb                  21-Jun-2026 01:07    373K