Index of /ubuntu26.04/archive/pool/universe/c/cvc4/

../
cvc4_1.8-5_amd64.deb                               08-Aug-2026 22:13     69K
libcvc4-7_1.8-5_amd64.deb                          08-Aug-2026 22:13      5M
libcvc4-dev_1.8-5_amd64.deb                        08-Aug-2026 22:13    122K
libcvc4parser7_1.8-5_amd64.deb                     08-Aug-2026 22:13    375K