Index of /testing/debian-12-official-release/pool/main/c/cvc4/

../
cvc4_1.8-3_amd64.deb                               02-Mar-2023 10:16               80688
libcvc4-7_1.8-3_amd64.deb                          02-Mar-2023 09:48             5936792
libcvc4-dev_1.8-3_amd64.deb                        02-Mar-2023 09:30              131112
libcvc4parser7_1.8-3_amd64.deb                     02-Mar-2023 10:40              362304