Re: LPeg official source is down

[Roberto Ierusalimschy <roberto@...>]

> when trying to download LPeg from what I thought was its official
> source: http://www.inf.puc-rio.br/~roberto/lpeg/lpeg-1.0.2.tar.gz, the
> connection is refused. If the official location has been changed,
> please let me know what it is now.
> 
> If this is a temporary problem, please also let me know. As a matter
> of fact, the problem was encountered during a build process which
> fetches dependencies automatically. If temporary outages are to be
> expected frequently, this would also be good to know, so that we could
> cache the file elsewhere.

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.

-- Roberto