{"_id":"lean-client-js-browser","_rev":"38-fe1ecea347004ecc76fc1cb19b77ff9c","name":"lean-client-js-browser","description":"Interface to the Lean server","dist-tags":{"latest":"3.5.1"},"versions":{"1.0.1":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"^6.0.69","browserfs":"^1.3.0","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-browser@1.0.1","_shasum":"55930199445418ad332e8496179b5e423be1b665","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"55930199445418ad332e8496179b5e423be1b665","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.0.1.tgz","integrity":"sha512-h7b4eCA1sUUvsJZ6DvHuWLf5dbR4FwlxZntb9Rqq/WQgvHHBThuDqtaZt6QatqlHIRhU801rdSgqK++EEs2kzA==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDEyCB6HJk8YzN6OPSNN5fvSVbnNENOXJOt6YM9fVoEkQIgDlN/tR/pgBAV0RhcB/60jrvKqUiINz9e1Vv/MLRhFuY="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-18-east.internal.npmjs.com","tmp":"tmp/lean-client-js-browser-1.0.1.tgz_1492609741102_0.9958541919477284"},"directories":{}},"1.1.0":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"^6.0.69","browserfs":"^1.3.0","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-browser@1.1.0","_shasum":"95b32faca72752e302a5a6fafc72235e9d16b8cb","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"95b32faca72752e302a5a6fafc72235e9d16b8cb","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.1.0.tgz","integrity":"sha512-EQSdBZf0+7G8S4k3nrZLMEC9gjg0JIFCLYmznUmhgnr8YVb9e/DgeOL4Gunkm52iHgMcrN1K+osO7VNq+AN8rQ==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCGdeNZA1/moFz5gCeT7/ieaAo7+1psxZaOXUcg+x3b+wIgWuaKcgC0LxcEJSWQXBD3fRCvgA3KncvB+9TIB9Ugn7g="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-18-east.internal.npmjs.com","tmp":"tmp/lean-client-js-browser-1.1.0.tgz_1493279011548_0.6236084646079689"},"directories":{}},"1.1.1":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"^6.0.69","browserfs":"^1.3.0","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-browser@1.1.1","_shasum":"e355ffdcfdfd27ef2bce6715207e46aab0017ed5","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"e355ffdcfdfd27ef2bce6715207e46aab0017ed5","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.1.1.tgz","integrity":"sha512-BPAdrChk4E4SmTQ2TMj2HY6Ojao9uqbNxdNXUO2yf+qmlojhgl9f2Wi4iqJd1mPELhBXq0wv6iy0ZvfxLVD1cg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDOr0j0cbRMFSw43mGS55PxLJXa9f1RmRDGTk35Ez0LJQIgJ+5YOG5nAfAhOobQdjypyHHsGjR7g2RkWjMbXIpN1kU="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-12-west.internal.npmjs.com","tmp":"tmp/lean-client-js-browser-1.1.1.tgz_1493280062969_0.6192989875562489"},"directories":{}},"1.2.0":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"^6.0.69","browserfs":"^1.3.0","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-browser@1.2.0","_shasum":"9ca0cdf173b410a17cec5486aee8d4d5a28caa93","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"9ca0cdf173b410a17cec5486aee8d4d5a28caa93","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.2.0.tgz","integrity":"sha512-k2vx8NN4iDvZfir4+cUS7/zx3uaNNmHirPf3o2ZaT2/6c4IlwElXaG+vJmMlkfNIt83SBF5TLDHantwJBzdvmg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDHNU2pwJ1cHxXFv1SzZAUE28Bert03RG+OUPNmrhOi3AIhAM4BZsJ3NFW5huHOtaieuKMZd55AgDz6JnjfASz43Nrl"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-18-east.internal.npmjs.com","tmp":"tmp/lean-client-js-browser-1.2.0.tgz_1493285363116_0.11663509462960064"},"directories":{}},"1.2.2":{"name":"lean-client-js-browser","version":"1.2.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/gebner/lean-client-js.git"},"scripts":{"compile":"tsc -p ./"},"license":"Apache-2.0","dependencies":{"@types/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"^6.0.69","browserfs":"^1.3.0","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-browser@1.2.2","_shasum":"3db5ab283c3b34a3f13cd6852c70e0cd0e990e48","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"3db5ab283c3b34a3f13cd6852c70e0cd0e990e48","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.2.2.tgz","integrity":"sha512-dpwHAl9cXxyeCKzpTHk9mqHqik9Ub347YIrDhhCNTE7dSg9TNN6ly8hXz8nloHoilUxBvL0qXi9tTkN/xErNJg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIGvvyO+bng1/28B/9PwO9IZQip0i3HiYR5n0dK83WVd2AiB1pVAbe+5rwZWboRCSiZAY9TTtsTXsqyITlDumQiAD2g=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-12-west.internal.npmjs.com","tmp":"tmp/lean-client-js-browser-1.2.2.tgz_1493293995183_0.30917352973483503"},"directories":{}},"1.2.4":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"^6.0.71","browserfs":"^1.3.0","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-browser@1.2.4","_shasum":"b259a554201fabcff4f7cdcc17174639c4caca16","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"b259a554201fabcff4f7cdcc17174639c4caca16","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.2.4.tgz","integrity":"sha512-VWtiwB2ptw4ThsDGHJUGMKHX09HVUpZNABX4HDKbZM6DRclEQONHkXOZgPYIyjL/AiIgqMofMXZ6vil76OIkoQ==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIAOZAJq2/JhTgiu9S04W6VOtFbbz7qhBvJpNsdT8f/XbAiBmBMZYWb6UJQbcNeLWQYn3Lo0zMp/cjzHyhz5Z0VtS0A=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-12-west.internal.npmjs.com","tmp":"tmp/lean-client-js-browser-1.2.4.tgz_1493821548832_0.6424337301868945"},"directories":{}},"1.2.6":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"^7.0.21","browserfs":"^1.3.0","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-browser@1.2.6","_shasum":"78e1e050aadec4b51ed94b57def9e57ac4f19d48","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"78e1e050aadec4b51ed94b57def9e57ac4f19d48","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.2.6.tgz","integrity":"sha512-7NTAWtWb33PzXePn5XOfZxMzmy96XWgEkTZXvO0RrEBYh5aXgcSjyls1pUwKW7yr9Q8czZXUZvPSzpDF+W1ulw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDJVK1qjyXvwa+TtndeQf1XbUTqf+YjOUj3CMymAYEIAwIgEXme0AtZFwnip5IAKN4/7xZZThFxgXRktYPGu2wJ0Lo="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-browser-1.2.6.tgz_1495367162380_0.38149042963050306"},"directories":{}},"1.2.7":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"^7.0.21","browserfs":"^1.3.0","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-browser@1.2.7","_shasum":"1144f68dc1e96b26058b83fa2bfde51553cf88c4","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"1144f68dc1e96b26058b83fa2bfde51553cf88c4","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.2.7.tgz","integrity":"sha512-EQ/9yO9EkLDU0+COpVdYubSDhgY3NmFdcm5rDzJP3b+lzSDFxFTPi+s0WvXCWGXntL5bJkK+XerEgCteLvWxiQ==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIFjWtnC5Kd+SbUT/q742COWqaovC2AfAAqZXRkaHhmy9AiA+1JW5NxNQqHojN9oE1uLizuOEmW6kjtITFBDZZPlGPg=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-browser-1.2.7.tgz_1495367205995_0.8184424419887364"},"directories":{}},"1.2.8":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"^7.0.21","browserfs":"^1.3.0","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-browser@1.2.8","_shasum":"0115924250fdfaab770aa15c6a45698ef1a60cd0","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"0115924250fdfaab770aa15c6a45698ef1a60cd0","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.2.8.tgz","integrity":"sha512-zuEIXtngTzyJNImCQasKUXi3o3/HzUV7Qi/iPp1AguMyN/axxyNFkOQiYfiASqjZmuhqpTQrEv5iIz6C6N30PA==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQD2GE1DYrOsxqU2v1KWKJpl81J7KjIUddgjJ41tnBIUqwIgLcSwo6Iuw9e5pY3BfrcN8QQAcdIQg+GutRohwDWg2aE="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-browser-1.2.8.tgz_1495367484500_0.3760111478623003"},"directories":{}},"1.2.9":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"^7.0.31","browserfs":"^1.3.0","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-browser@1.2.9","_shasum":"41a17f7f810ed2533e8fe47396361fafb9c758f4","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"41a17f7f810ed2533e8fe47396361fafb9c758f4","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.2.9.tgz","integrity":"sha512-tCqaVU0HZq7jk1QiQSXwdGBasSeeMO1L0z9L/dsHsDWA/UZDQXPuXRR//1aZSlyPhKf/k37NiNBa59ffAVMdMQ==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCICwkX8wcgfDfnsgLNPiGdrIeUYqcPC6I2Jo68lh6Vq/UAiA5TNl3feGH+ThddC48Xz9ZqZo9XqYAP1ZreZlJB71Adg=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-browser-1.2.9.tgz_1497516166102_0.6738052889704704"},"directories":{}},"1.2.10":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"^7.0.31","browserfs":"^1.3.0","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-browser@1.2.10","_shasum":"1f5588580698de96e392765578bc932f204d65e9","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"1f5588580698de96e392765578bc932f204d65e9","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.2.10.tgz","integrity":"sha512-VikVy9kcGUlsWlbD5CDduNcavAfL1nDJV5F0qAtEH2xiVxWN4Da5nxDSHcqwCi1lNfzxNjTG8VT5lK4M2jdJxw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIC7u6bmfUgz0L9EbT+2gbLeGcJiegXCYAJyt4wyzIggEAiEAsLrWG/2QMJwvPEmHx1c4dSsJgZzjA72MzBBirHaEJhI="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-browser-1.2.10.tgz_1497548872829_0.21557190758176148"},"directories":{}},"1.2.11":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"^8.0.4","browserfs":"^1.3.0","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-browser@1.2.11","_shasum":"7809382ab2227009d6dcc8714a98ad68bd9e9ad9","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"7809382ab2227009d6dcc8714a98ad68bd9e9ad9","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.2.11.tgz","integrity":"sha512-7bZDA++dax/PtayNjYqho1ww9DCWY2ajNITpBuBCEGUHo/ZLzHelJEl5wgNefZUMH/R5knh0KqpEIcmOTBvi3w==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQC6yD5HjA8L6Qo+L1YwlTioEXEiU37VecPdb4OmvKpP7QIhAMnV15jyOj32K5s5BcVWJFIdQldcxLTaNX03kOYOrIGs"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-browser-1.2.11.tgz_1498824339527_0.5912124332971871"},"directories":{}},"1.2.12":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","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-browser@1.2.12","_npmVersion":"5.6.0","_nodeVersion":"9.4.0","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"integrity":"sha512-jJlWFQtnqGDzAQUOvHsOHpFRG/sjMxA31p3dd3tFMGrT5DbRdB5Bu4KLcjA1c6C/5ii3JBmFoKGQWSwjpt5X8Q==","shasum":"db36d857ac436bcc92b3c9b3683995a609159855","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.2.12.tgz","fileCount":20,"unpackedSize":21950,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIEtgwQxAxOnsrw7lt5d0V+PvdZW6nxluXZPCQ7sujgxnAiEA5EyNqKlQARNySbss1pyRl3d9PEgs+T95EBpeGnMum2I="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-browser_1.2.12_1518704114331_0.8491510119952388"},"_hasShrinkwrap":false},"1.3.0":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","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-browser@1.3.0","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-Zc/PvyXYJSd40WhbL62FlPINCthzKi9pZDJwwYZmrpCqkLt64LJ3ySYqVbtswgjAUkWjeDE1Iobgp4l0XWYtbg==","shasum":"cff692d95f51809b20ef0d9ab7fca97a045d61bb","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.3.0.tgz","fileCount":20,"unpackedSize":20935,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe3oh1CRA9TVsSAnZWagAAYygP/2vH/XjFczopHUIRPhUG\nNAd3a8tpX/NG9j4VhTKaoowxTKQd1aBOZ096U9JkOrEFUabS2Y/sc5NniFNf\nmhXz7MZZjcyILkhHps/FJoD7dAgvgG3JRWquEjd+wo6Kc9HsyTXZzpuXqRha\nH1eBFoy1pMqGc/cRsLGh9wn6zWw05BiyNXeXdBZvFL88vOSEmXPIq0icJ/yc\nOLOaNqIadsIeDFX3XcldqrH/F/r8zdD5Kc5amLw/keBT3bfiuVktwoOhAQID\nWLtUx6ftKZDxnkENPrxSDvgL4Eq+hW/4GjpN68QCE1o4zcHbKGAp4n1ngp3i\nm6ZRqhYHpSyw1wC+I/ZHRYfoqtqhQqm8JgCKobTawjwWDd3/IsgpkVtomVrH\n3hZ44/Kw/5WVVK9LNgUvt70pdAyIfLb4hhpucVI6pZ2CvlFGM96eZPJ/tL/2\n+RX2zkEtzQPfkVB3Eda41kp6AlhdY7Vv93vpuVah2ar0htW2Qq5I+iwgJc4p\nO2yNWWdy6cVSwX1nCiOUa39yIRahzWr9rMzdcWtRliKKJ7Ejm89HVyG/ue7X\nm8JC1Zp6nchTo6l+Gg6U0bx7fgj6xU7t4YqZFjrgciBf1wCiPbPfv51H1b1P\nejbgV3m89ogbdaEmJKugqv5CrEOKS8LtzgNB6shkbqdGqxPoekRv3uge9KwN\nztwX\r\n=OjXQ\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCICIPXer0N5Ayws2Cc+pPS8Q7WDGFJagSR8MteyJADVxNAiEAq4Rz3D57heSmnI3qVZfegx5RE9cOlUM17UMUlnogo7c="}]},"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-browser_1.3.0_1591642229335_0.00256345375069178"},"_hasShrinkwrap":false},"1.3.1":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","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-browser@1.3.1","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-d7xnH0e8WG3IGxQHhnwTYF7qkpI2ofCKnxhIHjB7hgihMNaZLtuLYiDPMVPBqo/cbJt8JHdnCCGju4Yf5LtU3g==","shasum":"91211e24780b92d93e7d37ac8bf32738561d7012","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.3.1.tgz","fileCount":20,"unpackedSize":21948,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe3qOHCRA9TVsSAnZWagAANs4P/jdYFAF/sakTZ5TRqAoN\nmesUNpR9Yx/ks3usX2U9AARO78UZiMXU2y7wycEJ452xTaj9YYSou84yaiNn\nLKgFZ0IOYZO81dRL9RyUcuRfj+DyQofToQ9hZEAWlMX+P1TQEt0MfGwZkKvV\n5THt4Qf/wq6JhgoRkqNBEGP2/B1jy3G3OXMk8yoOxXbSgP0+aEtLbk9ShDrp\na0Iffj23X5Wo2iZVCuQIODacaPKTNr5Mzzk9cW8g6Bh4P8jn73cvjBZ7/tiJ\nUW78VZ6gBzCFgrObF9IzkTC8Ff8VsHT+xxULWBxKUhFgwKMeh/enkoM/p76n\npPci6gTuFbUnzanjuMH+YCTj7PJynm9ic3iJYl5iooA0nZZy8b/w6lWgwzaJ\nHY7tBu2Xo3k7YGDf9hG8LXFjqfDSov0v5XuSfkU3y7DgaOYmpyrXUOZvBJ9I\n0xFwsnOp79wyVF65A8X1nlU8O6UGkEOv+wyapfyyMnLmmoKbdAUn1Bs3/qZC\ncch6/rv7K+92XC8dpin9FLafQfpNb3np2+ENDmWkTGqzzRi7eJjQbwKuW2EV\nSsiO6ZN48BtthA+miSyT/aDe6rVNZGZbjqLX2Cjc+9gud9GPUMHlBX+A+1H9\nXPYMa+P1koDOUuTz4DiMFszRIqeDPhwj0uzKQr94ayYE/GrNCFhtFGwtLArA\n+LOf\r\n=LTxk\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCID7dTtOC2oSDXHXzXav5d4Ipem4jvyKWmjJ3Zt+KKmhxAiAUW8GZB45nJJDCAgeuh3aWPj5GU3nWAszn58wpW8KMHw=="}]},"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-browser_1.3.1_1591649159025_0.6516708989484263"},"_hasShrinkwrap":false},"1.3.2":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","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-browser@1.3.2","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-R7dJfEzfB2MeHxJ2EV3abh2YmoD+hU8kJkFw8IL9bUjXadZ5CV7P793SupUFtyvCAj+sN1iHpDhm43EflY0YTg==","shasum":"62fe7e45d5dacbfd5fc687b9afdbcce418055d0a","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.3.2.tgz","fileCount":20,"unpackedSize":21948,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe33oKCRA9TVsSAnZWagAAYTIP/RY7s6n51+gqtyqA1j0O\ndfgropTjWe/qkPu7DbGMk2bPb/WQPcsc/ZzwDWMTiTGfyGab8RIQnGEUGxYP\nIeqkRIdHq+xyCbHbd8XF8Q/W6vQjFuAXVc7TGWDCI7BGMrRG+IRoiaLX2DjG\nT5Ggxo34kkoE1qRi7CwhSNd0YeS/V2B7dznnGp+IkbZA98OUtiwoAHhrDos+\nhaLxl4BwAYgtWNKZWaAkYCc0f1vfTICGbApIcWxaPmIemMqQ+I1vkk5LH5aY\nWht5DFdRnjO8mGewsYmFvPBCb7NaC0Nwo8CdDcC10R+HDjBROHVPPAw8UrjS\n5m2U6U1bWpmdMf85rLkdcspat0721Fsh87kS9EwT7jBS23/TgF8qYAlLYt8P\neMhVmTeEsQ3JIszdOSWgChhDDNjwjXZ6ZlnXW+KKjWSwNkB5pa7CiC1jqpLn\nTnZVIQuAz7NinWFBPAsLILhJiC3yA9CYNxrNTqrPAHHyuaEcd386OrLvlz+j\nHD5iiYVz9xqpon3Pm/EJmfXwMCSALHL5FRamm6TZ8bjH8Xs5PilYU/7d7PQ6\nexP7LZEUaq1jpzDuCBb8t3fZ/skhU4fynKPeocXN9oP2uZworiWAQbScKhjI\nR7cR7346QVucGVmHi2Kq0jXNJcSHl0BuoGrX4JTmUgyUdW9/5jg2N+XIdHjK\nZxu2\r\n=7/QO\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIAyuYQ3o5nciyfXwJ1rqUZV1/afyQd2AidsELiDWLlbXAiBaWq0JquFe//FLpJmHUW2iH0HL2A//Zde/nAQnDgJhMg=="}]},"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-browser_1.3.2_1591704074127_0.9319516716187193"},"_hasShrinkwrap":false},"1.4.0":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","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-browser@1.4.0","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-eqyWLnoXDEA0tBVcwVwbDeTWe6rNBuHPNFBYeR+YsBN6lK4RTT0DjHN5Qr35Kw8IRqeaR5B0GoqknWuAv7TpDg==","shasum":"899c8ed983aeb7cb76f1b61de5a492fc124099a9","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.4.0.tgz","fileCount":20,"unpackedSize":21948,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe4RxOCRA9TVsSAnZWagAAxjQP+wWl9jJl2S3x/I3HaZwU\nePk4r1+7SX4fuBlFargKhBI0YNqx48UjgQW/xSPiwOXCL2g9eKSyX4a9b+3n\nntH1G9BFyV8mSbzUMFrWp0mOI4LbZezMpHhs+25o0Y6mi0Dxu00a+vIo+Ann\n0Gxf4h3iU38QR236kh9/9QHnhU60LYe9+Uf8GJefEl9yd3c0xWGm82shm80H\nPZtapOA9o7vmR1qIoZ+khsx5NLsAc7Bmt9ODqXEJchzU1KJeJtr8zN2W38Il\nh8cF2Ngd4lytGCwhK89XHPSNN6l4YA11irKxVgKfto+F6oUsvd0qiepGw2Xx\nATJ+BmTZsJmpJc5/qamt6aJIGcQdPJ2f3dxZW3/UwJFqTq4wT0CjIvlO9U95\n7vkAdiY6VMxGRxfTwdiwGHFHD9PjLVf8e4C7DhU2VfyjCRjg84H/l/oFk60R\nQhVirZpeE4qBvtr8cU/95BsMGL1+Pdr+/hTYgzaYli+BSQdEtEgdNYWk20kw\nleKiyJVwosqJiGjYNSq7sIe5nRNUIG6c2Ow7Am6KZ1zjlpUx3bLXs1R94JDo\nfWrNuAvd6krru/mraIMa3ZdxAutwpz+OmIy4GkaWnXSF32BLZOknaku0y/9D\nV5jDHhuhhH6EBTZUQaPUz6qjpsV2EguNBrxYGt7PTfzuw5E67EyywEWro2up\nsc3r\r\n=H2fM\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIGGCA7aNfd5CXJHkfDJqT+9lod+W5BgkknikIN5AtidAAiBksn4KOhtDl/ro/IrfzDUTZl4hoz4J6nUrMO01Lofd1A=="}]},"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-browser_1.4.0_1591811150366_0.32804338156531276"},"_hasShrinkwrap":false},"1.5.0":{"name":"lean-client-js-browser","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/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","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-browser@1.5.0","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-h1kYscw718TrhE4N8HM6D26MQLBVo1ysrlTJ94WEvBun7kqopAVhjwZU6k352uJSgaeL/nqiLsmqrYzjBuNI8A==","shasum":"c668f7ab870c55868e6a5c5c61f50c9b62db8482","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-1.5.0.tgz","fileCount":20,"unpackedSize":21948,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe8yywCRA9TVsSAnZWagAAdcUP/03gvZlj8a17FwvlXiFc\ne67KkdBEJgGu2d1F48fyGB/rWmlnYhTlfsh9Cd9NtQu8KlhcE3M5ihehdZZX\n0jHR8Y2YGYPkfXICCEZWfCOIdiHwh9SuDogGS3aW2bgITj3t5fJBYWQvp3eh\nNxlaigOx6ES2FiMVL+Y3/RH2dJvGjqPjKZdfW1mVdFf1aPCtESPeQStXwBy1\n0GWokqNFda3EOTR4c0zNd+7pXFYbOkQF3qBfMZAoGTGRUCeJjwTn+6x5orHq\nJB7uyF6rbQY93xcX7oOIyPWhgGPcqfwflAayaMoIFAx/8KiJGmo6oihzQH3q\nvan4ituWmFhi1b/2eCmhZZsmY4MpL1HcPF3pafcA86809ApZKply8LFpEIg/\nMBcbvk1U8qzzn41+f/Hfz+/nvRNbi0FoHL98FTgdHsUMjA2fduPTgBAVAulg\noyyefGoUvuZaJpOz2MW7p10zZ6L2URqaPxBQXR03Af26LS6R92lu/G+ECPuj\n0zvDF/A9i7z9GOTB/7IdF9ZrqwWAYFKEpoMf+0Jid2f3hZ4r9GWFtKwZ5ItC\ng/eT95e/baUDlSXNUXGB5TbZ0UHqkOD8e4yawqeb2USqcJMlqDdC0E2VVukW\nNbPAisLe3j0qhvFmbRuUh+a7ymTFrAjNTkiYlnLaaLwNZ2dDYUZEkLfeU7tO\nuoYL\r\n=DB7B\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCjGoHnJDwM+9Cox32gT7mt6z8LFfcOpURnrR9DJcIPtgIhANesp6z9b4AY8vnph0ILgwboWhgbAHt3ZPynw/RstvhA"}]},"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-browser_1.5.0_1592994991582_0.3199768169603159"},"_hasShrinkwrap":false},"2.0.0":{"name":"lean-client-js-browser","version":"2.0.0","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","unpkg":"dist/leanBrowser.js","jsdelivr":"dist/leanBrowser.js","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 ./ && ../node_modules/.bin/webpack"},"license":"Apache-2.0","dependencies":{"@types/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","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-browser@2.0.0","_nodeVersion":"14.8.0","_npmVersion":"lerna/3.22.1/node@v14.8.0+x64 (linux)","dist":{"integrity":"sha512-sOYODLPxx5vnK6HiA7L0eIsrlKQmb/e9NqSfv8B4PDuntDEpXZAZJ61VvUcJOWNhvHmtAarQImlHe0Kd6RhPtA==","shasum":"ca500718dc927600a5889f36355111c46c2b3321","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-2.0.0.tgz","fileCount":22,"unpackedSize":40121,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJfaGU6CRA9TVsSAnZWagAA8Y4P/0c+enEH6nSimg2mxU9g\nbcykgt0elalg6uP3w5yOmVS17ucmbrqK60pOgVyiBKL/ZhraX3zzgJPh8BHC\noTueT4x8xdEuqZ17KDRagnAfjNQxWXyNfU4WEdOWdwuHonB1p+IAIQXPF8O3\nvBX2ehZOtxOMXGVshbvWy8WdbqJuQ23wAsoFPl0M4u5iu0VuKS0/Ra6DCeNk\nfhsTlmmy6nuaiK9QpynkpozhrHqlu69w5C5IDBhSz7Qs7oJCtSPL/SGJGWON\nb7qnl1AiG2Et42K+cS6xWD0ADjaHjOVKebkQmgJwIpx0OUI1cg7ddw5uxhvu\n9IsYbrv17hls9WC4LYqS26g9pQi2hQBxzYFpqDG9WqrKpzzKfx6fPVeo2gvE\n1p8i5ang6qL29H+ONu/9+GNuvDpPqu8PTnDGO9r15fgx/M/F5pxKFMKzrcQA\nu99+2N86KfebX5mX+aeLvlz+JUBXVB2B7K0LIy0nkFbPc3lR2orXQE6TEVKf\nebk9g1GVNwOXCiSqzRQk74WIE5DPF4SWD9US5+4d94EZuib2vd0/v15OQxKi\nihcN6SiY1AkidWLp3iU06ncM76f+UaIhAgzK/x7I9m7obnEn8urnT/Ni5gNQ\nC1NV4zjs/GwUcFX1bWRmtUbFrQ9rKX3p8lTJsgOevY3+Z8qlTh62ovH0NI1+\neva+\r\n=/fSs\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIA/CVM9P5RTecJ9HhJoGkbrMpTk4erP3CCCWqaNlAaRbAiAtg7SEL/fGtQc/L9pyxhGttoDXOd5MQ0Dq8xWmiAJiEA=="}]},"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-browser_2.0.0_1600677178290_0.5776479373324754"},"_hasShrinkwrap":false},"2.0.1":{"name":"lean-client-js-browser","version":"2.0.1","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","unpkg":"dist/leanBrowser.js","jsdelivr":"dist/leanBrowser.js","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 ./ && ../node_modules/.bin/webpack"},"license":"Apache-2.0","dependencies":{"@types/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","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-browser@2.0.1","_nodeVersion":"15.0.1","_npmVersion":"lerna/3.22.1/node@v15.0.1+x64 (linux)","dist":{"integrity":"sha512-Xneb9fetwckh7LW78OPQJH+Pdo54BQnlHEuORMXTlVfveQy1mtZzKO/Y7Iv/5mhrFjgLRJOsrI0pj8m/Jms+Gg==","shasum":"179d03d42173452fadf8802c089fedf261134f80","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-2.0.1.tgz","fileCount":25,"unpackedSize":175997,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJfoRblCRA9TVsSAnZWagAAUFgP/2MBxtKAq80zD3mwyJBU\nCGbaYP9hGXLoEWZjRroYi+IYWf6t6kMEErk4ZDy+tKQP88AncV8IGjHtiguz\nL29LLaQaTE4c6Lvw9/6fTUFOxN7ketLF1GPex5knFG079lCf7ZtTqHndnaje\nqZPqsXinDpIsSqJxXfAb8f8VCXM98e83Nw6ZsP/ZEgYDPTlKOF64SB9J9BTZ\nozkhJpvL+zuOZGffE/+cr5Bqh4llDUKSCpzvtkuGUV5SjBEnMyajNnV4DUqc\nWplCSi1iRrGyQe5qpSIq+OJXQgAC6rbdQz4zaSc8E2iPjVm9XjUe7HykvJ4+\nYQaEZfwKABALfkxOrrGBaZz23MspkVfy42Dqn+UOB4kb3XSR3T2OifI2kJAY\nOBi0j23heOAkiv16Y7qJwAoe7BDC4zYXEGHC01yZQBxaLI6PixfoVMjRjGsz\nFgvJLy4WOTUDLex6E6L4gZL9z4QGl+lzPQ6jOhwJKJOArTe9PU0sn/sflUOl\n5GNZC6DdJLMUWOysEMMjeLiBTenFR+BJ4IfPHpId9WfO4fGPYL+P31llTgF5\n8oW7nWDfbJWBcG+TyKGx/oEgp654jhBvBpKr5jTg6a6O9596H5l1sQQJ5sL3\nnt1g6VfyeUFrYcGASAXSOEbcbojpNpPVDEMTTt8fyGHJR1ywEtOvKlMTYxE+\naoKJ\r\n=yqcA\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDYstNat8agoMesPy4QU4+AqjGVRsuzfelFWAwFgwNCdQIgBS/ONTilsNhRxCp29tiM8i9aCZHv3WtEsCt4avwe16Q="}]},"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-browser_2.0.1_1604392676758_0.23707782578990355"},"_hasShrinkwrap":false},"2.0.4":{"name":"lean-client-js-browser","version":"2.0.4","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","unpkg":"dist/leanBrowser.js","jsdelivr":"dist/leanBrowser.js","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 ./ && ../node_modules/.bin/webpack"},"license":"Apache-2.0","dependencies":{"@types/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","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-browser@2.0.4","_nodeVersion":"16.3.0","_npmVersion":"lerna/3.22.1/node@v16.3.0+x64 (linux)","dist":{"integrity":"sha512-HwmGdI4iAb2S4rpBAF0SCt71acZeBI1vKKaizuqBHPzWsqt+/OvPWRSBDwRItBpdrMOuyO7JSoItxUnElznhdA==","shasum":"91f677b5753fd93b869bfb1125275e6c2d844406","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-2.0.4.tgz","fileCount":25,"unpackedSize":175997,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJg1J7bCRA9TVsSAnZWagAAUeYP/iEufHABUfpRM2vtFuQd\nvG/QBuVMubcfpur62IA1xwD2ygho6aUMa5hKUNYuZ8TFE5UH59hlsI6jLNzp\nLvwsYrIw/dnHsUQPBPlpB5SJKdT2b1UBvwFKkxN2UfR3NUlV6onaLmPwEYl1\nUCL/j6N0+MLUqZEm771GjYL8mXN6QftV032yQehPyRqCaFsSkSO1CANDbhTf\nF4iYswvpCmm6e7d4EAOVLIyv+BpEnZPrzLVFIhGCNFukeghcWi1/ymI/b2QT\nHkgGyoXCVAzMIMx9p7pHQ6APRj526u+ahGtY7aNM/mtIM9jpBaNUu5OYUypJ\neQUT9IT5UgquXia299nahyF4POxRRXwfrq65WaQja3KKaBESOfgMAIXyyfXt\nMtNNXkVQfVdTkdeP2ErqbiKRpQ0SkSh+7F10oY68/GXWK21JDqq+eQlJ36C8\nHUeHraU9C+MXL+1/tUYY+e2uBtkEtiLBa6KnEFHeblnIdzCMGDibbwidVtMK\nDOFPlyBxmiwvqAEXecH1IYc0vBMJe+/3+7MsYoOfMdZeoUKSK9aC1KhqnPhZ\nD3gvd4l4m7Br/lAHthOppPhgYibUs62ITcmfILaW1+4AKKpsT00P1U9EzVaT\ne2mNl55J3JgV1jlipY0OGM9eW92QpBxe0bgT7mSgzz/4UqYYetz0iJAdLJai\ntJzj\r\n=LEfx\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIGFS7xzfcAmX/e161r6U9fP01JMcFXoC41dzTexFTo5WAiAp4paYnaGgYesveB/2NOMqNWN6pCtQqbAYbZ907Ea3AA=="}]},"_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-browser_2.0.4_1624547034576_0.7449751386240826"},"_hasShrinkwrap":false},"3.0.0":{"name":"lean-client-js-browser","version":"3.0.0","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","unpkg":"dist/leanBrowser.js","jsdelivr":"dist/leanBrowser.js","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 ./ && ../node_modules/.bin/webpack"},"license":"Apache-2.0","dependencies":{"@types/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","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-browser@3.0.0","_nodeVersion":"16.5.0","_npmVersion":"lerna/3.22.1/node@v16.5.0+x64 (linux)","dist":{"integrity":"sha512-5y199A6WUk6NcrEA6MONzXiiHBWLaj6mziLi6oPIR+m43k0tnPUPJ2i6s5Bqb2bcFodzomP3hV06kEAA5tLcZA==","shasum":"a6f23341dabe2dbb4ec7ba0e53da20613140572e","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-3.0.0.tgz","fileCount":24,"unpackedSize":49092,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJhGjsKCRA9TVsSAnZWagAAtsEP/RW22kgwIVcEv9nNWdXb\n84kd7VzJJikeANq0gOwkVWMFxfIhas5PVoCBozOSfeC/OR/9R4Xnu3zjdjR0\nLTsAZXjSQlbHTrxtAVsIAoWEBatUcgXRWitu8Q5qq9CxyfNex4cBki72TBri\naUjqX5R1h42p5xrLYQWxSDhM4aJ/CXVYyAm0gJOXs1Xoor/fsBidn6OWjaTg\nLfyi8YjaWtq+qQQDbNQ21hkOgBwPjzMfxbAafZYMGQKx2X98eWzE87Yd5mnB\n9JKu0lF5mcq2gSVys1+t9OlR4YQ5vyp5h43QuTk4joGzJ4DqhAmGi0OcdGAL\not1jm/AMC1ij/YNfMl+bDxUjavrVuD2l2F3fjAIWc9+4wDhMS7MM+gW+HxVu\nc/Lvn8TQqXYvIzKeWwG8uXLh5PEnHRn9enAcnGOdGCCcDu5U1b4KzuiOXmas\nADzP+P1tRIXm2TR6t1xy+BSELl+ba/PQ2FV2tkHMngxUnMeCYlZmG06j3NF6\nHKQX87gl52/VVFYwppgz05oDKLHdJPFW2+8OQ6GmY5B2ujyL3Wq1wQhjJIeP\nUvDxDEwiU0TC8OqqSwwnXpzNSVoXI+rgaNRTCZuCtguFOddeih/674BsJ/kH\ntU5CRhB2seHLc9jcUati9BeyUm2IvcGo0Vp/plZ72nb4nBJraRhQa85AeTar\nTGkA\r\n=7RFd\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIGxfm+VXmc8Q4m7/gOSFZ+06MoOocZbvJEocx0jgZh/nAiEAyJ4lMUucrBACELJDc9QW+yS2MshpcyZibIwEtF6Vcxk="}]},"_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-browser_3.0.0_1629109002005_0.9153520427945718"},"_hasShrinkwrap":false},"3.3.0":{"name":"lean-client-js-browser","version":"3.3.0","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","unpkg":"dist/leanBrowser.js","jsdelivr":"dist/leanBrowser.js","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 ./ && ../node_modules/.bin/webpack"},"license":"Apache-2.0","dependencies":{"@types/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","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-browser@3.3.0","_nodeVersion":"18.3.0","_npmVersion":"lerna/3.22.1/node@v18.3.0+x64 (linux)","dist":{"integrity":"sha512-QwsmoS6RCTfTuWLPpqgr1YrIEx/0YnwWumGftG7q7/t18KX01oaO6pUM8ZyEpwavnYy3Yuay56fjIPMILyYaDw==","shasum":"5741db0da7cf65f7472b8b0a82a920c165871fa3","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-3.3.0.tgz","fileCount":25,"unpackedSize":60442,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIFY/3UV7FO/lx70jn14hq7wODUGrnaYFg75vCKRMb+FlAiBeulRK8nAJrMULohqBGfWj+nhOPnfXoINFgg5fv42tIQ=="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJitI/RACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmrT1hAAjer2CkUg3K3DPMdUEV4gYhzSr9D/kuNjhJRDCjd96ro1hDSi\r\nmEVh54+KjHLcu1mc1BvsAXtA2Pay8X1ERDUCosurrt0EwWAIIosxnQC7WOJl\r\nP812moGmICrV5IBVYgSQt8iR+7Zb3ISbxketUh8CRGQje69X2EkdMzQcOg0F\r\nYNs9T+clY/KuwOV65YcGLrrIn6T/o5gez7XSTU/XK365XhFzyuMwhws7ME6Z\r\nHoZ7zOWWuD9e/zyIhyFjsD222Twm5pMzm0OdueEWK3wG8+s2Fp1NOGz22KQK\r\nOVRFpW9kNEPVRoO0mrcnc/YJsvX5pe6cif+SsQPrhemW9Hjv/niD6hEZZbNz\r\nOHCnlBizHIV+yJdq6E5e8REJ3XwzK5x1J6VlEdas8s6BGU1ZGklwUIi6PZQm\r\nPq4/pbVYdk+S82PSQNtka/D77QYRKS8HRO+nOOFhSVoOBGqsy/lKX33q7rII\r\n/GADVoSSbVLcmqQZYX+c+bPRNBq9yFkNstehiN5C3ydxEWR3Sfp6UKdPoJOm\r\neMUyjthqWiwz92Se2wJMkOk61N1hQeI+cNrz22KqN3pVwgyCAwykx3pGUXI6\r\nJ0ocsMaqKe3BhmhOM2z7LPXVNynbm9i7cyYkWz5ohe37WagAQVj/qSRVIw4a\r\nNVemDjIS1Vk2H7ND+86BrfGiyUuo9jO1TYA=\r\n=ugnr\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-browser_3.3.0_1656000465403_0.43625478280009444"},"_hasShrinkwrap":false},"3.3.1":{"name":"lean-client-js-browser","version":"3.3.1","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","unpkg":"dist/leanBrowser.js","jsdelivr":"dist/leanBrowser.js","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 ./ && ../node_modules/.bin/webpack"},"license":"Apache-2.0","dependencies":{"@types/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","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-browser@3.3.1","_nodeVersion":"18.3.0","_npmVersion":"lerna/3.22.1/node@v18.3.0+x64 (linux)","dist":{"integrity":"sha512-Y2RP4+msYUEt5cJqFVPHI3jTL+cUa2Os26nbkIcyYyf2CbQ6N+XUqINUKm05DSEUKTJLH7+I55TrFqDU3M0oQA==","shasum":"a9f5c2369f1c9cfd2fcd86d4240df805d7dfd84d","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-3.3.1.tgz","fileCount":25,"unpackedSize":60442,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIBM3ErMTZFnblIIu4x4oOEs1oeuMyNmFCbwPvGpF14ehAiEAigzxnKTrunxd9/7Zq4DnlmT9Tws1mN7U9Qj+J2vb8pI="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJitJeJACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmokfhAAhn4tZc/XFKCgv1suhdzp15f8EoJNmhbK+fPMrSHxX9eP74Pg\r\nWjOsj1oXBuV5eWfoxVX0/gqSFBcMewIE1hdX6j6DUWToxeM1sQ653yHP/uxd\r\nke5gK0pbvtlPs6bPVWcoWQ5zufHtrUPY8Dbirj16fTshPADXJd8qvOXCgbjA\r\n6CznA3L9XBU91eO4F8m79Uj4NHTSxaU/lqkqqJzW/OTYr3Hy8YB3ViAl6J6y\r\nh4Bq80qC93goU76ESH2ePCZsWUkjs+rxZ7/XsUjFKaDhL06guTofogP4lPaZ\r\n6yPaexfhZEGDxLMoxo49KPfYcMEJlDXywnqYx5D8HDNBrWYsV0hdLNMeiyL5\r\nh0aTN8ivxkCVlhb6tWYztuIdwaJY/s/HR+giDr2egVy7wsXQQn11RAdPEkDD\r\nyefLdQ0l/Rp9VLRvAVduiQhSQQ6PKfYSo0SKgEFtZ+eymdnZMs2En8Fi6nt5\r\n11oU2HphmCdlUTEEA+XZYAucdqau9uqGqOcSauHET0b9j+2JtWSkdNV4Ne18\r\ndTqDnliqOSg0t4Ug1mPMRUNg+mp9T2oVxP6YADyqWnngIqr1FHCj6HRssBWS\r\nFuNJ/93lc7DIAeU7hlNDycKo36IBuHNARjNjGfr9s35jWpcXigYEJvt7NppY\r\n6Tq1aSKeBoShzUYU4Z9sKYlHOn/sNCJRVyo=\r\n=zHOw\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-browser_3.3.1_1656002440937_0.7265255434497999"},"_hasShrinkwrap":false},"3.5.0":{"name":"lean-client-js-browser","version":"3.5.0","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","unpkg":"dist/leanBrowser.js","jsdelivr":"dist/leanBrowser.js","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 ./ && ../node_modules/.bin/webpack"},"license":"Apache-2.0","dependencies":{"@types/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","lean-client-js-core":"^3.3.1"},"gitHead":"2e919f52eedc5e32cb8c11552a0edfc983a133da","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-browser@3.5.0","_nodeVersion":"20.2.0","_npmVersion":"lerna/3.22.1/node@v20.2.0+x64 (linux)","dist":{"integrity":"sha512-jcJRaCFb+JjhIYP71iCc3wOqriPolIIiJOeGwl146mMqsmWIK2dpTdy/oaL8mW/USaOZY/WtkGlM8Bp5ycQuSg==","shasum":"4c480a773ed87787ef157ddfd7ae9ba7a1f994e2","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-3.5.0.tgz","fileCount":13,"unpackedSize":41492,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIE72WNRz2Oe5T8ojTxS4J+pPCyHo8loBZi+3DLjxBLbQAiEA4IwpPBGEiz4vs/SZaFEdMRwMCpYYltLT2e6LF+j4FQM="}]},"_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-browser_3.5.0_1685499544647_0.663939102334961"},"_hasShrinkwrap":false},"3.5.1":{"name":"lean-client-js-browser","version":"3.5.1","description":"Interface to the Lean server","main":"lib/index.js","types":"lib/index.d.ts","unpkg":"dist/leanBrowser.js","jsdelivr":"dist/leanBrowser.js","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 ./ && ../node_modules/.bin/webpack"},"license":"Apache-2.0","dependencies":{"@types/dropboxjs":"0.0.29","@types/filesystem":"0.0.28","@types/node":"=8.0.19","browserfs":"^1.4.3","lean-client-js-core":"^3.3.1"},"gitHead":"367b1de7e7c0da7730320b8a1d3057b0427ad42a","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-client-js-browser@3.5.1","_nodeVersion":"20.2.0","_npmVersion":"lerna/3.22.1/node@v20.2.0+x64 (linux)","dist":{"integrity":"sha512-b5qtw0zIJ/kCT5DT35FLW8Jso5EwX8sdGi9R0QaKB6/K66A4+PX+xGBRxsn6wshZc9JjcgoHacEmoDk5FKaIVw==","shasum":"24687d2faf13a320790e27b308310a604546dc5d","tarball":"https://registry.npmjs.org/lean-client-js-browser/-/lean-client-js-browser-3.5.1.tgz","fileCount":26,"unpackedSize":187546,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIDoiFTLZIgGbrj8c54LejGpfXVXwGdHqpox7J0HF9vC0AiEA/ahynaWwuSuO1/X/uqqTaaZ5VzrFC9ib71grjE0FQtg="}]},"_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-browser_3.5.1_1685499674138_0.00414090970067682"},"_hasShrinkwrap":false}},"readme":"# lean-client-js-browser\n\nThis is a JavaScript library to interface with the server mode of the [Lean theorem prover](https://leanprover.github.io/).\n\nThis package contains the web browser version. It communicates with an Emscripten build of Lean in a WebWorker, using WebAssembly if available.\n\n## How to use\n\nYou will need to place the files from the Lean Emscripten build (downloadable from [here](https://github.com/leanprover-community/lean-nightly/releases), see the `lean-*-browser.zip` files) and a suitable `.zip` bundle of `.olean` files (see instructions [here](https://github.com/leanprover-community/lean-web-editor/#creating-a-customized-libraryzip)) into a subdirectory of this directory called `dist/` for the demo files to work. The `library.zip` file is cached in IndexedDB to save on downloading, provided that its associated `library.info.json` is present at the same path.\n\nThe main class is `WebWorkerTransport`. The constructor takes [a `LeanJsOptions` object](src/inprocesstypes.ts) with the following fields:\n  - `libraryZip`: URL to `library.zip`. Must end in `.zip`. This field is used to generate the default values for some of the optional fields below.\n  - `libraryMeta` (optional): URL to `library.info.json`, a JSON file whose keys are the Lean packages contained in `library.zip` and whose values are URL prefixes that point to the Lean source files. (default: the value of `libraryZip` with the final `.zip` replaced with `.info.json`)\n  - `libraryOleanMap` (optional): URL to `library.olean_map.json`, a JSON file whose keys are the filenames of the oleans in `library.zip` (with .olean removed) and whose values are the name of the Lean package that they originate from (default: the value of `libraryZip` with the final `.zip` replaced with `.olean_map.json`)\n  - `libraryKey` (optional): name for the key used in the indexedDB cache (default: the filename of `libraryZip` with `.zip` removed)\n  - At least one of `javascript` or (`webassemblyWasm` + `webassemblyJs`) must be provided:\n    - `javascript`: URL to `lean_js_js.js`\n    - Both of the following fields should be provided to use the WebAssembly version of the Lean server:\n      - `webassemblyWasm`: URL to `lean_js_wasm.wasm`\n      - `webassemblyJs`: URL to `lean_js_wasm.js`\n  - `memoryMB` (optional): size of memory in MB provided (default: 256)\n  - `dbName` (optional): name of the IndexedDB database used to cache (default: `leanlibrary`)\n\nThe `WebWorkerTransport` object that is returned should be passed to the `Server` constructor. See the `lean-client-js` library for more information about the `Server` class.\n\nSee [`demo.ts`](./demo.ts) for an example on how to use this package in a TypeScript project. After building, see `dist/lib_test.html` for how to use this package in a webpage.\n\nSee [`leanprover-community/lean-web-editor`](https://github.com/leanprover-community/lean-web-editor) and [`mpedramfar/Lean-game-maker`](https://github.com/mpedramfar/Lean-game-maker) for example TypeScript projects that use this library.\n\nSee [these Observable notebooks](https://observablehq.com/collection/@bryangingechen/lean) for example webpages that use the UMD module `leanBrowser.js`.\n\n## Building\n\nTo build the demo file, follow the directions in the README file in the parent package `lean-client-js`. The demo file will be written to `dist/demo.html`.\n\nRunning `../node_modules/.bin/webpack` or `npm run build` from this directory will build and output the test file `dist/lib_test.html` as well as a UMD module `dist/leanBrowser.js` for use in webpages.\n\nOnce the files are built, you can check them out by starting a local web server (from the `dist/` directory) and navigating to `/index.html` or `/lib_test.html`.\n\n## Changes in v2.0.0\n\nThis version of `lean-client-js-browser` has two main differences from versions before v2.0.0:\n\n1. First, it removes the `BrowserInProcessTransport` class which allowed running the Lean Emscripten server in the browser's main thread. You must use `WebWorkerTransport`, which runs the server in a WebWorker.\n\n2. Second, it caches the `library.zip` file in the browser's IndexedDB store. The database name is determined by `opts.dbName`. This DB contains two \"Object stores\", one named `library` and one named `meta`:\n  - `meta` is a key-value store, where the key used is given by `opts.libName` and the values are JSON objects which map the Lean package names in the ZIP file to source links\n  - `library` is another key-value store, where the keys are the same as in `meta` and the values are the ZIP files stored as binary blobs.\n\n","maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"time":{"modified":"2023-05-31T02:21:14.458Z","created":"2017-04-19T13:49:01.688Z","1.0.1":"2017-04-19T13:49:01.688Z","1.1.0":"2017-04-27T07:43:33.954Z","1.1.1":"2017-04-27T08:01:04.868Z","1.2.0":"2017-04-27T09:29:25.069Z","1.2.2":"2017-04-27T11:53:17.204Z","1.2.4":"2017-05-03T14:25:50.709Z","1.2.6":"2017-05-21T11:46:03.351Z","1.2.7":"2017-05-21T11:46:46.868Z","1.2.8":"2017-05-21T11:51:25.442Z","1.2.9":"2017-06-15T08:42:46.995Z","1.2.10":"2017-06-15T17:47:53.828Z","1.2.11":"2017-06-30T12:05:40.353Z","1.2.12":"2018-02-15T14:15:15.847Z","1.3.0":"2020-06-08T18:50:29.464Z","1.3.1":"2020-06-08T20:45:59.159Z","1.3.2":"2020-06-09T12:01:14.248Z","1.4.0":"2020-06-10T17:45:50.533Z","1.5.0":"2020-06-24T10:36:31.813Z","2.0.0":"2020-09-21T08:32:58.406Z","2.0.1":"2020-11-03T08:37:56.864Z","2.0.4":"2021-06-24T15:03:54.763Z","3.0.0":"2021-08-16T10:16:42.178Z","3.3.0":"2022-06-23T16:07:45.638Z","3.3.1":"2022-06-23T16:40:41.091Z","3.5.0":"2023-05-31T02:19:04.858Z","3.5.1":"2023-05-31T02:21:14.338Z"},"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"}