On Mon, 2026-06-22 at 19:05 +0200, mpan wrote: > It seems that the file is completely gone: the upstream no longer > hosts this.
Even though it may look different in the browser, the file is actually being downloaded, it's just that the checksum is incorrect.
