Raspberry Pi port, piCore-15.0 is available!
Working here. That error often means you already have the file downloaded, fully or partially (if partially, the server doesn't support continuing the download).