On 5/20/22 8:31 PM, Bill Allombert wrote:
On Mon, Sep 16, 2019 at 08:39:56PM +0100, Julian Gilbey wrote:
I've just started looking at lean. One of the issues around packaging
it is that different lean "scripts" (not sure the correct word here)
require different versions of lean. There is a
On Mon, Sep 16, 2019 at 08:39:56PM +0100, Julian Gilbey wrote:
> I've just started looking at lean. One of the issues around packaging
> it is that different lean "scripts" (not sure the correct word here)
> require different versions of lean. There is a script available which
> downloads the
2 matches
Mail list logo