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 /Users/sp/PrjLocal/x86/luarockstree/lib/luarocks/rocks cosy-formalisms 0.1-3 is now built and installed in /Users/sp/PrjLocal/x86/luarockstree (license: MIT/X11)