Luarocks.org temporarily down, please use mirror

[Hisham <h@...>]

Hi,

The luarocks.org server is temporarily down.

In the meantime, you can add:

   rocks_servers={
      "http://luarocks.giga.puc-rio.br/";
   }

to your ~/.luarocks/config.lua and it will use that mirror instead.

Sorry about the inconvenience,

-- Hisham