Re: LPeg official source is down

[Hisham <h@...>]

While not an official source, it might be worth mentioning that lpeg
is also available at LuaRocks, which itself uses a set of mirrors
including GitHub:

https://luarocks.org/modules/gvvaughan/lpeg/1.0.2-1

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`.

-- Hisham

On Tue, 9 Nov 2021 at 04:57, Viacheslav Usov <via.usov@gmail.com> wrote:
>
> On Mon, Nov 8, 2021 at 9:16 PM Roberto Ierusalimschy
> <roberto@inf.puc-rio.br> 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.
>
> Cheers,
> V.