Index of /ubuntu/pool/universe/c/cvc4/


../
cvc4_1.8-3build2.debian.tar.xz                     04-Mar-2026 09:33     16K
cvc4_1.8-3build2.dsc                               04-Mar-2026 09:33    2363
cvc4_1.8-3build2_amd64.deb                         04-Mar-2026 09:33     74K
cvc4_1.8.orig.tar.gz                               04-Mar-2026 09:33      7M
libcvc4-7_1.8-3build2_amd64.deb                    04-Mar-2026 09:33      5M
libcvc4-dev_1.8-3build2_amd64.deb                  04-Mar-2026 09:33    122K
libcvc4parser7_1.8-3build2_amd64.deb               04-Mar-2026 09:33    365K