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