On Mon, Apr 2, 2018 at 3:44 AM, Manuel A. Fernandez Montecelo
We've been working in the last few weeks to do a (second)
Debian for RISC-V, and after a few weeks of hard work it is now
bootstrapped and has been imported into the Debian infrastructure, in
particular, debian-ports (* description below).
this is fantastic, manuel - i've been watching the debian patches
being submitted and it's great to see the results of them being
accepted. congratulations to everyone involved, this is a huge step