Index of /debian11/pool/main/c/cvc4/

../
cvc4_1.8-2_amd64.deb                               02-Mar-2023 09:59               81488
libcvc4-7_1.8-2_amd64.deb                          02-Mar-2023 09:59             5651716
libcvc4-dev_1.8-2_amd64.deb                        02-Mar-2023 09:59              131264
libcvc4parser7_1.8-2_amd64.deb                     02-Mar-2023 09:59              366212