[libre-riscv-dev] Git repository access

[Cole Poirier]

On Mar 24 2020, at 1:11 pm, Luke Kenneth Casson Leighton <lkcl at lkcl.net> wrote:
> I believe for this I will need ieee754fpu.git/master/SoftPosit.patch
> 
> 
> if that's all you need you can get them manually via the git web interface.
> 
> however you can also get them by cloning the git repo anonymously.  git
> clone git://git.libre-riscv.org/ieee754fpu.git
> 
> something like that.
> 
> l.

Thanks Luke, the clone command you provided works perfectly for me! I
tried something similar to this earlier, but I must have gotten
something subtle incorrect.

Thank you,

Cole