$ luarocks install --server=https://luarocks.org/m/estv <name>