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>

No modules