Index of /pool/main/c/cvc4/

../
cvc4_1.8-3_amd64.deb                               09-Sep-2026 10:18     79K
libcvc4-7_1.8-3_amd64.deb                          09-Sep-2026 10:18      6M
libcvc4-dev_1.8-3_amd64.deb                        09-Sep-2026 10:18    128K
libcvc4parser7_1.8-3_amd64.deb                     09-Sep-2026 10:18    354K