The requested URL /stable/community/x86_64/cvc4-1.8-2-x86_64.pkg.tar.zst.sig was not found on this server.