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

../
cvc4_1.8-3build2_amd64.deb                         24-Oct-2026 14:29     74K
libcvc4-7_1.8-3build2_amd64.deb                    24-Oct-2026 13:56      5M
libcvc4-dev_1.8-3build2_amd64.deb                  24-Oct-2026 13:37    122K
libcvc4parser7_1.8-3build2_amd64.deb               24-Oct-2026 13:37    365K