The requested URL /pub/manjaro/pool/sync-32/coq-doc-8.9.0-1.0-i686.pkg.tar.xz.sig was not found on this server.