LPeg official source is down

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

Hi all and Roberto is particular,

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.

Cheers,
V.