[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: LPeg official source is down
- From: Hisham <h@...>
- Date: Tue, 9 Nov 2021 08:01:31 -0300
While not an official source, it might be worth mentioning that lpeg
is also available at LuaRocks, which itself uses a set of mirrors
A .src.rock file is a .zip containing the original sources plus
metadata; if you don't want to unpack it by hand, you can do it with
the luarocks CLI using `luarocks unpack lpeg`.
On Tue, 9 Nov 2021 at 04:57, Viacheslav Usov <email@example.com> wrote:
> On Mon, Nov 8, 2021 at 9:16 PM Roberto Ierusalimschy
> <firstname.lastname@example.org> wrote:
> > It seems that the university site was off line, according to
> > downforeveryoneorjust.me. This is a temporary problem. Whether it is
> > to "expected frequently", depends on your expectations. Certainly
> > PUC-Rio site is not 99.99% on; that is the main reason we host Lua with
> > Pepperfish.
> Thank you for the explanation. Given that LPeg'c copyright string is
> "Copyright © 2007-2019 Lua.org, PUC-Rio", it would seem reasonable to
> see it hosted at lua.org. Since Lua is also hosted at github, the
> latter would also be a good place to find LPeg.