The requested URL /pub/manjaro/pool/sync/idris-1.3.2-63-x86_64.pkg.tar.zst was not found on this server.