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

../
cvc4_1.6-2build2.debian.tar.xz                     18-Dec-2023 16:19                8392
cvc4_1.6-2build2.dsc                               18-Dec-2023 16:19                2755
cvc4_1.6-2build2_amd64.deb                         21-Nov-2024 20:59              137732
cvc4_1.6.orig.tar.gz                               18-Dec-2023 16:19             7815893
cvc4_1.8-2.debian.tar.xz                           18-Dec-2023 16:21               16456
cvc4_1.8-2.dsc                                     18-Dec-2023 16:21                2275
cvc4_1.8-2_amd64.deb                               21-Nov-2024 21:01               73336
cvc4_1.8.orig.tar.gz                               18-Dec-2023 16:21             7547187
libcvc4-5_1.6-2build2_amd64.deb                    21-Nov-2024 20:59             4512744
libcvc4-7_1.8-2_amd64.deb                          21-Nov-2024 21:01             5659900
libcvc4-dev_1.6-2build2_amd64.deb                  21-Nov-2024 20:59             7295824
libcvc4-dev_1.8-2_amd64.deb                        21-Nov-2024 21:01              123212
libcvc4parser5_1.6-2build2_amd64.deb               21-Nov-2024 20:59              364108
libcvc4parser7_1.8-2_amd64.deb                     21-Nov-2024 21:01              357524