Index of /repos/scibian11/pool/main/c/cvc4/

../
cvc4_1.8-2_amd64.deb                               22-May-2023 11:04     80K
libcvc4-7_1.8-2_amd64.deb                          22-May-2023 12:41      5M
libcvc4-dev_1.8-2_amd64.deb                        22-May-2023 12:41    128K
libcvc4parser7_1.8-2_amd64.deb                     22-May-2023 12:41    358K