Installing https://luarocks.org/cosy-formalisms-0.1-4.src.rock... Using https://luarocks.org/cosy-formalisms-0.1-4.src.rock... switching to 'build' mode