$ luarocks install --server=https://rocks.sewtec.de <name>

The global manifest