{"_id":"lean-client-js-node","_rev":"39-8bbcf31161873cde7581db9cc010aae2","name":"lean-client-js-node","description":"Interface to the Lean server","dist-tags":{"latest":"3.3.1"},"versions":{"1.0.1":{"name":"lean-client-js-node","version":"1.0.1","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/gebner/lean-client-js.git"},"scripts":{"compile":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.69","lean-client-js-core":"^1.0.1"},"bugs":{"url":"https://github.com/gebner/lean-client-js/issues"},"homepage":"https://github.com/gebner/lean-client-js#readme","_id":"lean-client-js-node@1.0.1","_shasum":"5a94725bad5946860aa19a5051544694823a8e2d","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"5a94725bad5946860aa19a5051544694823a8e2d","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.0.1.tgz","integrity":"sha512-eFhdCuaHEiVd118tE0UQg1iEMdktTpW+zR7KzMgXLe5yf5m8fkJu5NPw7T4NqaN42cBDRju0tBX84ZiWYaSJog==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDLH6+9kCL76tzS/qionMD+sUg5EwNFpbw1/t2xgBGv2wIgccd13tUhw9yQWZujtmNARetFhHWM9dCWWU6AmzL0hAQ="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-18-east.internal.npmjs.com","tmp":"tmp/lean-client-js-node-1.0.1.tgz_1492609741058_0.6427021212875843"},"directories":{}},"1.1.0":{"name":"lean-client-js-node","version":"1.1.0","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/gebner/lean-client-js.git"},"scripts":{"compile":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.69","lean-client-js-core":"^1.1.0"},"bugs":{"url":"https://github.com/gebner/lean-client-js/issues"},"homepage":"https://github.com/gebner/lean-client-js#readme","_id":"lean-client-js-node@1.1.0","_shasum":"5a4ebcdfb54a93f43bde2d7ed3bf229b7f451ab8","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"5a4ebcdfb54a93f43bde2d7ed3bf229b7f451ab8","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.1.0.tgz","integrity":"sha512-hNF1w4JFa99G604VSyEK3Tn4FZSBXicttQX/oaLZAh+t9PhgGeb2OgxOgym8wC/0/6agKMIe3T4t9TJWN6/9Xg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDRUQ2cPexa6jJzJjs39YjnFXd0PcRI8rzdsKTDTMCxugIgR0k9FTFnygF9rwPY2Ofy48HlAuPyhLuoujjijEX6bIw="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-18-east.internal.npmjs.com","tmp":"tmp/lean-client-js-node-1.1.0.tgz_1493279011519_0.9032050727400929"},"directories":{}},"1.1.1":{"name":"lean-client-js-node","version":"1.1.1","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/gebner/lean-client-js.git"},"scripts":{"compile":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.69","lean-client-js-core":"^1.1.1"},"bugs":{"url":"https://github.com/gebner/lean-client-js/issues"},"homepage":"https://github.com/gebner/lean-client-js#readme","_id":"lean-client-js-node@1.1.1","_shasum":"2b5607bfd1d468e3b02a86131a4f5d5e3a26a50a","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"2b5607bfd1d468e3b02a86131a4f5d5e3a26a50a","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.1.1.tgz","integrity":"sha512-3f6VaffWwB9P63Goe7oqKr29ZWb/PDwwww0w8VDHuVWvNlikViiX7e1oiHTOyr71d3AN4UBmD42i2CvDJoxkxg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIF5Eiw1cQDKdUfJI+rnlh5wk0eL+0JyKSiqGwMqHC8dSAiEA6JmmYjawkv/yqO5/50MRYWiri4abFh2K+sZDnyP6It4="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-18-east.internal.npmjs.com","tmp":"tmp/lean-client-js-node-1.1.1.tgz_1493280062892_0.10487764398567379"},"directories":{}},"1.2.0":{"name":"lean-client-js-node","version":"1.2.0","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/gebner/lean-client-js.git"},"scripts":{"compile":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.69","lean-client-js-core":"^1.2.0"},"bugs":{"url":"https://github.com/gebner/lean-client-js/issues"},"homepage":"https://github.com/gebner/lean-client-js#readme","_id":"lean-client-js-node@1.2.0","_shasum":"998448d3d4733a1e07fc9d02eec401ac12810f4e","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"998448d3d4733a1e07fc9d02eec401ac12810f4e","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.2.0.tgz","integrity":"sha512-p8ib4PTQUQgd6u/KJ9cM/C+koLdDxMUyjLlt1wh92zqEZLdT3DVKjlEaAOwyKkGCxbJN+nW08Wlo2Vf/q3F4rQ==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDp0YkzIIa0Uq7M3ngl9eNtzwuzLilPqelFnVXv2HtejgIhAMT6AS43ozLlNx2rcZlvtURRn70z+dpb2j8DSrY89Tf7"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-18-east.internal.npmjs.com","tmp":"tmp/lean-client-js-node-1.2.0.tgz_1493285363094_0.4563775963615626"},"directories":{}},"1.2.1":{"name":"lean-client-js-node","version":"1.2.1","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/gebner/lean-client-js.git"},"scripts":{"compile":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.69","lean-client-js-core":"^1.2.0"},"bugs":{"url":"https://github.com/gebner/lean-client-js/issues"},"homepage":"https://github.com/gebner/lean-client-js#readme","_id":"lean-client-js-node@1.2.1","_shasum":"4239d9a0179cb2490080bfdd8563a9e0af11c21b","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"4239d9a0179cb2490080bfdd8563a9e0af11c21b","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.2.1.tgz","integrity":"sha512-7TdRqVlazzyPgMogNnuypWV4kW0oopmXPxTVAEH51xFrA9GIZFQQrb0B7VpQo1oxyEmTm62LCIk9DZMXoJ5vHw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDvn3IHwJAj08rkHQkejxQA4XjniQ/RBvgMQxofjjsWjAIhAMT7sfa8U4//F8RNEGE47hyHyQQiJXHSV3iYHKD6ObCT"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-18-east.internal.npmjs.com","tmp":"tmp/lean-client-js-node-1.2.1.tgz_1493286938416_0.8737998986616731"},"directories":{}},"1.2.3":{"name":"lean-client-js-node","version":"1.2.3","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/gebner/lean-client-js.git"},"scripts":{"compile":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.69","lean-client-js-core":"^1.2.0"},"bugs":{"url":"https://github.com/gebner/lean-client-js/issues"},"homepage":"https://github.com/gebner/lean-client-js#readme","_id":"lean-client-js-node@1.2.3","_shasum":"6ba78674a37b62fc509b0ffc47904e52cfa7cd86","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"6ba78674a37b62fc509b0ffc47904e52cfa7cd86","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.2.3.tgz","integrity":"sha512-NWXwLgVX+f+oED8I6olzdJN4O4wdoOau6D9PXEvNYROGu6cVaBm3CnRmfEL+FzIHHmCBxSCRIrhihy9pEvQYPg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIAQHhq5IMZ/Had4poY3CjkH6QCtR/iupr8cOrTOhHmGBAiASUPFE472zrzfhL855Hvu3Mae7D8yvJ8GuBCPf/p21Ew=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-18-east.internal.npmjs.com","tmp":"tmp/lean-client-js-node-1.2.3.tgz_1493294271099_0.6422727352473885"},"directories":{}},"1.2.4":{"name":"lean-client-js-node","version":"1.2.4","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.71","lean-client-js-core":"^1.2.4"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.2.4","_shasum":"9e06330b1bd1e84929d4eff8b51ef81976a7ca75","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"9e06330b1bd1e84929d4eff8b51ef81976a7ca75","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.2.4.tgz","integrity":"sha512-4nWgK+E/alJxveHgodStJwM7h/2UE2LQKPMTuGxXh2AsQNCSjqhbRlftZqI+O4gLAuC5dKKFKpj+Am6EBjgjyA==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIAzckPrkQmMDjExB2j+POGdGIFZRznojL5sWQi7yrEarAiEAwnI2JHDLSYb+pDpwRf1uQEqJg1kqAQtpFHaVAP77oNQ="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-12-west.internal.npmjs.com","tmp":"tmp/lean-client-js-node-1.2.4.tgz_1493821548857_0.6019489096943289"},"directories":{}},"1.2.6":{"name":"lean-client-js-node","version":"1.2.6","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.21","lean-client-js-core":"^1.2.6"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.2.6","_shasum":"df919833712720bbc6d8a1e679be1d3c8424967f","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"df919833712720bbc6d8a1e679be1d3c8424967f","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.2.6.tgz","integrity":"sha512-lzE8wuOP6e1mQoa6MWyqjq3aXNvIW8JwPI8H212f6DkQ08CRlBT5km32tsJk0UIAFVPB6RbfGxY2Vz3moyJ9Rg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDBR26hj6uUQRWbUGzTqAOazzU5moynLk0IR6/fEEd0+AIgMLc+D9IY1E73EolvxRDdVr7PCwseQ6exzrue0m+QybQ="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node-1.2.6.tgz_1495367162409_0.6228456480894238"},"directories":{}},"1.2.7":{"name":"lean-client-js-node","version":"1.2.7","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.21","lean-client-js-core":"^1.2.7"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.2.7","_shasum":"c43eee107b67648f55f9f44a2296a8b1bd992bfb","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"c43eee107b67648f55f9f44a2296a8b1bd992bfb","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.2.7.tgz","integrity":"sha512-E9mIAG2DqCw1si1T6VGoKo1435Id7sH74kExd1AqqVL3m9H/NXdqrjvK6D78EdNgrKjBo8O7vshyCKHDeJgBAg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCICKMR2IQd5g5tQzB9OHWsj5kxKY/npQb3dkwE0O+HfE2AiAfEERC8gE49vsoFsVC2dgYa2g94HhTKx76YQmnaGu39g=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node-1.2.7.tgz_1495367205892_0.9527034584898502"},"directories":{}},"1.2.8":{"name":"lean-client-js-node","version":"1.2.8","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.21","lean-client-js-core":"^1.2.8"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.2.8","_shasum":"c7dac863d5867d818d67772bf560f18e892d9a08","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"c7dac863d5867d818d67772bf560f18e892d9a08","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.2.8.tgz","integrity":"sha512-CjAUKQkg/WpCY2DV/Jeh+PAzo1FZrjiQ0yqQ7OuyQGWjzn47CabImgBvFGEA/A6bQ5/UkyCE9DHjN7NQaeVFZg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIGcInbjsRj/7ErtSyC+U8WVNmDLfnI9Z8Kf18x9x1DPMAiAM3sa/snOqO3g4UDmB1hAZhRc40PoU8puRRhJMgTqzuw=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node-1.2.8.tgz_1495367484476_0.46869008988142014"},"directories":{}},"1.2.9":{"name":"lean-client-js-node","version":"1.2.9","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.31","lean-client-js-core":"^1.2.9"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.2.9","_shasum":"2c9affd8da8411ba0d5c61492c688ab4fc56e201","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"2c9affd8da8411ba0d5c61492c688ab4fc56e201","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.2.9.tgz","integrity":"sha512-52v4bkoZtFM340h3CcJSETPRKhbJhl/noUWZFyoACzMdG3j/LN4DV/K2AnftqxIHoJ1SNIY1wTgP1moP/gOKCA==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCifSHfXycYKCZDV2JOyr5tV7syC8U0D3kRHAUBP6AWJQIhAOBM+qRrZfVe2hFVXryZUabRE9UjpG5RnSA0K6giBBMm"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node-1.2.9.tgz_1497516166144_0.08845603582449257"},"directories":{}},"1.2.10":{"name":"lean-client-js-node","version":"1.2.10","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.31","lean-client-js-core":"^1.2.10"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.2.10","_shasum":"247462b65d0ac8fe7adc7969129be6ddc91086ba","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"247462b65d0ac8fe7adc7969129be6ddc91086ba","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.2.10.tgz","integrity":"sha512-Lvs5cBGZefbpD+GlvsVyGcRyvLkSxUdgjiQnRQqFqOO/T8Nv0kKachCVntH+DqMDvwNKR8wMiYztJtQ5rJeOsw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQD1/6wiwvzjux7L5xTdLbGSp6DwTipk/LgWlDOqWfp/HAIgWJZZG3XUhz2aFpQb17paJfzsTS/Y/s5O35EhOSsHow4="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node-1.2.10.tgz_1497548872973_0.9598291569855064"},"directories":{}},"1.2.11":{"name":"lean-client-js-node","version":"1.2.11","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^8.0.4","lean-client-js-core":"^1.2.11"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.2.11","_shasum":"c6a17a2cda7fba94973b2a7ee7588d4f500a773a","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"c6a17a2cda7fba94973b2a7ee7588d4f500a773a","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.2.11.tgz","integrity":"sha512-lX4Cp7CIuyeg7hWXIAwrUis7gpGK/+R3WTmHsX7zMzBOXgyx4tPERIxBMnHCuaBL2xphF4PfdjUAfJJpibNCUA==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDpsfA3zJfgVdKy9gDVqcLbBu3jepIz39e/A4hn1nAPDwIhAL0oJSO8sZSUY0M03HFHVR9CGQt7D8B7qs5pI7OanE8d"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node-1.2.11.tgz_1498824339525_0.5600578202866018"},"directories":{}},"1.2.12":{"name":"lean-client-js-node","version":"1.2.12","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-core":"^1.2.12"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.2.12","_npmVersion":"5.6.0","_nodeVersion":"9.4.0","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"integrity":"sha512-hjsfa0cCQ5ZW3OwvWmbFcgdVmNfIXUfG2r/bXnCyS0yTOlnhFjor6xTud6gNUAQp5FxGMZd0WpwxOMmbYiVaHg==","shasum":"0e8964b0c099526249f0e8c163fcb5c3db95dc55","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.2.12.tgz","fileCount":10,"unpackedSize":11182,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDPA4HJn76Yo9cCTZN+SKnOfY3Jyat73OmBz7RtelXcqwIgJUshZ4Kbafu1QGKqJGi2ioXmd8R2oCEghPaFE2il7RM="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node_1.2.12_1518704114264_0.9156505178235099"},"_hasShrinkwrap":false},"1.3.0":{"name":"lean-client-js-node","version":"1.3.0","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-core":"^1.3.0"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.3.0","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-lqzhEG+bK72sRY8Cm+qV4Frt46YOQDyOCIC/42JA0xzB0vEwtJMBgmkDEgwbSaY9J4OXe8D4B/uw9dojXzpXdg==","shasum":"709f24147120ff37780e7fcfdc4fa83f034f443a","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.3.0.tgz","fileCount":10,"unpackedSize":11180,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe3oh1CRA9TVsSAnZWagAAywEP/3zvJQN05SZsS71QMjyC\nJBaFMNNQhJcQYtK86sJgfB0e1EJW/9MjM8imk51Bi2tdmeIlb8kUjAksyNiC\n6A2kye+zctHvmgZHBFvKeadPX+LCZLf0sckJhhl1VZ2Y83Zui0zmTUufyItu\n2p5UwubevUJ+EiBNb1O3AqLc3YzG0KOJzA1OdYMOWyR2OLojTq2GnG72wJ10\nsQjcBKSqnlDOfzzdymixGeEaGCMDb3WbJ+HUopGfCEe8papIcRIgUEEphnuu\n4pyHYwI1idTbIrUpOtQ25mb/yBUxLZYsvFl2+42S3ESOPVbFN5jFuo7b1hJz\n4HZe7xc12Ul4Uxxen6/OxWhoXfQ9dbKa7yXbfaCpaGO8HSNtsU0nZ5tXzfsa\nZV5DAlO1pI2i22L1jvQB3AvjzOmQUscTTlxu0MsVMINQYmM5WRNtPDIRQyQP\nhm4y5Qt/2GQ2ed3fPw9A7+n9yVjoAug98twrjPhCv+g0sCvVC9lKnLLWxRze\nN8yFcVt4DU6cnGQ2EP9AuBR6ckDowr/qpU7d3AVf6n6Lgg0GwX7h3fTJ7vX4\nbqPqwIyOQ3CusMrlaJ820s04B58KM5B2o9lSYZac+QhFZ3v193WyugOFNccA\n7f2uubgRBwcwzbGZMOjq6EBW8S915olOhAZrgtp6rg8InUyBtXr19T5GkdEJ\n9CJ5\r\n=sEgL\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIEG59wDYyUe3oQ+EpCeDWjQl6Lav4FvZ+6ZnS/tZuUAiAiBeZ+t4hdI22pZ6f1Y8mQncuoVBpClCclbaP1kLKZHXvQ=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node_1.3.0_1591642229342_0.5602270793818971"},"_hasShrinkwrap":false},"1.3.1":{"name":"lean-client-js-node","version":"1.3.1","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-core":"^1.3.1"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.3.1","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-SiiDg23n7pEehD6OYrFclJUf1UjLaDUD8QW73bhtWLbLaIJS3kRAK/M4mVjxkw1ZTwAYu1FtiCh4FmqWROg4pg==","shasum":"b99ccad7adccb410e04dc04ef698116505d77184","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.3.1.tgz","fileCount":10,"unpackedSize":11180,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe3qOGCRA9TVsSAnZWagAAPc8P/2p7Nk2LOlXd5JnIPzNi\nlyJOvu2ntFLRM5fRxDEKXfBfwtLqi/zzKp5GuDdmFyi9cVyAWT6x6+4I26q2\n36qeSku/pv0vIQf/4WN74aaebkzfEu6wwvnB2lEPPXb9AxxgJIu3YUgIH0yd\nnMQBCyNMRmk0OQOEtxxeNcw7RcfHxoxSKSqsVehx7Dk0QH2AzChtxxeOU3MI\n+/ydzDC3hgUpfQ34KhCiAdYqPr1Q/3qCzSM77w5RRblZ6w0OW4DE1drdaUPB\nrnQaOl6PZBxQBTQ6BapHGNEdcSvIy2YEJ1FKJDwvDHkCND73yo80fQfmFs0q\nojjS9J7HwJ2b47WxswwnttQu3+twV8Eya3hCdmuq7dLrgVMR3EZSxG8Prz7t\nzWEDukFzfX5vHgV6ahuNC3PYyNbBEAxfJGyyRY6Lhw+UqfcgR6EkoNKlr0NE\nZBb56J21Wf3gUe2ujkIckV5IP15h351434DR9WQjErmhATyAlYoptMKPFuYe\nP6M5MzRqLxUFu4jLTSjzOJZ6ZoWl9f16PdIvlY6OkhyA4pvjzejwlH3uW+XQ\nJglWMGCr1NsNWKTVIV/Pxs1qicFtuCxFvJtjAFpWp5KxbRXcAm8PuOsOG+8H\nYhqoXpiD0KStqjBYiO9JA/c0TtRITE6AckBLRvKgzb7rBn3SgsHvKFyzzPOS\n+Maa\r\n=VQhe\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIHkFFUllrtzI0oKJPBQ7u40oQryAoGZ10aFs5FJ6SCy4AiEAiqXsGPwoGi7v7BD8Ohc+vsgxBU8ql9JjkFO4eI6FDYs="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node_1.3.1_1591649158488_0.14637734852099848"},"_hasShrinkwrap":false},"1.3.2":{"name":"lean-client-js-node","version":"1.3.2","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-core":"^1.3.2"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.3.2","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-bJEKWuronUjByLwYDG0XKhwJ9rZQox4FoC1vass7J7ZV+NrNa2EWnn1irYkxRUYbnB+V51PxhgA/Gj170X+v+g==","shasum":"81a65bc3e13ee61aef14919ee8fce43c84783698","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.3.2.tgz","fileCount":10,"unpackedSize":11180,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe33oLCRA9TVsSAnZWagAA8swQAJeJdsiFZulTVibYkYCx\nYNRAeKIbC1XA5atKsuRS9+8/2C5AMgZJ3Tx3BvOMYHILbfhrQ+0UQiW4fahJ\nDX2aipA1Eb4f6hkS3xkxQoGFxjIBTamj0EoTF4IosSIsec2UcrOnDZiQUhRT\nzu/WZ38My5gJ0lB0iK5bMm9diU5zioeHQXJmHf3Vc2U2FCr+YLuhv92vjOy+\nqp93Wly3rOWTGyCrHxTYvA+HCZHBYdlbGhVdW/+KgQ75XzeNAiXpHUcRLphz\nelDROy39FcgXyKipos3kHeSl0BNI+Z3cKqxr6MNSbCibUkrZG0PIvnv7KPbq\ngM8YVo9+P5tKf2THPt5alwse3w26u2ifTLdriuydIHiz28rQXaxZHmsDl6rg\n+OkhajDmcGx9DE8fNbo4NYs7b/fde0aMdgJOAXvpBQR1n+2u1IxtE4B4Tmux\n1NWh0NPOxa7hxFUJuvD8jdVGtNuGr3yQw+DB9cp6chWNppodMqED293sLZ+Y\nbAwPVX37HpSdemEalqKKW2wHSo9OJmU3uyHAgMlvVI4Wmi8ssyKjaGRfpX79\nOa2xLLabxDDSRpv+cXon5SxsnNiDSn505cjP8xp5KD7S5EUgcRGBbEG/Mreu\n4Cz9RQ4E05UQ9GEHtfYBfChg2YdXUUjvWul+rR8dhgpzofui3mCDTEyXxYqz\nhgyK\r\n=XsOf\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIDr0E+tvBHRPbdGPrq3GuNTsLbwBIS/X/qmn+joAYtiNAiEAj57fB86TSx6m4chRtox/mXO72lI0xvfwc2H/0zbzckY="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node_1.3.2_1591704074899_0.8963698765279162"},"_hasShrinkwrap":false},"1.4.0":{"name":"lean-client-js-node","version":"1.4.0","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-core":"^1.4.0"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.4.0","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-Vu2Czgj/ol4luBR9W3amGJefLB600NpX4igyjNGXI+0pLxVkItnTGfQ6doNRDrLAG7FMb7z7IFx7NZzE8iVXrQ==","shasum":"d9a5387f9f39bd11903e5e81f6fb38ffe3565106","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.4.0.tgz","fileCount":10,"unpackedSize":11180,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe4RxOCRA9TVsSAnZWagAAP+8P/0ew7Cj9cpNzK748vLeo\n3CZOD5I99WOkVQ6iJ0NudBUwtYbvUEW8CQy05AosNCzwazsjm+xoGS5LUzfk\nlqBnIZ+xpRl5Ve3+y0jAx6GLdD/NvcZq018+qkPhPNxCsq5kn42V+DCRaDp0\nJ9hBoCQ+Ih0vZJWSJ5g+Hs1ArDwV8NBoOtm/zo0AabURy/WLw8YvIRRWdKWy\nlPwWQR3HPTznwYTGJxjRU+En2UHewSHgwNqj/DLs5WSTN/huQX9LIytFCgmg\nRqhYqDYodPgVfNI7UCI/KhXfVfU/aoQ3bX8F+Eq3sXqQZk35p2Cegg6CRuSj\n3mfmPbG+0oznaDSiq6xTC4Qa6ghsOhYb7K3oak1Ol+hNzsLIKbpCSc4Ecr7C\nkEqfPOobkmvHxf9asVo5BUX7TPapjDchHLsOZ7uCYUo0aPQw1pu0yM1aJ99x\n/ONFiN3cx3s9OzPMRqPn41M7/leRhK1Q7wMulQJPdrgVuBumAerrv2pywbUI\nOa6zTbmMMi2fEcC62ntelwco8cgqtP+KDZUtsnIGmfKWrenpwm0C2gAgTZtX\nokk4Wpv2pyETaV6GjWUw4GBP06+iX7q1xk1b/CNHasqsPNWb8OkP29Kzpcsb\nseeihWk8INsJIWYnsDOn5QIsPL46zJDt87ViU7ecmxv7AvU9iZ/Tze41UAEg\n/oPR\r\n=+Gby\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIDzQ14mRnvWh9G/OeZYYgBEyREGyJIee/QYWiW/wHiJSAiATNhqQcAqP85U9oN9sqALuZoUVAoIUyvkLsCk5XkocNQ=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node_1.4.0_1591811150319_0.26373118962203423"},"_hasShrinkwrap":false},"1.5.0":{"name":"lean-client-js-node","version":"1.5.0","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-core":"^1.5.0"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@1.5.0","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-1Vx4huU6FCN1ZNNbTghXlJKQH1RoxhNnQCTxRkeFRUkDyM5p7BYn8XuCMacwuiDH21y1NEP7BNbiyNBXCULMWA==","shasum":"4e9393d3daa9fa961a8edca8a14807315694c5ce","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-1.5.0.tgz","fileCount":10,"unpackedSize":11180,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe8yyvCRA9TVsSAnZWagAAT9wP/2WolpyyLolPL7LOb9GS\nXPnEGnTJeZj4PgkXIge5r6E2NZO5yjPiiDZKU/Cz6ZFKUa9BHgDoa31sCJOA\nDXlhxySbTG81jUCn+qDXnh3TbfoCc22wiTmKJOaHs++1UT2dcB4RPq2jKCOs\nAyk6tZ+5TrJ+n1HWZb7wbHk+6WBPe2gAsvTMjH2i4BZS/Yos1aHrLmM6GWf2\nof1QQC5UYVD8wDxXEPXdGQtR/YUv5h4Blf7Fh4tirG+ac20v/R046by+Qrse\nhM7LyQLL3w8349yz2eg95E1dGzXh8JRd9O4S2GQN2jtkegDZbmGd1asUT+2r\nPSWlYvh94VeJJKUkLvYdldI7N+5N9GhPfWB7mvE51vfiS657L27MRGIxt0Fi\n8wIFS9HbdlKsLHLEDuCgZMAjSXyx+yXz1L5IIQUqdcDdN0wl8ALFKSWlOS1i\n5BzLIISoW5ueWYsKNTiUJadz5rQD+ZU7y6ADh7S4nGdH11Kcq4xQivrBb23u\nI4O2MTkL7D3NbVY7Y6OWO78lloDEVNWaNTWWO2ubBduNQocvsfMwTgKo0XYR\noT4jAskf9shZ5/Hq3f4JcKT91670JqglGxj+X4rXIldQAkO9+EumRs08gOwO\nVy4S8/Vm+9abcTaMkrfGErgopmaNccxLrIMl4Jn7CZ8TthZeEa46x78LP96z\nke2a\r\n=HC3j\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQD9aw3D3JHq8rEKA/L0lpNjRyKv7ax+pfm1NRucsYDqGgIgAWpk+srOh+erKUCumbagaibnQcuaFFq3XgntCw1Kmf0="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node_1.5.0_1592994991572_0.3568818173126298"},"_hasShrinkwrap":false},"2.0.0":{"name":"lean-client-js-node","version":"2.0.0","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-core":"^2.0.0"},"gitHead":"fa1e7cdbf48373cff3bdeae77ac9470082e64c7e","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@2.0.0","_nodeVersion":"14.8.0","_npmVersion":"lerna/3.22.1/node@v14.8.0+x64 (linux)","dist":{"integrity":"sha512-xRP4jiPVHo7mpWoJWZ+A3VmMUoZOKCZM4bPEb6ao4E9Yfd9PWlQ2OLJqs/QS0akL/YQ57Y8r5x8NF3OurkTpQg==","shasum":"dbcef9be8413628ea5f982d6db7ce1585cd6e378","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-2.0.0.tgz","fileCount":10,"unpackedSize":11292,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJfaGU6CRA9TVsSAnZWagAASTIP/33aMhIIZBuvtCsuitbz\nbxPEq9ObkCy8DP4wOggxYMvBz9mvXOskAMlZLPCg1umzA0PN5fxHcO83GNGp\ns3f2sySGnRbUGwciDchFDbDAuXhl7YPVV+/1iAQSin87gsxY5wjgaBPATuIB\nfbLNNOu75kCJsMpntet8XGBtrwrwVDxAfH5DAyQwgFIlAAdVk/Ro52Fi6RCT\nAMpzwyX2RTkWZZmFZuxsuGEW6TrXxrnk7h8hGOcIxwPr7ef1uDcA9dqaXukK\nX/+EnKF/8tF5dnaEtCBCwMBBf5j7C7rF2I/7MDT7hXPdyEwqpOcDze8TlpkH\nNKX0UYq07uQLOq0yiqt3PtkgfAGEhb6yiPk6N0e+k04KoVC3dBr8mUlBRVY+\ni3sJeyKF7xorOVeG860K61vQDkUPNkCpcADKSSbQTGghYr1XJWMyxqGUiB6j\n6FEbWWL69wZT9HiPLi0cJW+MNo44zV1xgHGVUVr/vJFceBa/4Fnhoj5pxE1r\nxUYCyjlXKbLuZ5tFDKlQBWKAygsrC4Q5ZdgboWVd2DSLThQ32F6PiSSaNd6V\n2oFRUkU/TRLErCek6TBooRRBofZz/VjlBWIo4jVV2sAFbH5cvW5FLjlYxUbZ\ndbLc/q8cQIG4wd05eoFENgmpX85YEpga8QBfKseL5crjm/jmtJYufrVgW+jm\n6rGp\r\n=DTCu\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCICrTlM4Yw00hCMVOfMOdB+ZuDMlqBkVfZWvaaOfPlvz1AiEA+FQ/rhBtMI+YGl43j/47j7w2yZrDvsGPWANC9w2C4Cs="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node_2.0.0_1600677178290_0.1718801819718978"},"_hasShrinkwrap":false},"2.0.1":{"name":"lean-client-js-node","version":"2.0.1","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-core":"^2.0.1"},"gitHead":"f636b2572baf9579f12a2b90309ca81ac86bd44d","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@2.0.1","_nodeVersion":"15.0.1","_npmVersion":"lerna/3.22.1/node@v15.0.1+x64 (linux)","dist":{"integrity":"sha512-NQrIkV1CAW/fKzhI9qUc2687pSS/1L546ntJrkK9gv4qoxXXJBxQeagqTaV8O7T4Bsy2ow/JdsqIJ0LQ6ajCGw==","shasum":"c76fe60b9b5314c575d246713590bf0b8dbe9085","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-2.0.1.tgz","fileCount":10,"unpackedSize":11292,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJfoRbkCRA9TVsSAnZWagAAKEAP/3qvgI/tu/2dwx/5op3C\nBogg6rOVvEzqiXz+AHsYtF0ptjahR1KkkDWrgXj62b9nYaiq/DkELfJj1zT0\nFp8GwngABtqVrELS65cwwckLkAPqsZgQ7HSFqSVAbkcJfGHa/CGwae6jRvOU\nbUOn4qcOKUaHJVEFeE46h0fSzKQ6rpRYK2/YeE9IQEtvuv42G2BTsg9AWLmF\nk6IBjva45k6fM9ljhNSveGefpOuz2MnUGDwcFjgt3ftpnr2qtuTOSpZ39rXY\nowNjYT5RbYKDrXSU6RakcEqNz3ORJDNTUM32EDxtaoUX1RKgqv6PNqUEkkB9\n2sbtDCQNRFTDvsl40BRIntz7mWa2l2d4BPgtfGhw3eqHDtTb6PN5reKEzS0U\n1pWnTNKsZUO3PD6TqYeS6enUa98UmedcAEJzs1EepUsCCqD9cB4FmRMjfiug\nmg29kjTqc7S+ZsjY4gOHdXOSIqw1Fhlw935IKQCB423EwXrp3np/S/BwD9yL\n8bTMVvmbjLdvUlxl4Dg4ftqNjGKunqRE03UVowS1t2BhkHq2vcryq+8voMQp\nfJ/Q8CrxjU92BxQV5nff4tUAiF37wHA9awVeKo+s4T0hFJMORfA3Z2dcITzA\nw3DKRrkbnqgbQ2ecZ/RVquAVUGyyaOH5O12yWeec/M2xLKZxgCHs3Cc7R163\nKqRi\r\n=7q1W\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQC2cBvbyfIwlgS+8t9vyBv4XkcTTfN35y2jUVDK69LeBgIgIWSFBha/evknhlXXjXkX/9M2KQ7MBXeKeao6GJx+jFs="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node_2.0.1_1604392676656_0.26304258669186376"},"_hasShrinkwrap":false},"2.0.4":{"name":"lean-client-js-node","version":"2.0.4","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-core":"^2.0.4"},"gitHead":"da81f73487f9ace21bd29e046157ab7d61aebe51","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@2.0.4","_nodeVersion":"16.3.0","_npmVersion":"lerna/3.22.1/node@v16.3.0+x64 (linux)","dist":{"integrity":"sha512-Dx9PaB3vdt19hV6MyZuwCUb8jESmIPjxfEgLVMVBE/qvMUligPt1+Vj8O1OXFQu+GohoYI6/GqaEzTPzycYWHQ==","shasum":"b46ea528ddbe1cf0e5c93d559c155b8d8ef67006","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-2.0.4.tgz","fileCount":10,"unpackedSize":11292,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJg1J7ZCRA9TVsSAnZWagAAU8QP/3KC4150fGwp3vVEiaMN\nykEZVV8XGlbNotSJEsLVMIrwQSVywuqXNMW2BJh+RzX5Ft8mhfqKlrqB3ysc\nT21kRjmnCrDNroVLXUiMEXsSNhZb/hNX20B6SLCdnUEbePDLJjOUD6/GIswb\n7k9Ruz7ROTs265gLV12cyr5LSq3FPE2+41tnl05uPnzMArQfPhZoA0bZVsmR\nCKVluNilI00k2jPi3gWNDL70dsCGhrSnSXtjrU+nqQydN2DSDPzBEaP+EFJh\n1hqv/gDpnjAtSzjV+wN5nzDMtWBkv5uPN22qL10+nK7wzqy9LYap8TM1HOqi\nk+7Qxw1OPEqrlVPB/3K5SH46ponpVXk6A4ljSP+LWiB4bgQgdpYABrmokiTY\nu/4fLrwQr1vZIaT/EkKV/xbMQrLAm3mcFmWnwnTn4QYbCN/RDBctVM8P15Ug\nW+NeZtEdguArmEYoJf76oOMxMl9MRQSoXUYZXne7O0b0mdPeGg+l9QERsy22\nEsff1/sfcPC9h+HNQe405wmV5ZpjyL9JfK9vSYp5lLjmIwqsY0rhturYazgy\neZZ3NJnPUmxADg+tL0CEzrHTjyI8px5XCsMrwKQ1PYlpHnhJj8Fx+ruqdeqF\nVunJaOUHOsk5Nff836VWznbvmWVRrhi67rgjAALdIcRwk4HWxyWi8r23lf28\niHQK\r\n=Tadb\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQD6HIXG3mhjQGUHHVGpnpikS90A17eYisevAZxQ86KdlgIhAKUBCp2+YxMgXhIADdL76XY+FPfreM+OEHlt9RK1eDaC"}]},"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node_2.0.4_1624547033516_0.5737843338615205"},"_hasShrinkwrap":false},"3.0.0":{"name":"lean-client-js-node","version":"3.0.0","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-core":"^3.0.0"},"gitHead":"acc5e3b516c6db25fe04f3201f57db91701e2d33","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@3.0.0","_nodeVersion":"16.5.0","_npmVersion":"lerna/3.22.1/node@v16.5.0+x64 (linux)","dist":{"integrity":"sha512-VU3F/BhCTrpsk/8Jnm5vs9JWba64qN9Y5Z5ItHcdo8vSgo5VDaNz+7o0ZWGJw1Gc90XgCJtMi2iuFyW0CV+TJQ==","shasum":"5e78e8540f6b1564e2a214cd7d09f6bdf3db0188","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-3.0.0.tgz","fileCount":10,"unpackedSize":11292,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJhGjsKCRA9TVsSAnZWagAAfdgP/i9gJ9eUf2qe53mPNQJu\nJ3glh+MTpDrJV5O+lkp+RD6TMNDezAEh4kk/9mWIfP0VctWWBesayuyOgW5K\n/zsmUzVkGMqmRRkixhhOD0y9pzYhdrTcyrQ9joa6tLVfxdlnvg/T8C3pNH5C\nW9AF4nfKNOw5j7v+Ua2ljjs7zkROxF5ZrRk7R2YYcfPQR+zWW3LhB+5HDVYq\nc4PmMbEF5bsWuc7DkrC5sgxm7o+yvD7UlEXiyPfIYLANoXE/UpaPc6nBGehK\nUglw2nw1zcxBq/GuS8rQxjvW+E14muEQDKDnOwkq+7mPnaE/yREW9e1DhCe5\n3SRsOhBHhTTCuTQVrD/StDWzzvZ8Xr6RVzpRvhNJCRoO+poyKt2DZhJU1LAR\njYFoBRjD8463MPG/ohxJ6QPx/BFOqRkYPCQDG4PorA4Q2aTbQDItg+CDegzw\n1TK9jP8Mw8HqV4dMEVz/uvorn9OzSWxLsXb4T6dzz66/2rAXl4mWeAvU/EFg\nfEkKyzeRsnNwK5GBu5NamNEUP/ZtHUW4iemCruLBI9xNObtdAFoz3zsBiqiC\ncsWZxAuGfxbXwcsJksjp2xzCNwOwHofdMqDhKvWW1lCTi36AnxrjZk2MPIyI\nlrPcynHqZLR2YtMzzhs+I9xHsDCH+JpMIWkX4ABMICJTZ1jyjM6cDe/odTal\naYrK\r\n=rZxk\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCccz+DxbJ1WFw8ZQwzpKt5ZXE5q7ruw01jIoxrha5gvAIhAOi42olvl0IKYZRGn+joVxHweBlxkrZxqmaHHDlincN4"}]},"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node_3.0.0_1629109001998_0.3458586214991104"},"_hasShrinkwrap":false},"3.3.0":{"name":"lean-client-js-node","version":"3.3.0","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-core":"^3.3.0"},"gitHead":"65b9c4d69dfd659de02654951ce8aeb79bdcc9f4","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@3.3.0","_nodeVersion":"18.3.0","_npmVersion":"lerna/3.22.1/node@v18.3.0+x64 (linux)","dist":{"integrity":"sha512-4HsWIrd0z/xfBFBaJfQZds40lfKYMkV8aQAh+2Rg6NJHcP4iuHUscf81ivZSMWTV/BJNbS8IPeWB5IXsfu6VQg==","shasum":"f3b8db6d234d674d1d1f5b4fcd77f88981180b04","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-3.3.0.tgz","fileCount":11,"unpackedSize":22642,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDJuA+wy22BEaEqiVU7LYlKw2iAAXltRNZUX7oIZ7GGoQIgI/6i5W1scWPKMUpn3Cj6WVIo0D6pMgc3DlxR6BTxulE="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJitI/RACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmrgUw/+NojC/v/I82IF0dxSdXY8gP7G7IZNzQSoUWgIzWXSIGzNnT7z\r\nqX+jg+SCtAYDmGTbhgtKyQvl40vHl3D5wv3Y2QMHjCTYX6wa1xDIWEs6OtcG\r\nyLq/fASUE9y+zz1L4H9rUNHJDMXOKhvJsZ+EdMwI1OowVeUbxoYCAb+8Ia7q\r\n6/c9T+AB9AUD9vSIAynmW2pSoiYyNz2dBwD2prEdTyiIOE4+l6uop0QkMRNF\r\ne8/5XzkyAzX5cIQbRCiAYF3sw+t0ujLuH2JawASvJiV2H7ShdxhcCBRMpqYa\r\nWZouMU5Xfwo4RbWwAbdVsWAYDYJkex8Igj6of3lkAw1zX3yncGLRPeGum5ab\r\n6oaNwRUUInWRoKSOWmZ2hvCiR7kt7AlHbuX0mxmfN5uoSkMF/066MlKTK9Ro\r\nyWtY4sg+Ls5nmcJzzw3oB9MiUAEos+GYuel4llbP+WHgatXUXI3hCI8wneu4\r\njTUL6bw2xW+iUgm9ggHYS1eba04tVSBbGjdmdNWcq88NhgVdpxb1dWxQN0dw\r\nbB5GG7DDUtrKZvu3sch10wK1XkDc+EnglWQX+Gze/Ii9vLGP2jv7xuMdiGIA\r\ndGwG4OE8nMpCqTsRmsPj/2+tDjacWaXl0VtibvS3/asg/jVWGj1Tq6VP2dIo\r\nanKWS3uEUHnwkLz8a1l75LNf1sd0zvWVDn4=\r\n=gnmS\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node_3.3.0_1656000465318_0.8242277832236569"},"_hasShrinkwrap":false},"3.3.1":{"name":"lean-client-js-node","version":"3.3.1","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-core":"^3.3.1"},"gitHead":"e79dd09fa455abd4b675338a6f9b20b0c79daa28","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-node@3.3.1","_nodeVersion":"18.3.0","_npmVersion":"lerna/3.22.1/node@v18.3.0+x64 (linux)","dist":{"integrity":"sha512-AAZN7Kvwp2+UDGZPjSC3WEkursgPB/4WNrgFlG+9CaOcaIhWXg1XYax/JmIDTkZVRCi1YgKi785AAU2QIqHCOQ==","shasum":"cc5e284a7a1eee6b8ed66d745fd26fd26e654781","tarball":"https://registry.npmjs.org/lean-client-js-node/-/lean-client-js-node-3.3.1.tgz","fileCount":11,"unpackedSize":22642,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCrKSb+A5Bm8dvSuyEQO6uknMz6L8N8+7JZwG8Bc3o+BAIgLHJMc5eA/Qp80wSUZXjZHjTxwIcclxFbKCMQtZdrGdQ="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJitJeJACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmoAXBAAldKzu9BOVteaOLslIp99IStFWL+9wUX3y/3/0zW94BailLCb\r\nAHgdNb2mIZn4pQeL4qELbLv36m885rh2x2fbi4n4S9g8k0dcaxlZ/WLyTkmX\r\nb8OtfMW5UG/OEF6Da7YhODJcoEfII+bthnL5a2GXS8bRJW4wcwCgggUZMrm7\r\nnm6fUG1cxvaxVzgMvUsKzsaBomB7IE/G7juSbUcleB5xY7hzlEHicBItM+bE\r\nxUYjsXkcgrmO4i5IoAD96ZY/TrmIrwd0W9HPkHgSCxUAiBnfZYkyJWakHbRj\r\ni9eDGac2ymrzENQ4eebP5RThSZpC66OANkCoRIUNOzbh5dRhD4dbX48j9b0w\r\n2/2XDLSAUwArd4Ev2JIZ34yuivwQJIPsyZSiMDjuMX/wzXyQmZ4l/o7gFMpe\r\n/EVyvqMq32miMU4R6Up0CwMGK/FhNKfnxqEvZ2YsfvVsnVMhOuwNh9YcCrZ4\r\nrcQCYCUkOOXl5c1NvsHTpITVroF/5AvllePlV7UeW5D5oBbq6d+xfQ16XFLd\r\nmCoCTDpdVMxVtLySvs+eie5c+WQ4yO4NvSXzqB6sIuKNzoGxMWr4FMz+uqY9\r\nSmVDijbq+4tL2fA544vsqr9CAbOr4fT0oMBdGcVNSicAHb2V66pkyqsExE7P\r\npRp4fjVBnUq0P9cUd/ICKkBQhGgUs8yBO20=\r\n=eocu\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-node_3.3.1_1656002440918_0.28688217452435527"},"_hasShrinkwrap":false}},"readme":"Javascript library to interface with the server mode of the [Lean theorem prover](https://leanprover.github.io/).\n\nThis `lean-client-js-node` package contains the node.js version.  It communicates with a locally installed version of Lean.  See [demo.ts](./demo.ts) for an example on how to use it.\n","maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"time":{"modified":"2022-06-23T16:40:41.203Z","created":"2017-04-19T13:49:01.663Z","1.0.1":"2017-04-19T13:49:01.663Z","1.1.0":"2017-04-27T07:43:34.215Z","1.1.1":"2017-04-27T08:01:04.795Z","1.2.0":"2017-04-27T09:29:25.095Z","1.2.1":"2017-04-27T09:55:40.403Z","1.2.3":"2017-04-27T11:57:53.088Z","1.2.4":"2017-05-03T14:25:50.796Z","1.2.6":"2017-05-21T11:46:03.418Z","1.2.7":"2017-05-21T11:46:46.941Z","1.2.8":"2017-05-21T11:51:25.391Z","1.2.9":"2017-06-15T08:42:47.034Z","1.2.10":"2017-06-15T17:47:53.895Z","1.2.11":"2017-06-30T12:05:40.496Z","1.2.12":"2018-02-15T14:15:15.287Z","1.3.0":"2020-06-08T18:50:29.454Z","1.3.1":"2020-06-08T20:45:58.621Z","1.3.2":"2020-06-09T12:01:15.160Z","1.4.0":"2020-06-10T17:45:50.647Z","1.5.0":"2020-06-24T10:36:31.686Z","2.0.0":"2020-09-21T08:32:58.416Z","2.0.1":"2020-11-03T08:37:56.751Z","2.0.4":"2021-06-24T15:03:53.652Z","3.0.0":"2021-08-16T10:16:42.127Z","3.3.0":"2022-06-23T16:07:45.598Z","3.3.1":"2022-06-23T16:40:41.125Z"},"homepage":"https://github.com/leanprover/lean-client-js#readme","keywords":[],"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"license":"Apache-2.0","readmeFilename":"README.md"}