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

../
cvc4_1.6-2build2_amd64.deb                         01-Oct-2021 16:06              137732
libcvc4-5_1.6-2build2_amd64.deb                    01-Oct-2021 16:11             4512744
libcvc4-dev_1.6-2build2_amd64.deb                  01-Oct-2021 16:26             7295824
libcvc4parser5_1.6-2build2_amd64.deb               01-Oct-2021 16:14              364108