Installing https://luarocks.org/cosy-formalisms-0.1-3.src.rock...
Using https://luarocks.org/cosy-formalisms-0.1-3.src.rock... switching to 'build' mode
Updating manifest for /home/sp/PrjLocal/luarockstree/lib/luarocks/rocks
cosy-formalisms 0.1-3 is now built and installed in /home/sp/PrjLocal/luarockstree (license: MIT/X11)