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