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

../
cvc4_1.8-2.debian.tar.xz                           13-Apr-2021 05:03               16456
cvc4_1.8-2.dsc                                     13-Apr-2021 05:03                2275
cvc4_1.8-2_amd64.deb                               13-Apr-2021 05:03               73336
cvc4_1.8-3build2.debian.tar.xz                     05-Apr-2024 04:36               16876
cvc4_1.8-3build2.dsc                               05-Apr-2024 04:36                2363
cvc4_1.8-3build2_amd64.deb                         05-Apr-2024 04:36               75388
cvc4_1.8.orig.tar.gz                               13-Apr-2021 05:03             7547187
libcvc4-7_1.8-2_amd64.deb                          13-Apr-2021 05:03             5659900
libcvc4-7_1.8-3build2_amd64.deb                    05-Apr-2024 04:36             4734878
libcvc4-dev_1.8-2_amd64.deb                        13-Apr-2021 05:03              123212
libcvc4-dev_1.8-3build2_amd64.deb                  05-Apr-2024 04:36              125256
libcvc4parser7_1.8-2_amd64.deb                     13-Apr-2021 05:03              357524
libcvc4parser7_1.8-3build2_amd64.deb               05-Apr-2024 04:36              373822