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

../
cvc4_1.6-2build2_amd64.deb                         09-Mar-2023 20:41              137732
libcvc4-5_1.6-2build2_amd64.deb                    09-Mar-2023 20:41             4512744
libcvc4-dev_1.6-2build2_amd64.deb                  09-Mar-2023 20:41             7295824
libcvc4parser5_1.6-2build2_amd64.deb               09-Mar-2023 20:41              364108