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

../
cvc4_1.8-2_amd64.deb                               09-Oct-2026 10:40               73336
cvc4_1.8-3build2_amd64.deb                         09-Oct-2026 10:40               75388
cvc4_1.8-5_amd64.deb                               09-Oct-2026 10:40               70364
libcvc4-7_1.8-2_amd64.deb                          09-Oct-2026 10:40             5659900
libcvc4-7_1.8-3build2_amd64.deb                    09-Oct-2026 10:40             4734878
libcvc4-7_1.8-5_amd64.deb                          09-Oct-2026 10:40             4918224
libcvc4-dev_1.8-2_amd64.deb                        09-Oct-2026 10:40              123212
libcvc4-dev_1.8-3build2_amd64.deb                  09-Oct-2026 10:40              125256
libcvc4-dev_1.8-5_amd64.deb                        09-Oct-2026 10:40              125236
libcvc4parser7_1.8-2_amd64.deb                     09-Oct-2026 10:40              357524
libcvc4parser7_1.8-3build2_amd64.deb               09-Oct-2026 10:40              373822
libcvc4parser7_1.8-5_amd64.deb                     09-Oct-2026 10:40              384090