This page lists modules in the manifest that contain
        development versions. See the complete list of modules on the main cosyverif manifest page.
$ luarocks install --server=https://luarocks.org/m/cosyverif <name>This page lists modules in the manifest that contain
        development versions. See the complete list of modules on the main cosyverif manifest page.
$ luarocks install --server=https://luarocks.org/m/cosyverif <name>