The requested URL /pool/community/arduino-avr-core-1.8.3-2-any.pkg.tar.zst was not found on this server.