Index of /pool/main/c/cvc4/

../
cvc4_1.8-2_amd64.deb                               01-Mar-2022 11:29               81488
libcvc4-7_1.8-2_amd64.deb                          01-Mar-2022 11:22             5651716
libcvc4-dev_1.8-2_amd64.deb                        01-Mar-2022 11:24              131264
libcvc4parser7_1.8-2_amd64.deb                     01-Mar-2022 11:33              366212