[libre-riscv-dev] formal proof NLnet proposal in

[Hendrik Boom]

On Mon, Sep 23, 2019 at 07:55:04PM +0800, Luke Kenneth Casson Leighton wrote:

> 
> > Sometime in the next few weeks I'll try installing this stuff and see what
> > happens.  I'll get a larger hard drive if necessary.
> >
> >
> 50mb space should easily be enough. Maybe 100mb including all deoendencies.

Yes, I have that!

-- hendrik