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

../
cvc4_1.6-2build2_amd64.deb                         07-Feb-2022 09:27              137732
libcvc4-5_1.6-2build2_amd64.deb                    07-Feb-2022 10:37             4512744
libcvc4-dev_1.6-2build2_amd64.deb                  07-Feb-2022 08:45             7295824
libcvc4parser5_1.6-2build2_amd64.deb               07-Feb-2022 09:12              364108