|
We are going to move lua.org to a new host, courtesy of Marc Balmer. This is happening in the next few days. It may take a little time until the new DNS information is updated everywhere. In the meantime, there is a mirror at PUC-Rio: https://www.tecgraf.puc-rio.br/lua/mirror/ --lhf