Index of /packages/c/cvc4/

../
cvc4-1.8-3-x86_64.pkg.tar.zst                      01-Sep-2023 13:38      5M
cvc4-1.8-3-x86_64.pkg.tar.zst.sig                  01-Sep-2023 13:38     310