On Mon, Aug 12, 2019 at 11:21 PM <moiman@posteo.net> wrote: > Can you please update openrisc link to https://openrisc.io/ Thanks for reporting this, the fix will be online in a few hours. -- bye, pabs https://wiki.debian.org/PaulWise