{"name":"jsp288-lean-statement-core","lang":"bash","entry":"spec-lean-build.sh","script":"pin://2aed25df9d056e85ac18fb409579bdc07b12d21322a659b40228309d39d04b51i0","input":"","output":""}