The requested URL /pool/universe/o/openocd/openocd_0.10.0+g20200819-1.debian.tar.xz was not found on this server.