{"_id":"lean-client-js-core","_rev":"33-352fd6569a0c8beeaf865ec7757cb14d","name":"lean-client-js-core","description":"Interface to the Lean server","dist-tags":{"latest":"3.3.1"},"versions":{"1.0.1":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -p ./"},"repository":{"type":"git","url":"git+https://github.com/gebner/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.69"},"bugs":{"url":"https://github.com/gebner/lean-client-js/issues"},"homepage":"https://github.com/gebner/lean-client-js#readme","_id":"lean-client-js-core@1.0.1","_shasum":"ef7cb281d06366a8690114b884c92809419f70f7","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"ef7cb281d06366a8690114b884c92809419f70f7","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.0.1.tgz","integrity":"sha512-n7G5GBDfAcARxIZkDhddj/AMRgA1YZTY/9z3NMONOhqO1ccKYg2MmqhmRO04jEnD7AuL8oiJ8ZTf+3k79B+8fw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCMBZaRsjNIldt217rbOVY7jPf7lQ7v5zbCTGQK6KpFSAIhAIZGxUDR+9CCDJLF3uQ4UX3AwgN+MU+F5vhL4NC2D80V"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-12-west.internal.npmjs.com","tmp":"tmp/lean-client-js-core-1.0.1.tgz_1492609736367_0.962653738213703"},"directories":{}},"1.1.0":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -p ./"},"repository":{"type":"git","url":"git+https://github.com/gebner/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.69"},"bugs":{"url":"https://github.com/gebner/lean-client-js/issues"},"homepage":"https://github.com/gebner/lean-client-js#readme","_id":"lean-client-js-core@1.1.0","_shasum":"9b3c08a8c846b67a36fc4b419151573eafe0ef9b","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"9b3c08a8c846b67a36fc4b419151573eafe0ef9b","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.1.0.tgz","integrity":"sha512-rrvtSiNw0O036qgTk1YHUTRH1R6xi51t40noA9jsprXfzHNjfEGzxBOI+tTHYWyOQhzbwjCu/tfO3YFPdoVNeA==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDAUXCovl+4Wp0lr22uKPnW9KDSE8PRj1al8kEPbo52QAIgaq+rXLfvgEpDc9oq0SLxs2LHz+XDF3k/C+/V2kbZ/MM="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-12-west.internal.npmjs.com","tmp":"tmp/lean-client-js-core-1.1.0.tgz_1493279008082_0.18597564101219177"},"directories":{}},"1.1.1":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -p ./"},"repository":{"type":"git","url":"git+https://github.com/gebner/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.69"},"bugs":{"url":"https://github.com/gebner/lean-client-js/issues"},"homepage":"https://github.com/gebner/lean-client-js#readme","_id":"lean-client-js-core@1.1.1","_shasum":"6ab45546abf908fa1fbf0b4c589a2ea3bc177509","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"6ab45546abf908fa1fbf0b4c589a2ea3bc177509","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.1.1.tgz","integrity":"sha512-rjdfjAZgDpFt0PbCWxMnEHXDdqWkLmiV9+wduWRY1AXyGuYqsAfPJXjSpMtRKckRT650UyI6DQf/etI5JzYa6A==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDO1UOYikD42ZF+fU5+zI1cVDf7uEUY4dQTkXr4Z5DAPwIhAL0hZCsKYhc3DEh4HSO3Zc4BjD7cvb1vsTk9TwECTNxE"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-12-west.internal.npmjs.com","tmp":"tmp/lean-client-js-core-1.1.1.tgz_1493280059525_0.014858586713671684"},"directories":{}},"1.2.0":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -p ./"},"repository":{"type":"git","url":"git+https://github.com/gebner/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.69"},"bugs":{"url":"https://github.com/gebner/lean-client-js/issues"},"homepage":"https://github.com/gebner/lean-client-js#readme","_id":"lean-client-js-core@1.2.0","_shasum":"4b05ee814769bc79b5a50dcfde7a31058bd3f462","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"4b05ee814769bc79b5a50dcfde7a31058bd3f462","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.2.0.tgz","integrity":"sha512-j5fJmwCLnPeY/B3oydqqB5tusirtdhqj4lZQtfI5cKw1+SP9AtdVReIXNRRmYxLzVLPMM50p06FcLc+bVdC3GQ==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQC/Z6w4Ll09AUxjFr2No1m0y9rneaLvVVZRYXaCyq1NYQIhAIuCRK1FlGSGzk+vQrg5Kd2HXF8g+cwti1uUV+Ps3O/4"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-12-west.internal.npmjs.com","tmp":"tmp/lean-client-js-core-1.2.0.tgz_1493285359498_0.7428110663313419"},"directories":{}},"1.2.4":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.71"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.2.4","_shasum":"af916197803df97eb1c280cd039f09c6bcda0030","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"af916197803df97eb1c280cd039f09c6bcda0030","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.2.4.tgz","integrity":"sha512-2t6T80MqENgdwigk1NxBrh731R9SCUuL9HBpTKvpd2uj9mR1144SzMlRm8c5q/ERDML3sPeSlISt8Fquov8o6Q==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQD6TjGDWAmiT8IHSJx2Utk8xEvoluG0xca/igisu2PEzAIgDxLb/3uy05thbxlMvGSb+ZMlFATFJke/b7clFRsOZH4="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-18-east.internal.npmjs.com","tmp":"tmp/lean-client-js-core-1.2.4.tgz_1493821545922_0.9168327101506293"},"directories":{}},"1.2.6":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.21"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.2.6","_shasum":"e7935a08946ef70006becbd59276e42a66cc340a","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"e7935a08946ef70006becbd59276e42a66cc340a","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.2.6.tgz","integrity":"sha512-0pwOoJTlulYmYKz0oRPRzZ3xlPdKK3EMtBFVQBEYLPc0gkUfjv6Dou5SoydGx8K8EkZd0FtYEfmT5VANfBH+gQ==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDpWnD3RXnRTUyijdcdfoDElRabIkzkvP2KL5gDzlfYrgIgPRaVp/fXsnTeW5liFWKvnSmZ8r8BTXG00SoISC4NpjQ="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-core-1.2.6.tgz_1495367159899_0.42128603532910347"},"directories":{}},"1.2.7":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.21"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.2.7","_shasum":"b250a5bc41912121c63addb8afd0ea324604ece4","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"b250a5bc41912121c63addb8afd0ea324604ece4","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.2.7.tgz","integrity":"sha512-DW5QqMksMsWIhpA1ZOnlUCQ3pCEaLpmVqwy+ocAjOXe9cCiFz62DgL7NP/hq3Ovxg/ThSjwwroejBAHeo6BUQg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDNVTq6OpZgIg1hlX43dAxQHeb2maWp55GXFIf5YEmrWgIgWDuNvDPntSBJmMcDv2zhAEvn3t6xharuywFhZJqY+Ys="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-core-1.2.7.tgz_1495367203556_0.9080614678096026"},"directories":{}},"1.2.8":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.21"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.2.8","_shasum":"c790602858bd8855cd08803bc72337423937fb8c","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"c790602858bd8855cd08803bc72337423937fb8c","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.2.8.tgz","integrity":"sha512-uSIfCzyCEDGRmdgzi1FLbtD8+Ecmu1eE8n1fF4SWp6/SYJ9oHHgmNtj31XfdN8tJNKWgjXzzES7asY42E7goyg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDRiQp6mb1ngO2zY2hH6awu/RgHYB6txSxjPL259uYKmwIhAPCBeceEwBOcPibT+yEF0hiZDL6/EzS96aUYcNlUDg+3"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-core-1.2.8.tgz_1495367481930_0.8954716771841049"},"directories":{}},"1.2.9":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.31"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.2.9","_shasum":"d1da6468bfeac5294eaf8ecf534dc621a4f27faa","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"d1da6468bfeac5294eaf8ecf534dc621a4f27faa","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.2.9.tgz","integrity":"sha512-aw0Jpdl0Zd7wjeZH+Xilb3Sz12IRW4pPuZe+olaq3h1Nhh7hAkjZ4ao79kxbUcEzqMA0DrKwIzvTVSU3BReGnw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCoc2gJ0MU8Hq8s9WdOQmdLordETkKTSFI/On4GNscBMwIhAI805ZWKRJfY3n1rpje7u8vydNKreyDapoMpX9byaUBp"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-core-1.2.9.tgz_1497516163618_0.4507896259892732"},"directories":{}},"1.2.10":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.31"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.2.10","_shasum":"7d28ea59b9a9700264eaa84a4adce5f72d59dc60","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"7d28ea59b9a9700264eaa84a4adce5f72d59dc60","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.2.10.tgz","integrity":"sha512-9zJIV8vIYP0b1YGANQh2q2dSplfdpG4JTnbyb+vR851CgR9GhSuIFLvGKONoRmjg2zuYJCfajqEXCuh6CT/jhg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIBy5zPbkX4nxM+oDqFQOeVCgpMFPwHqjjZPIsfvBYw4MAiA0jQdCZV49APz4DchYSzRlfa6oOvjt5/ZpLgqUkzj9DA=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-core-1.2.10.tgz_1497548869808_0.9874117528088391"},"directories":{}},"1.2.11":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^8.0.4"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.2.11","_shasum":"e0b8512990b9bf16c4838543287dafefc173e1db","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"e0b8512990b9bf16c4838543287dafefc173e1db","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.2.11.tgz","integrity":"sha512-x1uv9YMtU8UdA7p9Kc2jYjzDzJ+qCVAavi7kdit2ciAc6ODyxm3W0rMZqLg3fBz01BMpoyBp7MmN0tRW5+YIMw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCdOoo+NBC5CTVGVXqXMriGKQtDtX5hbWUgWkq+Ijl3VAIhAIu+Te9ntirz6giwDkXIFaTBAcAH0gpeIvJrPj0If40w"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-core-1.2.11.tgz_1498824336973_0.7132451243232936"},"directories":{}},"1.2.12":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.2.12","_npmVersion":"5.6.0","_nodeVersion":"9.4.0","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"integrity":"sha512-m2TWFAbokO/ar2hhZupOLMpGf/dAtghRSCbR9xyaYRo37UfztjZ7AAXGm9BF99o/0WZ3Bl2na8ZkYk63H/qnNw==","shasum":"9d75919ba1f40b0cc79d427468d7be79ebe94b62","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.2.12.tgz","fileCount":18,"unpackedSize":24425,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIAnMMa46WKN2sN/6rBNkbjr/4LuZujDgJZgy4PobxS7vAiEA867C8QhAbxm9s0NQ9F+y1ELPCbnyN7azODNmLF1QlNs="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-core_1.2.12_1518704109667_0.7080691375246311"},"_hasShrinkwrap":false},"1.3.0":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.3.0","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-ea/ma3wWgdxKlf0Ymx31hk8L+9AK7HHs0RDU8Ev3DJxDHsjyXvxseVHjsFImd2Rk0gn4u2JgY1hJNL2eXxVRMg==","shasum":"a0d67033984d9dc05dda2d45a63b702b79bccc8c","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.3.0.tgz","fileCount":18,"unpackedSize":28947,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe3ohyCRA9TVsSAnZWagAAFewP/igTAxWQ9obZVrl1zwks\n2BgbCUEENm97WYEDLH3xYr6uSqwpdXLMAj7qQUu/UQlJKyv7Y9in7/2bgA2G\nCUArhw6jzDPpBESWNKZgdZ6opMlqfziQql1nf8cgvPJo0PndU0I3rUaBrziW\nbIAlYKBPrhaJwyZM8wsbZAwfU0J8PUe6bh31/8DgjnCsTt3Ih17w7T4hQU0A\n8NmVLBq84YCTtGSLqZjo2DxNCttvC3TpA3wqa94wHnN96x4/JWhIzqxILQRS\nqNX08OVlTxQ+h4LL5X3dZ2eZF4Bz2C7o1T4YSSkb1ZnQ/I8w6enIbAisMHuD\nmtYwg7hBIdP39wIPjYiGV1hzWdcMnGWlAWYmkPvHlO+QdslRZTvm6sdzAvsM\nOtWdGoP8tNB5qzqDStXF9r/3DMQYZKgaQgXqBrOBMZw/5bXIGcPPSSvfVPyI\ndneuC66A6As3LW41TYbaGh456GIKS+i7JVFGZfvZXq2InBBtaJB83sS9yHye\n63trlXef7WgfhMv2gbl+Y+W52hpKFzpV3a2NzH1nuwu33dhahs97hTsyLRfe\nnjcrTj2ZOETLIc617py6vl4YQegDWXcrjVMTuYRoWOmBLZgDc8mEAhA/ML1N\nu2wdFUntyQBRxIaPeQHKhWS8mTOOMdbWF5WDWFm+zccdlhRBwAA4I/EHOmLV\ntosE\r\n=X74f\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIEcEGPXDAgzayXeNPIvzhBCNepKatH5TPDPCEpLcIhPMAiEAv5o8OV91fEioPNXfcM0MIUXVPIepmt3MBmGhLIF9fjo="}]},"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-core_1.3.0_1591642226007_0.3551702000775947"},"_hasShrinkwrap":false},"1.3.1":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.3.1","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-yrZ3zZovujrx+/elK5D2WB8+uBtESh9+fBQi7HarMkN+5Dqm7vD9hJvdPgfC48cj5ikNzCqDYzkaTysV7eoa3w==","shasum":"4b37ae8c1126318c683698868dadf8bdd752b744","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.3.1.tgz","fileCount":18,"unpackedSize":34309,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe3qODCRA9TVsSAnZWagAA7q8P/2cHYPPPr3cwiltmyAvu\n9mwwiCW1SFpUc8AMrNTECOPfBpDcK/7mtmNmWELsymiBjhUG4/rmEEQMCYs2\n6nBu02+Wd5sSf0bjUoPxuP871FeWetjb3iBzrzUxsGtyCChCBMqI4XRLF//j\nDvEV8jF+Y2T7WLrfXMo2IFyvsGW4+tCrSWkBhR35ATrJnVP+EaN30t1zN83W\nGjcWElsTpk6LfJViDCwdtjWSk+G1VLjtNvQ0Lw/u3J2eudJO9CatOGmF5GvH\nPav7S2vLRqFeMUEAPIUD0GHf7mU4y1Lp4Xf/FJiQNE+fDnov1yg2pQOun4ct\n4XNhOH97wmTyMI+hQ1R6Ivvr8FKsEuPtDv8u8ZxiktABPSfhGI/rITsKy617\nMOgsaiGF4qJo+tCmbRprlt4czJQVfwR148MMvhNsHHCK7JOgqQopd7BQXq0z\nNLsUJR7AfPdkDW7bB93Gv6utLmPJT25sXN6eREDmElLYIrik+KsMaRaTtcBk\nmgEz93SSzZb3f3XgTDRnDvOVdM4v0Yj+KFOcSINm005SFCAnh5ySYrl5FuoU\n4nlEbaSncKTQNq4ZkEJzNm0C4I/bNVmJrPTzVKIl5JcVFitW0/D8tEtf+T5f\ncnZzsiXb28yl0Y5t8SIv8ylwgckpmPdioRQMDJri7v/3wpwGhSonrvNWuxvT\nwvDr\r\n=3A5x\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDZERusBnoDsMR7e9ns+iZYajfXNo++krJBPjvXNj2otgIgVeosi3H9q7uNJEd2PFIFEwQKTuvgX2OLeeWPxfU/8Lg="}]},"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-core_1.3.1_1591649155138_0.34198134530566726"},"_hasShrinkwrap":false},"1.3.2":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.3.2","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-HwwNZDhy8H0emGoaBXc/FGWpObl/Cn/eP9cT+nAaqPJCI4IN2DS3Uqnr3c7oi3cz2uKqNGoAyJym5hyzCRbAyQ==","shasum":"807ac24eeaaaa6ec8a8632686e20a7cbbf95341a","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.3.2.tgz","fileCount":18,"unpackedSize":32972,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe33oHCRA9TVsSAnZWagAAD7sQAJG6AZzAh/aXMZOjR6Fe\nk0VvLbGpTdLW2udX7Xfi6rDavUQ+T9TjEvYmM/5Y+RoGegKk6tvQ27o/ZO1s\np6jbHp8ZGdmIHLQb/h8kuCoGB9RKe8RriUKIpOIaxmSM0U8rx673f18FhfVn\nKzvgJvshR6cAmFve9kze7SEvb+MTmn1ras5Db/85/TCty1bbvkg4KXGQmCof\n/AU3NHiXc+rZsBnzij95QFyCJfvuGHcqRFxKmKj5wqBOvLz9mqVX99frX1Su\ntWXC8c+ENfHG1vGgq4tdoGEVlwr63xDt3j8U/WnOBeluWUnIS2O5dNbb9mt7\nfpjoWgztsf8T/fKEiRMJ+kO/Eqfo/X0W8ELyu3bU+JuMbZl6TGP4ww+ZJPgp\nak2I3dP7YRsiNzY38zAwUTWQzWcGuvAuv5+oqQ+szucF2NXCYH/yViHCsCDv\n2m8eyjMu3TWX6JFQF9WwksnS6YtGpGt7Ul4amU1GhdZSOwJbmNESNKhyvWWL\nmk847PVRxoAbKU91opVpgVZYWXpXdmDsprZFijLrI9z3PgzonNgxox6ncMly\nRgO4gLcwVnBX7GysYLhnzDA+YPH9A0c3wA24LgjddTRz+ces/OMXHrswq+k2\n/Zref3w0WssbTQ4R82NJKMtaevqiYVxAq4C1vUQTorqBS1OpqB6PTXQEebqO\nkMSt\r\n=bbjj\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQD2aIyMxQrropMafEiKiaYZUslJUzxD0PpDl/oTltZcWgIhAK7FnuhRgwlJT9Uvu8Wuxw6ewGtVp1yrkz+AS6ueHkQV"}]},"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-core_1.3.2_1591704070432_0.22474269754440224"},"_hasShrinkwrap":false},"1.4.0":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.4.0","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-eyFEI61fUJ+cweRjw3UmGAkxH1QUFXM+FGsmkzVuN8qf4lvjrtL11vUGr6Y/StxT0iRAcv8dAY9ScIRQZjWgJA==","shasum":"32eea2a750e29e386790d56a4b2af8d650c0f42b","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.4.0.tgz","fileCount":18,"unpackedSize":34086,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe4RxJCRA9TVsSAnZWagAAwjcP/j4ODTLgbI2KVhQHBgPN\ndy6T/tJUktYOBJEYNK4Q126SVz2WXThYPHxa2vsLcy2ctzjvgRzGhsujp0Ke\nGXEI//w+FaGNeJiYGMvzXlYgPpuHhXKltaXviau/ieswVbCuKqXiL/VIDYuQ\nEV61Ey5zcWfoeqwdUB4XGCsCmJjOxqATlStrCaQCrMAQxndCZe8kOix+tyMH\nLtZ1xs6FgMVrNoecDNEn/eSR8lwVVXORJewx0aWtMhYjfgKHTWBGn/WF47Og\nX+M30MGXH0Uo+8/qAvr4JoLTdFxcGakjIj1DW6lnMh6q+lf94dWbu/Yv/i2U\nDPo5KW/fX5N8hQfERDPrJMMes+tZ8oVCEf08b7o5vpOHxnjZZvhAmmIkRulJ\nRPG0PwVaubGghUwlzuxBcTj3ZE7xI++I8zGOdM3Q5Zzau8Pl4/1aSP3avXC6\nGWXRD/HvYryLiG6WPh1EcJ8wuhLrl9wgYMNc6/XyuRm0JPM8GWlsnqUn3noW\n5rpwaBGdlaPVdxOTjstzBjeg7ef+h74Ro+6z+kQfy42eLiMrgmLBEIszkXWT\nnvMurw7oOTNuWJ4iaTGnr/SQrrak44Kl2EnJfj5O4krBzbHC6mNB8/+Mj3cG\nVgZPaqw+ucrNqVG68yiElxZQDPpcfB0Fy8/LRMh9vpa5tWXiUfEgkprwmLcx\nNxOr\r\n=o5Ga\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIE2PyjBkWLyVe5R4B75zcW2uZW9lVuwDADvHJOaQ3AWzAiBk+6W4vocuDbpEcGGoD0KB+K3yRaFnxdkVLoYg5ML5Kg=="}]},"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-core_1.4.0_1591811145537_0.22266744791780302"},"_hasShrinkwrap":false},"1.5.0":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-core@1.5.0","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-1uQ+ldW85sMW1zvwab424qGM1bDwJ2d51qcUt5bxWPIp9Zef7pcqRhYytAvxj1G1+4+gZhUzbyHS7wfh7bRrcg==","shasum":"d985f3c4ab52eecb7fc758cb6fcdf9d4142cd87f","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-1.5.0.tgz","fileCount":18,"unpackedSize":34148,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe8yysCRA9TVsSAnZWagAA4OYP/1m1foTQkaBfkZXXTaZw\nxlq3G+umz0WNLrIRqmYfUHyOyq6AftwdPxPXLlpTjSJ1lx2G35Lu08Jc2aDL\nOhA73kG8ZW93ah74AtAAI7LEfGSEbOcTX667XiPjFTET4Wi3Bs0b7yN3vjoQ\nYW2vclmgd7U5Sh/gEzNDuSV8LPioofqUfvFbx4s94fHA9EvEWNi0ydJRicWr\nbHo3h1K23GVaswms7aj8yDnD7V/aZvtd90STEah6pyDwWXzUV0rZbc7Ecn+l\n+zAWSXV5i8jjzckrhYWRoxhlF7nGIqgufYwfcBPRiRXQWJZhpgrSJGQA2dut\nmLWU+HGB1VJIAupMdYt/hMCODdn2UiBUcjmFc+4M0HE6+L81nI7uSl4NE38U\nJVhv7wBHY6UQu5sQMIeVwYwHqkAWl2BUwXG99jUteTKDf7jeGbdwHNwgUFWJ\nPBPdO//hBHyDGp2R3liU3S3Js6Vlg5bcGGYVKryIlJ721Y5Lat3sTgW21VoC\n4mujShTrmEoYsqzvAcni3/J2ZKno/OHvxcr6GUCWeQZAIZbpdQnq4Y0D6pyl\nggbFwLtmdA8qnO3miFx3M1LlRju/QjPSL3sSrOQ6mJwdjPZyhpOP9PAL3FcR\nXfbWECIKwvTRNJX8AXNlss7mDlAtWS0UPRG8XYe/KlvpGbxok8LeKT4cRzxI\nJWQf\r\n=mDJ6\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIDdomuDCvCsh96z7uodLo1lE7d+6uop2gqK4lstHc+WPAiEAq9zaGcwcXNRnZlxYJk2vVi8ZvECFtJjEE4iNHxFBTMs="}]},"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-core_1.5.0_1592994987791_0.9190868985875613"},"_hasShrinkwrap":false},"2.0.0":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6"},"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-core@2.0.0","_nodeVersion":"14.8.0","_npmVersion":"lerna/3.22.1/node@v14.8.0+x64 (linux)","dist":{"integrity":"sha512-Xem4MQgFga6yQxGreNWMv02Kj1h1qotOTAImEHo8/aYJrl5pod0q3zcwpP04evkEnpFW1p+jLF5ppOB0tmxTaw==","shasum":"48524f47738ff9a569c68fc38951068350949542","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-2.0.0.tgz","fileCount":18,"unpackedSize":34642,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJfaGU2CRA9TVsSAnZWagAAecwP/AosZhL3SasvuvHyGg3S\nf8XUKGihMXZ8v20mVPfmMibvadNOks8MCsGC7UV81QcqDJmlbaokxFzAy2ad\nioAaYR+aeaIyWemfmsQpPIq9KK/e7rN5rBiuzVzxHG3X+fS+bXDNjJ3aN3Va\nAm42xUOFlHGo2YDyb1iywp+YZ5TLJ165ARmKm/VXDLa0w15JOANxAne3ExxH\nYVhkvuuYOJ8xLSldff6Ikq/+1jAkBYObngrgqw8E//WSqk5RtxaFP1VEMJDD\nc09yLcR9RQj6vtwPpOR1PG+kfjggRIhK0NVhnsw5nWTRfUtbh820eNzdmVxa\nLsyIV1jS8nISAY7mc4abWulRptAMBKS4kdI8H2gBC65TECMbQzWcIG3DVuB+\nFocfJTByW0JptEmF7SkatOmePXYko52j3t6vX8l0QmOfo7+SUuUzY2iBlvCy\neRdm3OBFDyNpVEadrXoLEhoN1t56tvRcDXTi1pGdnQKXq7XxsFaPSgNf8ZvD\nWbrBJd+1xt4DtR9ozT5DtMRIJYTnKvLlDjJM+w2synlDZ0yDQG2+Tm7KE7Uo\nrlQej7LAqCulnI7b9PpnWZVKOih0U732A9QZ6tD4jp9W+rG2t9pg4fmmFc7s\njAXkLurUhQ7tC0F7bmRFbp4OE4MlnvyfxTN8NDa+IZ9QRiw6XudgrAdEMkGX\nX0xH\r\n=rRUt\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIByhnoebS9RtEsLfMzd1cLYIrbUfkACmu5cHFMws4ET/AiEAvQ7nAujEGsX4DUvZDAHx34gnSKob1eFC0hcChKOPTqk="}]},"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-core_2.0.0_1600677173486_0.3133678037971339"},"_hasShrinkwrap":false},"2.0.1":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6"},"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-core@2.0.1","_nodeVersion":"15.0.1","_npmVersion":"lerna/3.22.1/node@v15.0.1+x64 (linux)","dist":{"integrity":"sha512-QGNAAB+RnFF2JQSw5mj6iInwhKVDPf1pYII/YU+SmWMNCO1R+n55ti8LCZcDeUvZlu/pybGgwZ9/3rq9cd10oA==","shasum":"4a0355bf8d3551ca6bc733de2702b1670d1a9f45","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-2.0.1.tgz","fileCount":18,"unpackedSize":35135,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJfoRbiCRA9TVsSAnZWagAA0vAP/1OgaaNZBfC6gd6cfxRT\nwX/G+vGWHQaHGf1vZoSBjG3OUHfmvoho2eIKi/2w729U3WxT8Nm7OSClO0yo\nd1DbZ8QHCqqzBBu8K8/DiZxlhEwWh3HKV4KfWE7s0RjI6QENKXgwo9Pd7LMT\nWsWKMfQnFalQX2pPMZqXOmwqYc2kvURHwzJynw8usHOmlbazSSNzpsdhD3Z4\nqkIjP5d+lvMwaPa8lNa2nzYGD4OJS+vOj0G/GNaBeaWVZxbshH8IOLTRV3t7\n7auq4R2JPj1K5arRIIpWi0TjzL0Q44ONF+9UTAa9AlZ5DnHXO9+b+6zr9fyC\nsjeWyvAyV2nfww4fXX/ZpLBufTwv/ZOipe3YfBMSz1yG43Y8YfxS/ZT3h4Ec\nUROgzVSQkq7AD76r7Mff7nHMsSe2Bwt6iJQI7U6byMDe7aTWYtDz65cobmA4\nWpAlmOBfxWD2sS+sQXRUB4eLnYZEAgwDft271F9CSi9aZNh3UFxIDhqqCOv4\nRDtzLVXoTATrb7kkeOba4HZuh835ar6f2fgW1scMm7KhhmGx/0wad+TAzDZJ\nBsBXHlPypNSwLOY0HBXi5phe31mIMPl8ggUBEURhJ0nZT70s0ORql64JBDyJ\nfeGUywTnei4emwUzXeEthziudyAGGcE5ErjVO2E0C8RbxSojA4Z54neSbs3R\nkRyO\r\n=2q+7\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDR4o9+xyPa1CrOdk0D9JksIANUJK4F2MUzVWyAswPzNAIgC8CIYLx9kmDg4TkY/boNZ60mT9Y9tRJufHmOkP5BEF0="}]},"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-core_2.0.1_1604392673676_0.47768696368834873"},"_hasShrinkwrap":false},"2.0.4":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6"},"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-core@2.0.4","_nodeVersion":"16.3.0","_npmVersion":"lerna/3.22.1/node@v16.3.0+x64 (linux)","dist":{"integrity":"sha512-jLZErvAHF0mfU+rC8UhPQdhypz2mwj0UgMhMYpRcY0srRU684mxcOcCERNd3D6crGJBEAM9QIN54m2HzWZ69YQ==","shasum":"96bb3254cd06c6c77974f383be12779ba31e3ca8","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-2.0.4.tgz","fileCount":18,"unpackedSize":35135,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJg1J7WCRA9TVsSAnZWagAAOJcP/09uONLp3xt4STtZ12tn\ny6ewB6T3vI4XBInkMXgoJAwYptCj7xTXEnuMNAYHRX7XOCBpzRyVb8gh5XCc\ndgcgfN7104iXkPaS/uuIyJY+TzilGeFky5PaHXz95NArvSan+xHAylRk4PSN\n1/awSuoivxLDKCPJXtvcVOFUiYyCheQkSV9r5+baXJ8ovUxpccK3A/kOWre4\ncetY8iktGrSL8sulRksjcRb8+Fk6JMZK+0oeHVro6Rzp3de4YGjOENgzVZOw\nUpQw+x0c7ZfZMlwTX0xcVCnsCc2CcT7FyQqYfawCq/kCj3b9AWdL4SFcIUGq\n8JqtmO9da5dmR7vwgvthc5zO1JpUyzLTywNhNgKbCxxDGD2M7LQKhW0H6K1F\nFudPWxS0kEHev7RyiTW7lHXYXxsUwyjmogLo54LIva3OZWq9oaTYXX+YVDI9\nBbkfWrhJOwDjHNbmtSDvr9rchfy8PPupA0WgVjhEET6cKmKRlrRsbsqwMJEN\nRgNxUeAb2B4JflYPF2UmmNIfqFRzbDJO1O1MEysSQHEO6r6RHOHWilzKeHAr\nEIqpGexT9SNyuQNqNcfz4+qXf2KE1vl5xe/UQPMTOGnGy9zhQZcd0W9XfBkH\nsFCXKH14lrgwbkO3QWRgEH0HaNj1gAMj54IemDFAYTSNypAEMU6Gyi4v+9J/\nQKx1\r\n=Xkex\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDW7OINabEokedyZeMHHNb0atRracfjMewOcZ0OBYng/gIgdsMDVc9BC5XFWjpBCnTwtDeIyiHD7I8i3mpI5YzFmbk="}]},"_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-core_2.0.4_1624547030551_0.6960520682063216"},"_hasShrinkwrap":false},"3.0.0":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6"},"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-core@3.0.0","_nodeVersion":"16.5.0","_npmVersion":"lerna/3.22.1/node@v16.5.0+x64 (linux)","dist":{"integrity":"sha512-6CRq/lqN5lusK1TtYWMTigMMjswZ2scJT5HDVa9bb3p28iFVMHBFQxQnWytiBzV9AVGSjSikbYri3uwUW6qB0Q==","shasum":"a3cf18c53e53f5c8c20547a1dd2fca93c25914a4","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-3.0.0.tgz","fileCount":18,"unpackedSize":35135,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJhGjsGCRA9TVsSAnZWagAABXMP/35EqxNrmSNIgqA4Vkyh\nBVbxmr/fx+uFZIfY3PtNkVRe7sfh6QHtlpwwXtIM4aUyRskOMvUS+STEb8ir\nI94KXFa0RwVQAmPFP7HQliZs+JTM4Be08mGQEB9Z94u02BM9Tpc5WP14fzzK\nM/mH/4mM/rpg3HOYVgsB0G1GrzwWeOSqV4fFhk6rVM1Ffi3SJK919rSAaFvA\nKuMY2hLy+Kjkl3isVlYtnHQG2LlOJcKfruxfLvliTozQLajEg7EUT1oHTri4\nDREy8KVDZb8yO2sfq24lgLhEQmKp7BVhjcVn24QxnYf7FeKtSZeybjU9HkGl\n913M0TQU42r28uH/AtfuXXWG2UdYKvmvQdo8NgGvWFS4xDG24tpAJGiF14Ig\nDdB0IppABlfQ5eCnKgT9r4L6DmX7FQKWG9hP6Sa6cr52jdNuWa3h1lPk/mXW\n8d3wjD81aa5KICPw9SPGq73jmq0cpmpPjoCuimlCdxO92R5gr1vsWaejbqcB\nLJxNmGAGWSk6S9OYWhF0/LKZV8Kdg7dwNsjG6RfNnXGwlyBGZaaGbEv4ixtF\ncFH1j2OHJWmwz+pkBHxRIScHd0L4MgojDfSy0RIIIvMbyzOP/l+k9KewhdvG\nsC4O8hFwprt+5C9S74EmarCWrqjnxkjbhPTa/8sPExAU8/50j6nNNkwx90JH\nXTUf\r\n=SIRq\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIFXquoPYX8vHYDO8V7IQX8lUa9/p6WjeT0POFR6xnSdnAiEA0bEecv5BU5R1LrdsBFXAW/vJUPiSBCOj35SQ1fVvPWk="}]},"_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-core_3.0.0_1629108998096_0.5922840846410062"},"_hasShrinkwrap":false},"3.3.0":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6"},"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-core@3.3.0","_nodeVersion":"18.3.0","_npmVersion":"lerna/3.22.1/node@v18.3.0+x64 (linux)","dist":{"integrity":"sha512-ua6XhQWhaxLXuwusAxWcuE0OUyrcQeNA6U0ya+XUDvxQ7rtqwUy7dRO6k9AnfBbIrkH525byOi8rDOgNuutTTg==","shasum":"ed95b4e18aaa10c7f12eba95ef2b6f9a8af95102","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-3.3.0.tgz","fileCount":19,"unpackedSize":47217,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCbHB45YZdT03qolljfhPHbBNhs6u7cqYX0A0yeL26qVwIhAKyVDAR5pbb+AMuejG/xNnTDhPgvyFI5af1tp7BJcXsN"}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJitI/QACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmoxkQ//antw1iS5poUamrzJNv9yjC5rSLKzkjoidA3A8DnzQY4XhMdq\r\nbYBBxwxoyJPpVIjOMuNEXZPzUz0BlPYP/uqw02U1ONIHv9cgLFSqfsR5VwzF\r\nxCbq3G51lsEJtGf8Yl7BV7qmH/7Bp28mUdu6Yq3VNzEiwpOAaJt9Ab9wVUxu\r\nST1KYcLxcjL5H+wfoDn1P+Hcxzsr3PsLcRXTOE23gqyjHKX5+CrPmVUCWEnL\r\nATCoq1xUfMrSUkctWjnR9du/h4oI9OlPm7Cg4wwDfZpBHoQK3Hi5ZAJWp036\r\nUulDou2Kk/48fc7XaTHxnKlL3lnVctguSf0QSqwtk429S1OZrpECpFhy1SgZ\r\nnyDmP6zIgxmB5bkzyG4E3eiAkfn920jTyIoRnZ7vvXO2wRkvqSQ9EaGqt4uw\r\n1HXrgju/diya30+7SmeUVUn3PjFOaSKUtplqof0y8TXsnklaf4+LJ39NBVqM\r\n/ztF3qRTfeiKTc+5dYgk3pYFe01VuuqugLbdkr4E7LR25hlUOhSKA76sIH/H\r\ncMbUtAQbe1TJjW5uyUtKvLuqeasDY7lufwjd0DjyuAqHCQEGgriexXu5VxcS\r\ne9A3L81dMv5u+bJsg9Wc0sc6qZgn4eJOKFmxlbQSF2xlyDI4Itjzau+SRuPQ\r\nVQXWGzjFrELy0i6ZlTlHfpZlOsQf+iP4T3I=\r\n=mHB7\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-core_3.3.0_1656000464460_0.5285973770931951"},"_hasShrinkwrap":false},"3.3.1":{"name":"lean-client-js-core","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"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6"},"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-core@3.3.1","_nodeVersion":"18.3.0","_npmVersion":"lerna/3.22.1/node@v18.3.0+x64 (linux)","dist":{"integrity":"sha512-Br1BHuLgPISE7EnC8Mn5uKZC2LLPoWyC4d6vhB7eXhgBWX+EUU6YaYD7zBWscXTEP2i2EwsFbiYuJtd/8/pnpw==","shasum":"da57b767bc0e202dbfd58148127b56e231116e86","tarball":"https://registry.npmjs.org/lean-client-js-core/-/lean-client-js-core-3.3.1.tgz","fileCount":19,"unpackedSize":47943,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCICNswODwB2f9SfwxAkvqeGfS1qMXCBRPhLKfEb9zydKNAiBnpwLCPP3gYuK1vguxrvMlmnfrui6sQEXAOtrbZvhd5Q=="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJitJeIACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmqppQ/9EILGyUlkk49AijnSWHIWb0kv3nDCIRljoLu6U6ymPxxwmuwa\r\npCNZiaZbhlXGaCi93c2QxwxwxiI38e4887oI/4RE3HShDKtpRvoAnsAlvzaL\r\nnWNIPPgrfDvlxrvFkL2En8mVr91gVpxuPZq4wcfobo2LoSQ2MkmUHDxvG/v4\r\nmt2NqgFMglWauG/uCINsAwimLKBOyEh/OwNN3ExkXQmMNn2PWbX27ikhyAmZ\r\nDmT3NfBQLYADE12qMK3xRkS8mfIAcFlRENE5UfSZtX4DTHx2sszHiuj/NdAu\r\nDtFWYWQTMprzrI5h0ChDf/mPBFSmKzbxwHldvHW/4+7mcXN1NIfQx4uCxNbV\r\ndQ7WbeF0jPRjTxX1+NGeJDZ9HPMx2+1bPfLsS4pUjKcSh0VjspAvBQTMXCUC\r\nGQow111+CNAbZGQyDKE5pCmKiU1dkoXcFIxcra86DtYIYRf/2WTitXAiElQ3\r\nJ34KRdcjv3GcMxqWZ2OZwTTB/gaKzK15LAHO12YUGMpLTqRql1jENWqB61Yl\r\nCZ2JRYxLb71CLa60plQxVAQ+/x1EsZDtvdAZ2e4G+Zs6PxV8AjXepc5R4cGq\r\ncHfpWUsUSxsl5+SRcsCR0b/tCAnfUeHhpoJa5FDj/9AsATrviEq9FhSMKAVr\r\nkrSsnQFnB35SdmXKPsGeMOe0S3dw5D/30Bo=\r\n=ChF5\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-core_3.3.1_1656002439840_0.8818842682981431"},"_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-core` package contains the command definitions that are used in both browser and node.js versions.  Depending on your platform, you should require either `lean-client-js-node` or `lean-client-js-browser`.\n","maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"time":{"modified":"2022-06-23T16:40:40.113Z","created":"2017-04-19T13:48:58.479Z","1.0.1":"2017-04-19T13:48:58.479Z","1.1.0":"2017-04-27T07:43:30.068Z","1.1.1":"2017-04-27T08:01:01.425Z","1.2.0":"2017-04-27T09:29:21.619Z","1.2.4":"2017-05-03T14:25:47.079Z","1.2.6":"2017-05-21T11:46:00.887Z","1.2.7":"2017-05-21T11:46:44.495Z","1.2.8":"2017-05-21T11:51:22.861Z","1.2.9":"2017-06-15T08:42:44.536Z","1.2.10":"2017-06-15T17:47:51.309Z","1.2.11":"2017-06-30T12:05:37.922Z","1.2.12":"2018-02-15T14:15:10.377Z","1.3.0":"2020-06-08T18:50:26.121Z","1.3.1":"2020-06-08T20:45:55.254Z","1.3.2":"2020-06-09T12:01:10.719Z","1.4.0":"2020-06-10T17:45:45.632Z","1.5.0":"2020-06-24T10:36:27.948Z","2.0.0":"2020-09-21T08:32:53.792Z","2.0.1":"2020-11-03T08:37:53.818Z","2.0.4":"2021-06-24T15:03:50.690Z","3.0.0":"2021-08-16T10:16:38.245Z","3.3.0":"2022-06-23T16:07:44.658Z","3.3.1":"2022-06-23T16:40:40.008Z"},"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"}