On Fri, May 20, 2022 at 07:07:42PM +0100, Julian Gilbey wrote:
> On Fri, May 20, 2022 at 10:59:35PM +0530, Nilesh Patra wrote:
> > 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
On Fri, May 20, 2022 at 10:59:35PM +0530, Nilesh Patra wrote:
> 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
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
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 required version of lean for any particular script, and
so keeps a local
5 matches
Mail list logo
