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

../
cvc4_1.8-3build2_amd64.deb                         29-Aug-2026 14:28     74K
cvc4_1.8-5_amd64.deb                               29-Aug-2026 14:28     69K
libcvc4-7_1.8-3build2_amd64.deb                    29-Aug-2026 14:28      5M
libcvc4-7_1.8-5_amd64.deb                          29-Aug-2026 14:28      5M
libcvc4-dev_1.8-3build2_amd64.deb                  29-Aug-2026 14:28    122K
libcvc4-dev_1.8-5_amd64.deb                        29-Aug-2026 14:28    122K
libcvc4parser7_1.8-3build2_amd64.deb               29-Aug-2026 14:28    365K
libcvc4parser7_1.8-5_amd64.deb                     29-Aug-2026 14:28    375K