Index of /ubuntu-testing/pool/main/c/cvc4/

../
cvc4_1.5-1_amd64.deb                               02-Oct-2018 09:19              138624
cvc4_1.6-2build2_amd64.deb                         01-Oct-2021 16:06              137732
libcvc4-4_1.5-1_amd64.deb                          02-Oct-2018 09:16             3375660
libcvc4-5_1.6-2build2_amd64.deb                    01-Oct-2021 16:11             4512744
libcvc4-dev_1.5-1_amd64.deb                        02-Oct-2018 09:43             5968312
libcvc4-dev_1.6-2build2_amd64.deb                  01-Oct-2021 16:26             7295824
libcvc4parser4_1.5-1_amd64.deb                     02-Oct-2018 09:49              363676
libcvc4parser5_1.6-2build2_amd64.deb               01-Oct-2021 16:14              364108