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-5.debian.tar.xz                           22-Jul-2026 18:39     17K
cvc4_1.8-5.dsc                                     22-Jul-2026 18:39    1861
cvc4_1.8-5_amd64.deb                               22-Jul-2026 18:39     69K
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-7_1.8-5_amd64.deb                          22-Jul-2026 18:39      5M
libcvc4-dev_1.8-3build2_amd64.deb                  04-Mar-2026 09:33    122K
libcvc4-dev_1.8-5_amd64.deb                        22-Jul-2026 18:39    122K
libcvc4parser7_1.8-3build2_amd64.deb               04-Mar-2026 09:33    365K
libcvc4parser7_1.8-5_amd64.deb                     22-Jul-2026 18:39    375K