Re: LPeg official source is down

[Viacheslav Usov <via.usov@...>]

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.