{"_id":"lean-language-server","_rev":"30-bc5d16d702077dbda0766d79d12ceefe","name":"lean-language-server","description":"Language Server Protocol server for Lean 3","dist-tags":{"latest":"3.4.0"},"versions":{"1.2.4":{"name":"lean-language-server","version":"1.2.4","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.71","lean-client-js-node":"^1.2.4","vscode-languageserver":"^3.2.1","vscode-uri":"^1.0.0"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.2.4","_shasum":"aca1a6708315e3f100c147cc18040057198ca560","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"aca1a6708315e3f100c147cc18040057198ca560","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.2.4.tgz","integrity":"sha512-JiM+u7Y/etKlbwwcMaBxxg34yv8uP5MkgymMNVq/p7jtB98RRl3V4ygj19IPtOItvs/vLv4RWERaUhIruNYSrw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCrK29PehEvAS8F0JcR4kn1DBx991OJyam86WIY87egdgIgNT23689Qmne1fG5ejms0a7nLy1DvjBCoBho2lmhXz70="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-18-east.internal.npmjs.com","tmp":"tmp/lean-language-server-1.2.4.tgz_1493821553157_0.8795547727495432"},"directories":{}},"1.2.5":{"name":"lean-language-server","version":"1.2.5","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^6.0.71","lean-client-js-node":"^1.2.4","vscode-languageserver":"^3.2.1","vscode-uri":"^1.0.0"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.2.5","_shasum":"c8de0a01a6ff92ddb83b593d2a9e0862dfbbbffe","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"c8de0a01a6ff92ddb83b593d2a9e0862dfbbbffe","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.2.5.tgz","integrity":"sha512-nUkfbZOuiic3af5wTz5zTE1Ew4a5igp/medYWL1lTykfnhzugbErIa+n2b9EVgIYWiMX+gZa2IdS7hzsegNMpA==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCS6a/t8FG+A8jQ93Y3y8+DmGP2EdeNG435nOuT+tvovQIgKZ1jyQtc0QxfAfSo4W++F92K5scs85RyxcgHfEQJ4lw="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"packages-12-west.internal.npmjs.com","tmp":"tmp/lean-language-server-1.2.5.tgz_1493828410969_0.26837275526486337"},"directories":{}},"1.2.6":{"name":"lean-language-server","version":"1.2.6","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.21","lean-client-js-node":"^1.2.6","vscode-languageserver":"^3.2.2","vscode-uri":"^1.0.0"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.2.6","_shasum":"fd309b1b52caa715dc7930c2ff0f19090e46a2eb","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"fd309b1b52caa715dc7930c2ff0f19090e46a2eb","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.2.6.tgz","integrity":"sha512-sLv/u7Y8qJ7pecXxw4Mv6/qOwiperPpUdtbWLZn0ZjF5Ncn9jpVEb0NKzPhMPqn18j4GVq4uLUmZ5lKqvHpxHg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIEkC/tM5aDYO4lruAlyZTWA23joiA1fg/8nqEJnvf91cAiAvKa0F05H1GIk0pj7pj0W+RXct9D/wMlGO8GWyTF5GHQ=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server-1.2.6.tgz_1495367164606_0.916197424987331"},"directories":{}},"1.2.7":{"name":"lean-language-server","version":"1.2.7","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.21","lean-client-js-node":"^1.2.7","vscode-languageserver":"^3.2.2","vscode-uri":"^1.0.0"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.2.7","_shasum":"1dc915cd674149ba9b77b04bd10260677ba83e26","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"1dc915cd674149ba9b77b04bd10260677ba83e26","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.2.7.tgz","integrity":"sha512-e60HaGqUbJuFiQjq3O5DvJHQTjEAUzhb6irXw9a7NxGVmeAjwuhkq0t8RwYnt0P2w2xgj8kyp8Luc5sPTXJ5nw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIFFjs21ss9j/jcmcsE0U1AKD4mHsagqS35l+GrBprOeQAiAkhXg4h80cVqAGEszx5Rxx7zERxp7lLVkfrUtE/UWOew=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server-1.2.7.tgz_1495367208419_0.04865958169102669"},"directories":{}},"1.2.8":{"name":"lean-language-server","version":"1.2.8","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.21","lean-client-js-node":"^1.2.8","vscode-languageserver":"^3.2.2","vscode-uri":"^1.0.0"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.2.8","_shasum":"d7d0cf94817f13129e68e963f9be54cd32110988","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"d7d0cf94817f13129e68e963f9be54cd32110988","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.2.8.tgz","integrity":"sha512-w1Nj0wGB2WgV0+Lf2clWNYV2Hm1gBV7Uw6blSTdrvfqFEfGIjOdAXtBeGVG355zEFNNC/rz6cf5vwhzQR5V/aw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQD27JF0Hj4zk1qd4eUKLgbfzzKidvj9gvK753MD0XgTEQIgN+y+qb3nWAJ5E7zSa9+gxJjRpM2Z53AUW4WNNp7VmlM="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server-1.2.8.tgz_1495367486933_0.21477701584808528"},"directories":{}},"1.2.9":{"name":"lean-language-server","version":"1.2.9","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.31","lean-client-js-node":"^1.2.9","vscode-languageserver":"^3.3.0","vscode-uri":"^1.0.0"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.2.9","_shasum":"90e8e571de089d300a07bb0370ba2c7bdcccf556","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"90e8e571de089d300a07bb0370ba2c7bdcccf556","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.2.9.tgz","integrity":"sha512-0HPskbMJISadQwHavnhssjeeazkz6a341dBqqo+2UgNGpi3yE7/09tJPowin5P+Yg3MVTFTfxsqOsTblJsoVpg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCy6mWzUNL1FF1Oql7kJq1SF/S8cXbHZP6fDCln6vczqwIhAKOl0P4twUzI7zzUYvwINnYHfmPW+p8Y5tfgtVnwtdOL"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server-1.2.9.tgz_1497516168501_0.893973775440827"},"directories":{}},"1.2.10":{"name":"lean-language-server","version":"1.2.10","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^7.0.31","lean-client-js-node":"^1.2.10","vscode-languageserver":"^3.3.0","vscode-uri":"^1.0.0"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.2.10","_shasum":"36302e7f51190280df59c61f5b4ad7ee7de32efc","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"36302e7f51190280df59c61f5b4ad7ee7de32efc","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.2.10.tgz","integrity":"sha512-G5vAHRSASc+oDB/75wmBiAFLXl+117YSdmEOitNisvRHheBtMsMpjlSdO/iz9ju1o8WBPznyGHJ+z4GvH4LXCg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDyAlV+noT22Gy0mjeW+D1Rf0T57jIxoEjNHSFyWQbZZAIhAJEVmKSCGliYfRB5U8OnF2SIdM6jYi127ZD0KTj5GwOr"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server-1.2.10.tgz_1497548875393_0.4146577650681138"},"directories":{}},"1.2.11":{"name":"lean-language-server","version":"1.2.11","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^8.0.4","lean-client-js-node":"^1.2.11","vscode-languageserver":"^3.3.0","vscode-uri":"^1.0.1"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.2.11","_shasum":"dcef8d2f1605bbe6ce3247d872cf90be7f561b1a","_from":".","_npmVersion":"3.10.10","_nodeVersion":"6.9.5","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"shasum":"dcef8d2f1605bbe6ce3247d872cf90be7f561b1a","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.2.11.tgz","integrity":"sha512-sUcbXmtkZiExPFlw/InWKSZXY/7exqlq6i0pEYMd1LjwNeXi6bnbYDe3G62p7PUXEE7UKJ84B+d8FHxiZ4TvSg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIB2S2fvf5WB8Mbx5XXVM6zO7F8sJACjSQeKMjCKTy+7xAiA+ddCKwJFeG6FCfnuIlonDiZEbBPL9a2LCEuTpCngq1A=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server-1.2.11.tgz_1498824341985_0.42142968508414924"},"directories":{}},"1.2.12":{"name":"lean-language-server","version":"1.2.12","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-node":"^1.2.12","vscode-languageserver":"^3.5.0","vscode-uri":"^1.0.1"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.2.12","_npmVersion":"5.6.0","_nodeVersion":"9.4.0","_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"dist":{"integrity":"sha512-EONBXwL+vutcKCxzNQw7DmUeUtA5D2RAuOTmi9OC8teO7JxZPUJjt67tRBcjctwbaaaFPHO6RnS9HGlEPT9Zaw==","shasum":"9debaf36ccf1bbfbb312bf296ea342157e3c392a","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.2.12.tgz","fileCount":6,"unpackedSize":14828,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDMgeqNqTUvsy2P8P3QO8xdwPmfhgY+A376YIQzRP64swIgJWOVeda1D1qlYLoqVvsl4LERJQ120H6H4Wh6s9SI55U="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_1.2.12_1518704118897_0.6296448849330367"},"_hasShrinkwrap":false},"1.2.13":{"name":"lean-language-server","version":"1.2.13","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-node":"^1.2.12","vscode-languageserver":"^3.5.0","vscode-uri":"^1.0.1"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.2.13","_nodeVersion":"13.6.0","_npmVersion":"6.13.4","dist":{"integrity":"sha512-apmSYCi0QhchUTu5RXipatpBk2eO/TAkJI1+EVCtkiekXGjnDw6etlXVIHJFo+gZaqKDAOB+v4rBoseTQxNolA==","shasum":"e1cbb98ce29c19ee561cb07488fa75d790390b45","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.2.13.tgz","fileCount":6,"unpackedSize":14836,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJeObY1CRA9TVsSAnZWagAAaucQAJecG8sCnC60zQD41eiN\nwO5K5z4t2UPeT1YwUnBHf0OkODvCGMjd1yzUyzhhoTIxOqXp83THJoNrinBw\nZrcTMlVvnwxVPGkk2oo6Si7JSBRp0p93xX0M9rUzW9v2t4pdGfnDtZ5L+oa2\nL/dO6FUuWMSgSUkf6jfYBTpiLfbNar7I17zrH0vfGkaZf8qyaMMR3xJP8Ew1\nUpYZdFRRNeOBe8Ld+I1rbevTz1uvpTLx51HyIr6ZukSwQ2XFxJZ0WyMwkQrr\nS0FWjcOkYIBtyXdQXhz11sururbSHlUfxvoA0M9bItk4ihHqtv8yln3YYmTp\noMInRe/RopuPXKlQ4GIiSByda/LWNoEv9xwojXtWhZRSEFtOpRyMtq3UxQxq\nWhYEDc1A6/xxsFU9AoY2bnBVKDewnYrLor9F45ZUX91otkRNaf8xBh1ys5yr\nhKugCaw/Ve0jfd4h8A2YWWcaVtny+EaEI7MpuOs4YTv038K+lkV3I894voa2\nHUl24mn5YieLNHEQE7100s23SjLH4qDUzgkx4FZXPRCD7AWZ2VamAPifoVm3\nimAueZObUIsJv4AmsJe6QHAUiUXTmL6s3wm2zYwa6FTwlW6i1UY46GzCeWI2\nOJr6xcb15l2ALg9QLJZNNaudnQMs/umr8gD3TX4F/9eoxt5xaAR/pjXo1he9\nJROx\r\n=r0TU\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCICdD/M2IJs38gI5VRULuV/lseKNfmsq1XNE7NlEIwPfnAiBbQ3p5xHwRK2dI/Ng7wLHolaZfLR8sTyzcunEnPMqDVQ=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_1.2.13_1580840500903_0.5461791523982873"},"_hasShrinkwrap":false},"1.3.0":{"name":"lean-language-server","version":"1.3.0","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-node":"^1.3.0","vscode-languageserver":"^3.5.0","vscode-uri":"^1.0.1"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.3.0","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-TJbs6t/oYMdqUYuDlVCu4jC936cz+L8DgVgo06DcMIVnsj7AY214H38foLQna0pebsuj11JxQCu6ykO3yUYPmQ==","shasum":"ab7c9dceb5bdd1bc4953ff74bcc0ce19fadc755b","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.3.0.tgz","fileCount":6,"unpackedSize":14834,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe3oh5CRA9TVsSAnZWagAA8pYP/1pgY7pX56EZPl+AwlZe\nnpiRE99Ddd0Q8e8voEirXiucUJjr3WVB9UqkN4zd4ZIEassQf8QfG03Ohvkf\nwlUDGKIwmKvxfNmIrHX20JSLmJFTobVMCngOfsDFHUsGCUEUuj+Yv65oSI49\nfrUjXb7jeeBDk0fJhNYlAPbEPhvPlXb1nbkR1gBzTumID8NZ6xe6cWU2YaDA\nS2zgGgn0tWmXi47ej/yWbDtk4W9YAPRqbqx9buUw18Mdc8MjbfXfBM2dCgfG\ndABtYG6Jh6BGIB6P7AaZlqJYssUexMOGaPF6P5Ez3nto0MWhkMKBJxihk7eM\nR1LTIQdgNNywqSyrJLFgyfSPDhXpz2e6NtsKJ2+X8cvqCzkRF+BDB1vtZPJY\nExllzW4NG85RLBH3ZQDMDy9DSvY2t9ODd374+JZyKLsEzMnrehkjO7zSJFzQ\n7A8uWAbIKpuXJg4IeTBxCXbsnjfpjuiQaJUIeJAqzvYz1dhgyBYpGFjfOoVb\nikg8TDr0a8vporkV8SDa+1tY2ZcEoxS3OtO9ntPjwC9ieML0genPjuLqOB9V\nob27Is/flTplBZ1bBHmkSAa5wTL8JoS7VNuE6C0Mhavt/glKy625OrTgs+MF\nDi0YCglKnZoD8jOxtFyJkcDMNDZ94+4BTFVDj8IgA2/Qrth6uEsDzqvrD2r+\nC91W\r\n=7kiP\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQC+TT6nrCzMSDjrxzK+0NiyOJPpeGi+0MS3Isyd0gZVHQIhAJt9FCMmiUncEvlrOJO4fukGDJUAa8fOeBL++fr/P4/0"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_1.3.0_1591642232839_0.6464529015544696"},"_hasShrinkwrap":false},"1.3.1":{"name":"lean-language-server","version":"1.3.1","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-node":"^1.3.1","vscode-languageserver":"^3.5.0","vscode-uri":"^1.0.1"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.3.1","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-NWN81tgkQAHYlR3tzLQDpsfz1NUxV5oIjxuu0d0YqfngqucJG+h26ul4WLgU9YvLvg0uloX9XeEYvbAsNqhajg==","shasum":"6e7e04c75fc66850be6622dff41205107b20f9d9","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.3.1.tgz","fileCount":6,"unpackedSize":14865,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe3qOKCRA9TVsSAnZWagAA7SYP/0RG/lS8ZHE70rrmNIEX\nHNgZK+7UFYUBV49ILAyLItC+sbPGEG77ZzkKL9LRkyMTnKtYbrNZSayvFBmr\nEBTXLOKlt+4ht+lzalaNv3BbHHiEt/sY3/9ZSrlJDS971AfD6LCO8g6S5/c4\nE1A7+4M2XnzVRd2Yx7yS2p7B79acRZuBmtn8ETf6GBT3DjD/JFEFkzIN9xKR\nJNaS+tZQbFoYGH4TXbKMwNQza8dh5GLHGHMlEwHzrTtIWAEUSk7nXyqmkafk\nnrtfvXejUk+eC2Fn2s4fRqNhXRa+pUo2op9BDV2kLJK9PFB/zs8iymZ0oklD\n5tQGzfdpexIZ0edyMuVBFHpE1g44aWPAAN7o77+sBbReq8UFUjBYsRgT2pNw\npmP8XLKhp9LU5Mb9TEiESmii5dnN5on/9FaIhUp2M/w2TyakrRFfdOX3vf5H\nKnoce5aA6FNuB1KgXHSycwDnaKTxK4lN6ayh1fbyv/RLNLNj5B1xzGageRsJ\nrkahPoLe3Un5BSDnhqv4Tg7bppMjYvXeSm79JOi5KDMMbjUE6Xcqt25FTQ2c\npatxxpiLWQxigyhKrpfe5Z8Vx0r+IhTc+QqleWLUImp/87yzwuqnTbSpFLPu\n7gyihpR+eCiExUhOkEI2ZLfSszV5hHmro3+64wYoXl2xO2/CbgaW7OT0hH45\nAXAB\r\n=Qvbf\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDK1tlqNDEjyBpXgru1qeymRpYrqfSHi4TMBvq6dvFr8QIhAPvUkR2JaQjwLBZjRDPKWLycc31FlBH/AKco9Dkj5lVM"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_1.3.1_1591649162351_0.21205083884367437"},"_hasShrinkwrap":false},"1.3.2":{"name":"lean-language-server","version":"1.3.2","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-node":"^1.3.2","vscode-languageserver":"^3.5.0","vscode-uri":"^1.0.1"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.3.2","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-K9dfDKdkVI3zIoo54tIskcucGeFgRUadtKq0ZofTND7zyeA5I3RnpiJ1olQGQZVJ1hK++ej5EdpTJKsIwYA5Eg==","shasum":"89e547cadcb9aa592c22d05b80bcaf342ba40b6f","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.3.2.tgz","fileCount":6,"unpackedSize":14865,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe33oQCRA9TVsSAnZWagAA/j0P/1nv6BJDwQUTLaQ+Y4+e\n3AhF1QGQA3u/em08ZRMHaLAGD3Pn4uB5hrpol0PEPNZtNXH/8NGc10M7q/aT\nEeCJoBtRUIvH9A2nmbelWLVp9fVL6iqpFI18K1lvA1APBW7Aapxj71gzMX2R\nffFAK8ndSu8O6BL5+52zLBSFkvF7aaU7Q/m1rvp7jCf8TKd2vRwE/HPvUIPM\nL6lob+47Cx5nx11wuYHusjS82Pd0mmgv/5Qu7MxnnpMKivm8on7yUgk7W7Tl\nc3bGjQbS5BsAxuKUseMLc+8BtI6FXlMEtZ8RGR6PsBEjOiOQOJMAZiGPcBZ8\nWxP3C0SmMkgLRil0JfTXCY7zDBBH/tcQBQCTRTfUAQxpWwBKWyxoxqbrn1Cg\nSQaheYk9P7VINqThwOZqqcagLOtj6O2n3pI4Ew8WojDYR7qeF8uSg952coBq\nkl5Z4+mwBK/8oMvSMCF3ovlMfIeCCWgpvJVqSrez8gr1ya8xp0INiHePiYC6\ndMkshT7qOn5MTvyw8uOmOsU7ofW5YaOCsLjfU8Od+5p6/cVXwHayqzX9kGXH\nYtJ3XF/wydJpxUuQyuZBazsCUsJ4L9fvEro4LoAlxWllqzJXuKtSCPMsdWU3\nSi6IHBFFsL6dbDX0xyZPB6FMm8TwcCWPRK1H3kqYIt/F6Ceph1Jhcvqy+IEd\nAF2s\r\n=QIGq\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQC+9kEa5TKOf+gf5H+hrzZXnCjs5c0LjiBnwjtBCslvDwIhAMjF4SpTbHsgbCPJRutGCI5aXieJXwH8dVlnm90xyF1o"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_1.3.2_1591704079602_0.09531747282104686"},"_hasShrinkwrap":false},"1.4.0":{"name":"lean-language-server","version":"1.4.0","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-node":"^1.4.0","vscode-languageserver":"^3.5.0","vscode-uri":"^1.0.1"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.4.0","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-rJSF7MvDmbzij/xgOPpYl5P/Ac2P1iHqv4IA1EwLYmcYdUEjoNgYFc0PpG4RAvsT+h1t8QqQy+PilulA8EaiIQ==","shasum":"c0d59c6cab824fc2f6980f474b93197abd603eac","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.4.0.tgz","fileCount":6,"unpackedSize":14865,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe4RxUCRA9TVsSAnZWagAAz+oP/3yLF2q/2H/a/BZnAZGg\nmlmlqnbkrewXdK5q3iJpH2CleSLk2bFbiXpnuy007CAdEWE4kMGkC+1Y1hqr\nl81vgZ52LGJ64Lbl/WSqn7fMlfj4HVR6X05YCorVWUGx2Zw+StA1fkTgqCgz\naCG5N3Zj6gG59cyET2uqF5A7+I9EaZM1qLtvOnuY8pwD8CRL3EqbLGAdAcWE\n3P3xdzoSErCyCIm16ZDUtDn1BF9jGUcKLZabPKgn0+HLCY4Nov1ZEq6/qgzn\nwMITYhcWsIfkzId1SqbWYoX6yXUZZNe58y1VT4Msof1InTmy5fbOHPO69tEy\nGcujq0z5Xwu7l1k/t3u4P4pTfi1OClpg3wzlk1f8qpvz8qMNAi4QpnlRrr1c\n6Kwz7Z55v5vvy0mGXBkZsPvxiJPgdsd+0fyMMb+hLTFDnZ0eMN1V7qfVep4Q\nFK46yJxIfHH5wzCBo87iTjHKS14JUIGWKXV9LvLMBaAanHXQD92iKF81BpnJ\neaj2zYAs/2JHMr9JNpzsMzs4ic5xN8YeKNWy8OR5OHGAKKyxKl8nCz8yo66a\ntDQxW4hC79D0z0xhT/wWTDabMdpcXtNuWvVTj6DRfDVxv5xYgq+YxCH50BNL\nYW6GYrexpZ0do+AAhRt3awY5XSgRJn8N6ZVh76WyzSaoLBB0fDPQBM5wb3cw\nLS6r\r\n=OBTk\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIHjXznZR/vdHm5J8f8hi99yE2yBlghzamiX/aQqPDiBcAiEA1CodPadXa/zDMivIE0Y8hcONS+C/RbSf8dwlspEjiFs="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_1.4.0_1591811155971_0.37086463678146986"},"_hasShrinkwrap":false},"1.5.0":{"name":"lean-language-server","version":"1.5.0","description":"Language Server Protocol server for Lean","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 ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-node":"^1.5.0","vscode-languageserver":"^3.5.0","vscode-uri":"^1.0.1"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@1.5.0","_nodeVersion":"14.4.0","_npmVersion":"6.14.5","dist":{"integrity":"sha512-rH3LLDH7l73QuoZesZG6B9NGE87PYsZYtAncTJkDYSFZp0qxUKJSrazBDl67jK2wpbHGO1vGHaxJtx9/KnGWjg==","shasum":"46ec769ce839c95383acc2b277054b91a95125d1","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-1.5.0.tgz","fileCount":6,"unpackedSize":14865,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJe8yyzCRA9TVsSAnZWagAAfwwQAINtJWsaKKzePeNBzByX\nEOxygzePsp5GMTQ5NcWCSGV8n80Ggm6HUudWjFXeBPdQb4DN2MzSQU6ZK1EZ\nvxcuxDvxauGGmViV+8sMbVBDOXIU4gObGVUVxS2wyDKI+5f7zJyeGdW8MGLT\nTYEDZ7yP0cHcpjjZ9Gn7b5Z8leMnbgzHu3sHZCYmyu5gx3whzgeP9bAytqxT\nhl+PM38uRbCqa433uWGtmCFmsGQk4mdqD7p9+s98PKBB1WzucYbPJiq10dxt\n2txoQv0SGRzeKgmksIOZ5V0mS233Jxeoh9IFxmwqN2Jl1CDRkp8uLXxQ43p4\nCT9EJXcRY2oYOKqqyABFT6ga5sUHd8B9Iyf2b5iqEzh1GtykZCE6PNVL9Ycb\n5LahemBBE1D3UqKWMUd1ag/uANToVKY8HDjATv3zwaF5r7GXxlLOE8khpZXB\n+h3sHMvGB0ygYwapFd+0davG7l/E6tYhB4I3euNz90bwHn+g9+LucWUZeyIl\noMUpi1WvWaawyWcVl5ETkV+JblheUQ2B/cNHpODQFv4n/kPX0OSZSqH8ibH8\nmYE6Cp7QHJppGEuGKo6RIpTw6uhY9qmbokhi7Xj52cH0Letdv20PQeFJ7x/f\nXU+5CWOtX6TMDPVc/YB+WTecl5c1LahVlPUp4oTyfzwhhr0dgosnWw7VFm2X\nyaph\r\n=Ag/L\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQC7nwZzd7+swiHS40cbBaiLyLrWbJ3RQudS7LME146WWQIgdfNyQ7a2DQ7Pm+eiqC48khDiaYdjOnutQepj1AK9dKw="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_1.5.0_1592994995121_0.452455982890259"},"_hasShrinkwrap":false},"2.0.0":{"name":"lean-language-server","version":"2.0.0","description":"Language Server Protocol server for Lean","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-node":"^2.0.0","vscode-languageserver":"^3.5.0","vscode-uri":"^1.0.1"},"gitHead":"fa1e7cdbf48373cff3bdeae77ac9470082e64c7e","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@2.0.0","_nodeVersion":"14.8.0","_npmVersion":"lerna/3.22.1/node@v14.8.0+x64 (linux)","dist":{"integrity":"sha512-+qCvdi0Z6Dg7GIbHO4b29iPs8apiBKJLxT8XWrz8ATBsitQ+Z0svdBuxgDpF9RaKUUbtfIOvj0W3thRt7Jh3zw==","shasum":"a92b70bcbc9d07521a56541fe794739cf0c357fd","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-2.0.0.tgz","fileCount":6,"unpackedSize":14948,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJfaGVACRA9TVsSAnZWagAA9hIP/2lmtMpmZiJcBtOESgFC\nhoIs8xzuWQ3sGF5onKAVHseg8DVuEscYRXByKnIwP9HIkmNduwf9fP6leFAb\nXumhR7nqc93HrN00tLErcD1cJWNGV4QttdGVu2vJQcw0tg60LlGWYxiJNdFB\neNB3O9eZsYy+gVgZ617mj/jgwxTma6+xKZV1unsAF6ZrHiER0rMBateQTXiR\nR+tdifzI6qNa2zxSRGNdCjAaEvb3Ninb1UFszKjGS9XDcVBGjTp8PpD7seiQ\nDhD2ao5aYFzIksUWqUzMZnldwG9jMiLiQbUWZWZPkL0A4Lyz7Zk+0+5bNXqT\npaoRK4cn6sbAm9/0SEADKsYLO8rU2nLcCTWsgJCr2nYMzy1KyuqIZn/pnzg5\n9mxKDTnrdVQqp6BTaNT/X/282oKhtmpUKW96RHG6VBnr3tYwLDQrtawwW1Gk\nBK2Jh23KR3kBMG8CEB5E+50qOG19z3PwapUjNVZLi+hlxkeFIkV96mUdP3f9\nl6UaJ9Y2wtsVMGrdVl9qgNNfIuJY1DDI9BEFxdrUT5k1ymlnHFMPmlZ1s8uj\nPdJ6j6WbGlcKPoFcZCvB9m9Iqxa+OGGP4vbMB4JpzmONZuA5HCFxNhb4uYF5\nTjq6Kasge3FJjtqToun3feOx0PBO7fim3JsOmgF3qCrPAIP2HIDEEFtH5e6B\n9h6v\r\n=n9ts\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCatMLoUqubIZGmSIZy5Cf67wgg/G+xXDda9sWUv8CO3wIhALsGgznjZCUANb0om5vGC8+Pn6UeXwJ8r0UCtmhjQwLe"}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_2.0.0_1600677184401_0.6498870714047542"},"_hasShrinkwrap":false},"2.0.1":{"name":"lean-language-server","version":"2.0.1","description":"Language Server Protocol server for Lean","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-node":"^2.0.1","vscode-languageserver":"^3.5.0","vscode-uri":"^1.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-language-server@2.0.1","_nodeVersion":"15.0.1","_npmVersion":"lerna/3.22.1/node@v15.0.1+x64 (linux)","dist":{"integrity":"sha512-J69QYHJ+cg4bIpk3NfqZRSxT/ZGzrBbvWBsfxClyyY07La2LDtMAi64ZQ7n5yClzBTAnh7zZT6r75Lvbg9gLtQ==","shasum":"1ff81109db0f8af819df319ba42a7c854a154812","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-2.0.1.tgz","fileCount":6,"unpackedSize":14948,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJfoRbnCRA9TVsSAnZWagAAdoYP/0fyfctZhJ+kSI/RO5e/\nHOpMHfYEBdZ3DHWOdRLmt9T5BswfGN08me+GYkd/EuYiNq5x9c7MuBHXKDMm\npFr3Jgf2T6XxLpMgd9H24t2ns+XvWqcZERvgjjPDjFbziZGKNX1Q/K8vlowS\nI2+OxEBnnwAEzUkkpHGgDW7sdyroZDo3yV8u49doM8BY9Gtl3pkizJirr1lt\nJo1izgCNNhSNACXCCyqUtui1AnfeKOQu0aj75BK6LVur6tVidBTTxiKRdx51\nD5c/VvsS+RTiKhklUDuzL7RYZKvPn4Ur3+1EKgKLNfjXABkx3iHxlcLwJN5O\nzDZh/zwCcIuk8cz9N4yr1fVAMI0daQFYtGBFp1f9daQToM+cBZoyWPw88psf\nKxCoBJKHQid3mh3a57qJMO4PohM1zOCWj9Csv+a4dN7IzYEd02M1b8mYDjEm\nVA7iGtBVV4uM5cKVHs51q4H8UP9temRXalRtjWSWkqjFPyzp3GDNPw9eFDXj\ntP6d5l4cHeE8SRzYNF2FMlvOd/Zd2KrT9SKhaiw3kjmgFtPQqd66EdsIOZ0A\nlvC6laEfnuAQWq6pzSisTW4qJW5GKQtqC3fDEBFag2nhenX0bOprOHqSUKml\naoYRRyf379Pw92zC5+DGqtTCS1ZvAstARXXfHu7e1JJpQgpwFY314rlvyVNk\nmY5u\r\n=OJHu\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIAb8DIynwEfYM025R+Q9iXo42JoxWESkoUCAFsK+NfzAAiBPslqkdtRFqSJqMe18HGW3DT2IaQycym+fxXzbutHq9Q=="}]},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_2.0.1_1604392679433_0.3356047779227225"},"_hasShrinkwrap":false},"2.0.2":{"name":"lean-language-server","version":"2.0.2","description":"Language Server Protocol server for Lean","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-node":"^2.0.1","vscode-languageserver":"^3.5.0","vscode-uri":"^1.0.1"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@2.0.2","_nodeVersion":"16.3.0","_npmVersion":"7.15.1","dist":{"integrity":"sha512-pv6zEcwc9W/ikKL2xpeY/+LC2CXotQPmZ2AI8VMa+LLUSWZE7TXW9CFrsQvkBwlqpNxF/rBdPriHijxl6lP0aw==","shasum":"1983aab8298f382ddcd25a602eb205427d4091a4","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-2.0.2.tgz","fileCount":6,"unpackedSize":14987,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJg1Iw1CRA9TVsSAnZWagAAdBAP+wa1pDUSsVPlENkftQ0m\n08QfRdMFyp8UBWkEv4QEZh/uZuznx1dhVRk9PmkO6wMMCLDj6tazTlBVcBHk\nJb6gRZGK/D6USonWpTkYXZyCTuztJKLPViqFRQ4hxqrZlWxwBitMZKaWOwV4\nL0vcGSo3ZDaLwwpa0BmEedOZqYKFxVYujrfddyGi+1VtWhE6NyWq/xpR9Vci\nm0bT1yyks+fqer99kdzQGnpm38VhN7dI/wEIo07lTGv+WUhUYqzujs2ayk0L\neu/8VHQUzpy22IsB42fBVh8AHIFjTYLBMG+zOGgtfED8MTlOvD+57fJUiu7w\nDlcVymenXYyoEE9tgT1iKxQLeysXvOrtzfEUugQ7/sYY7gRKkNq2VyT5yZv9\nhKGXj8RIOlq5BREVMt7YzRW8g6jKSgCjX5t8Pyj/tNSBo5PoKfbmEBte8pLn\nMZe1swr3hfgWITdLH9gOFo5IX+goPXUc1gFsc1r0h6psRBRP6hOoPxeeknPX\nTNMy9kDro8mWZNeQRElEHX5vyC7EKFcH6a6w9G6f1aq2/Ke5vFwBViGcIKmN\nJ0NAYRRwut2v5ed14Bb+ka0i02HgGSkWm9envwk2JQ5XA+toL33AOTMAM5pF\nst/xbdL0bJg/DPgOlS3e5DELhc26LcnmRHkTe4BDbRb3D2vqdbFK3FOEpI0+\nX9Yz\r\n=dARr\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQC0mxxqG0ZI43NOd/eY46BamWvGqNYB8JnvKFUit+3VMgIgIR+1P/wdfgY1KZaokAz+kfWTk40Z/b/FUGTIUSI6cAA="}]},"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_2.0.2_1624542260993_0.19244562364601392"},"_hasShrinkwrap":false},"2.0.3":{"name":"lean-language-server","version":"2.0.3","description":"Language Server Protocol server for Lean","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-node":"^2.0.1","vscode-languageserver":"^3.5.0","vscode-uri":"^1.0.1"},"bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@2.0.3","_nodeVersion":"16.3.0","_npmVersion":"7.15.1","dist":{"integrity":"sha512-w9VArp2B9nYV9Qw8vo8LHh0ieH8o4FpB5kv3RW/I8uOOHucOp7FkKrw6maugwkaTp7jpUYLlrwaUKzPDq/37pw==","shasum":"f44e145b3b053f70628c1587368860efac2ede44","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-2.0.3.tgz","fileCount":6,"unpackedSize":15034,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJg1I0UCRA9TVsSAnZWagAA46sP/RM+cCY1urX8FUd/1zLx\nv0hpmybxKgONC8JKLqw/0+v2SVNo6fjoMIZpWMXu696hvifhF8ohEFE0Chfw\nnjcvI8+K06bJhfXecFt+19+7gLDNFznot7R+501T6XRs9WkAnJWbLCs3Nnw8\nulGnLq21oZiXTsJ/iQUGh4wc2X3ZB9fczRUSHI1dzyzSqVODwJLjWhYKL/BA\nj8ZLViE/wbCDjp8YbokF2A9T+dnRa0VVOm0PO5JYThkLLg/ijmkHhHDGGFVZ\nNhcKSQ04KDAyzEPPiHcM72wAt+jQhK74vX0XZlddcSfI0AgFfjwz4TEylUxD\n07Y6KeXSf2J/fUjOm8XlnUURf9wvzBod/T86VOHNqcUL3L33/m+c2A1owyDK\nsnaJXb1/mVNP2chFNtN4OH+bINF4Wknqr0IhMT/4eYtC904xf1Wyk0KBicmr\nYi9FH8ZpFRQgxHrBfODVinosoF3aTjUHdSIuxj2r1TUWSPm2UPOU6DWkmZRU\nWbsIB2oFYSO8eYLSb1kjIyl3F670GQKa1e6ruRExnWWY3ZkTKdGEKTJ6d85T\nVW9NLEgGDyEOILvM4N9+C9d3/Q+UkXIS4t9J3+SsYsFHMJK8Zdk8EA9rCl1A\nQ8Vk3Mwyf8qusPcXvLtK8Em3nj1YGZJLImL8cCFjtCIN6Wr/HoMGKOVlMbNF\nzgqw\r\n=J48T\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIDlXKAzebGQPtHjr0xhYyFxd7FITRhIjB6OjrNbjOjrIAiAQpeU0BPyYn5A40HkweeONPlh9RZ6APo7xn18jvmrhnQ=="}]},"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_2.0.3_1624542484302_0.004309367346600812"},"_hasShrinkwrap":false},"2.0.4":{"name":"lean-language-server","version":"2.0.4","description":"Language Server Protocol server for Lean","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^9.4.6","lean-client-js-node":"^2.0.4","vscode-languageserver":"^3.5.0","vscode-uri":"^1.0.1"},"devDependencies":{"typescript":"^4.3.4"},"gitHead":"da81f73487f9ace21bd29e046157ab7d61aebe51","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@2.0.4","_nodeVersion":"16.3.0","_npmVersion":"lerna/3.22.1/node@v16.3.0+x64 (linux)","dist":{"integrity":"sha512-OZVyXstiO7ZB5qfFI2jUp7vFnyXcTpkbxg+9ZSbn6ihWrFqV2DR0cb4SUJz57ug0JoWKVEd/KaKqzxCPBsn/OA==","shasum":"ef58b94c62c2baf288f63c1a9aaa00be58ff2a77","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-2.0.4.tgz","fileCount":6,"unpackedSize":15325,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJg1J7cCRA9TVsSAnZWagAA2O8QAJOAg09oEQbbiCSLEXl3\nhhyPwFq0WnV07+2VA+HFymjrrJIK+KwcVXI8g1kXYIQ7QvOwTiu6YUJ0mA43\nn6UKZ6nsV0uNN1fTTv4q20Xd//UWPbMwdNN/4+8YNCKii/GuCQLGEJ/MGAdz\nojcn6+uePZ2WNHB25el5q8CgFiTEv5HX4QULxJcQGj7GzJTs9n3KqbivEwta\nnKNKz0pp6DjxwJOq44TF1e7mBerm93fhzn/UhGTrEoiF0uc9N7CT+rADRp4D\nUnLGQamGcLWRg32jHTM2AwlqLuWhgdMNGnQKNxJOH//VYmy878nxFmUv4vC5\nOqE3xay0dAI652SQLPB+IgwExo4E30HbuniXf90/yBOGiPZ6EGc5W1YJ3Ws4\nKKgm46sYh9jHHcIQn3y28OYVXn44iTCwmw//KWTJXnib9iNvaaxG11s2ZEId\n3bfXWiCB/qtLrefnuluOYbSt0Xerdn43NUDIxy0ifDpCayVj9onW1Jsc1PrF\nH9eHj320hn/8nyGY7tUW7Io388HuEhU7jHDpSi9v2JxPjWwgIJHCscV8MO0N\nBDqPIRTJ7kYd7518a4TWX0gH2UnIRxOPIFmD50vXldbKiYRnambYMWZ0y/i1\nQ0VPys0jFX/PoPOy8n6a+6YK77sb4RIj6KjIRqDofz3pTzXpBSTnVQWaJb0U\nzT4v\r\n=McUy\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCI4cXaLHnBfufI5Zj5zltIGfQqGyTbFfXA3Q6d4bkzPgIhAKlyhnRqgB5OblhGXN85iPcGMFSt067tU5NBStXQC1X+"}]},"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_2.0.4_1624547036494_0.20867023349489777"},"_hasShrinkwrap":false},"3.0.0":{"name":"lean-language-server","version":"3.0.0","description":"Language Server Protocol server for Lean 3","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^16.6.1","lean-client-js-node":"^3.0.0","vscode-languageserver":"^7.0.0","vscode-languageserver-textdocument":"^1.0.1","vscode-uri":"^3.0.2"},"devDependencies":{"typescript":"^4.3.4"},"gitHead":"acc5e3b516c6db25fe04f3201f57db91701e2d33","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@3.0.0","_nodeVersion":"16.5.0","_npmVersion":"lerna/3.22.1/node@v16.5.0+x64 (linux)","dist":{"integrity":"sha512-G8SPBhiwx2SVCJEmit9IzUJZIq/yE6GxdfJFUce+GJenplsu4JtKX9LaI9I6A1kKOXJ8OPfN8csO7oPvubbOBA==","shasum":"9a5009fc1c0912cb2eea69223278e164f4444fff","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.0.0.tgz","fileCount":6,"unpackedSize":21973,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJhGjsMCRA9TVsSAnZWagAAmWwP/19k/rcW4DBp8DZMaFZV\nwJnnLExnfIru16ANi/r4lYhqHzBele0CArC2duK0Dbk4ga8kr14FIDRK0HBd\nKqaFlv8FgnnCpzbYxE8ZOISKEZCfYfWIbJbbBAQt+1zKIQ3jLhQunfJnHRRc\nvC8wxzSiytfZzHpE1O3ad7UHaUs3yikeWKVi6DifiDWBUPXllnDeCAvPu7qO\nLQ3cl2k7pWPIT8f/XIDtc01r0XjWGAIaciIw/Z910vgVdB/mtRSJAd24jySz\nZtvApiKVJzKLfMudeP0sAkGCNhGhw1EDfXM6J8DhXma24Ww6ntI4zPj21P4D\n49fuAhLdV8dvZ9Tgwpbdc0pRaqu6a0SXXXeTtTfMd3fXaEoXuejmvDulfznb\nQyfLXCtvWOUpZ/G7AdASBj3i6PX5/6f55kjLnxjKlt1lCKbnDFygkXrRERih\nrguIcALQrUd4V1BAF22oX4aAZ6B/h1xD+CJGwMmxdaZaIIRDM4o/U7LehUlJ\nG3oXm6FXVxUEPc8BAEJ8RUwAkdvjojiULGpbFReXzs5nZOKbrFk4MXYNgl5n\n+RmzbRhFkK4q9iDXI+svMqCQdwtvTloGp81u8WBww5DYpRqnZG0V1jYvu1CF\nrEhBqSVQuJRGNA7XKV1/hZWFPmtL7QhPEkIXwXTBo7VsGaBTJJdBBZujaMBv\nJ3Ag\r\n=boSI\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDbjWAy3zjmnS+uC+rujQWRBoK9gmJd1zlBfi5yNC0tHgIhAPGqK6e2fgeIufLMy3nKL9sdA7HklsqFYA4CIIYKKhJT"}]},"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_3.0.0_1629109004462_0.8962685602677112"},"_hasShrinkwrap":false},"3.1.0":{"name":"lean-language-server","version":"3.1.0","description":"Language Server Protocol server for Lean 3","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^16.6.1","lean-client-js-node":"^3.0.0","vscode-languageserver":"^7.0.0","vscode-languageserver-textdocument":"^1.0.1","vscode-uri":"^3.0.2"},"devDependencies":{"typescript":"^4.3.4"},"gitHead":"7e4696d01a742f82cba9c563ae920cc60ba01937","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@3.1.0","_nodeVersion":"16.5.0","_npmVersion":"lerna/3.22.1/node@v16.5.0+x64 (linux)","dist":{"integrity":"sha512-KV6eIu3vfnpnbup8uyCQr63WBHAt9tKU0T8qIBaj/V1d4pkOK3Ei8J3MeXkVHnq1fILIwS2KB39YlKsVnWGlWQ==","shasum":"a6a0704a3659ca7264690139428c0c6c4bb18d80","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.1.0.tgz","fileCount":7,"unpackedSize":33756,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJhGmksCRA9TVsSAnZWagAALS4P/jsxJSbFiDLTr4jTB5AX\nZzUFVXb4bsn5EWaiOb74/SYkfFLc1MLwVXYkjYXxqqw6QI8uPhbuHot7jedF\ne+r1UAhx+ZUb405/g163vI8gImc8wgOgs0RY5HfTZ90JEQ6w6FX2TvQGBg0E\nFosnd6Y9PVXrzjSd4znjCnYtUcGZBUZiHOaN7BEY9eioViLuq5ok7Z9RGXOA\n+DsOzz/37Y8ZgbABmKBDa+bua7QpG6tz5sqsVMUleGpRFhO/Agf20sjcGfgN\npxY2as6xHrzVS3SYHu3ATgedcA513mHswNKObMnNiIiuc3sWrEz1dYwUT8nf\nVqW59uhVJx01r08OE99nk86ep9okZvQiF4d/WSqwOJemNvchjC9eoJYF8GmY\n3vbCojvCpDmrRA47Zu69kn4xwUGot9UVakPEk0hh5i8Pc5XZ4IvYnEo+f+gJ\n+SBXf2HGjO7eoJUsSTST4N58ArTA7jlWmgpuhI9Ijfbag8K4dRGFyJvmPVfh\n5uCXJdTi/j2Zkn2TsN4EcCLearJLbyd1UUX5lOWxoGNO0xZTSpVq4aa73Obe\n3/IOKtjyX9x6W/DSZlG5w1JdrjyVPQlxXuwmxulEm+TCkte/ZnggeNE9MBEw\nv7EVfC9y7Phei7v1C+OmL0oaB/I4AaCdGD5yQLEwpn7qAuHXYEiKFOQxvpkM\nqBco\r\n=dGHm\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIA2qVkJQQtzzJG5ypzJ0ntZymFmG9wlXOBwhwV2hYWJhAiEA+HmIuNld0YK5yX281dWrAMFkoq0rKxewV93ghgRfg9M="}]},"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_3.1.0_1629120812156_0.45506317551624553"},"_hasShrinkwrap":false},"3.1.1":{"name":"lean-language-server","version":"3.1.1","description":"Language Server Protocol server for Lean 3","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^16.6.1","lean-client-js-node":"^3.0.0","vscode-languageserver":"^7.0.0","vscode-languageserver-textdocument":"^1.0.1","vscode-uri":"^3.0.2"},"devDependencies":{"typescript":"^4.3.4"},"gitHead":"87b1214dbabf55e8e3d04e22762f62242300f70d","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@3.1.1","_nodeVersion":"16.5.0","_npmVersion":"lerna/3.22.1/node@v16.5.0+x64 (linux)","dist":{"integrity":"sha512-hC+1lj+9WdwQJlZqlmD/Aa+Wsj/xrirIpqDzupx+p8SOX2i0GAicmHqfMZlqO5RPGitq58Q1KMsRqGeDA6v1Ew==","shasum":"14beb7e7aa52b4fc5432b21b435cd0d3f9d5b776","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.1.1.tgz","fileCount":7,"unpackedSize":34409,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJhGrTICRA9TVsSAnZWagAA2pAP+wYBNkPAZWkvYvxJIZ+h\nhsmm0p7esqqWa9GeYMdjn0i1jZg48Q+pLRr//jAtKJtAbHyI6Z6Ir+oGgW33\n/LSCax4cOEjsZ1qXo/DgUU6sPxMPP862UIwWY6tlPRv7CKxNDBGOy0sfS/G9\nUcPQ3NoUDrk1PvUcbq0ylUJAllatTSaAf9PIJsbCogecR3uhktdjshoLWtjx\nX+I37UzLknc1qBumWYQBAz2rqm1hSwipfmyATelCUYsr8r/T0ffJOASkPniq\nF2KkDZZIkI94MVLw8phY7KHYDI0UoxJ/hQsphl2eOFsoXbARzmPv0dOEIszC\nAb9+UJNndQfuuumschezMh1kskpa9btjhcLasDcL5dcdIbbpK7mZaT+8uDPT\nZQMusl/rS/+iJw4MNks3s0y6XNjHFovEvBj+stdqSX0XGoRvdntT++pxhwvS\naiocW0ZsLuuAqEiG5upDBPtlcY2W4fHE17shNC3AirDmkFJocgSbMwulOeoL\nl800aN6ZJs3w2+cuRpUemAOtDQRphJKJVVBkKF7ZfVi8HSvKGyKHAPum4PTM\nCSj4Nl4bKyNXUHddlH6Ng/rMayYA5NFztrsM6WcClCyIS+zgORaMn19mkZzr\n2ZDtiZqd7NFQNke5QH5raGL63SXedmBfe9MJxgW01dOSIYqWHqNwREesKWXr\nn8Fq\r\n=IeHP\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIAJXStU3OywVNBw4FEUbS1ptdO9D9iQBpmG0FmAX/uDzAiBWJxo5JXlDQkJWmJYys26C9Wzm7v5SD1BQnfHUzyMgnw=="}]},"_npmUser":{"name":"gebner","email":"gebner@gebner.org"},"directories":{},"maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-language-server_3.1.1_1629140168160_0.6652238964308406"},"_hasShrinkwrap":false},"3.2.0":{"name":"lean-language-server","version":"3.2.0","description":"Language Server Protocol server for Lean 3","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^16.6.1","lean-client-js-node":"^3.0.0","vscode-languageserver":"^7.0.0","vscode-languageserver-textdocument":"^1.0.1","vscode-uri":"^3.0.2"},"devDependencies":{"typescript":"^4.3.4"},"gitHead":"9540817e11f8f72942fce7e2ce69323fd3a02544","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@3.2.0","_nodeVersion":"16.14.2","_npmVersion":"lerna/3.22.1/node@v16.14.2+x64 (linux)","dist":{"integrity":"sha512-uUfWiJXQMso9SzmUYnPZkF01cBP5L5UhGhzc27ayeHMQCSZ5mLAOcom+nJ7BDcna/hNHQM2NXpvE6xzc/Yd87Q==","shasum":"ff5feb899a7c71f3ea3fecefc005c00246909000","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.2.0.tgz","fileCount":7,"unpackedSize":36217,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIEokhkGrHra3sgNwJN4w/cm58vZdYqYG1pc/9kMfYsRsAiEAzD4y0KKOp24R8tPmWXhi8gxfRYC+zNvQ1ABX3D/0thA="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJiYCj5ACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmr8Kw/8DRnPBqgoEA/ET3DnehjP+9WgOCXmP6i25Adczzgo4YB1Ca4G\r\ngkBmimuhOMbXedIVEWkSEeeSW43l2Zzqcqz1XQXBqvLpwSkYhx5jNFBpchAX\r\n6E5aEKnCcqWuHGTDlgjTH4w2YuqljT8JJM3E3sMsvCqlndJDkbjj8F5l+/Ac\r\nKomMCjeC7FfOf/TJl/p4ZtCqNsNZufurTj/rI/js07+6ivJvKSCQF5JLkU4/\r\ndJbAiFWcNI3cMSGbseHoLLUqcGCZYVf5nuWeaOjAmsz6pVzmJ0Tbzd+npuAm\r\n9oANeTcFI/jlUN8WHVTKX2QTR/W1HkQ2/gba9qEnYBj0jtmF0NoBYfhG3WJB\r\n5dIqmqJWM/v1+0c+H7F69VaObrjI57JwmUq4pFhgM8Px+fks0fB9w9EDCECk\r\nskPMSmA0bymSBxQLmwHpbdwI3upwoC2NCqGbXBqj9Wcto53W+BdUsHSYqsKG\r\nKoTzWusAMeOIOYaZxDpLWub+nVMEId3qN6HyiirTAEdbU/EsVat//XtnieAZ\r\n1skDdDU8q9l92WnZeFso5tAlkfexIHyCqokjwEJfMM8B6MCF56BpoRgHBbml\r\n1Ld0NgTzfFsUZZeDK8T/p5IqLe/KJCIK74sLzaMO8xuPaVR/E269Nm7Riroy\r\nbeJKo4W6oampOQkUYmHbb4WPHRXVO7XNNOY=\r\n=oBar\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-language-server_3.2.0_1650469113114_0.6356850350611256"},"_hasShrinkwrap":false},"3.3.0":{"name":"lean-language-server","version":"3.3.0","description":"Language Server Protocol server for Lean 3","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^16.6.1","lean-client-js-node":"^3.3.0","vscode-languageserver":"^7.0.0","vscode-languageserver-textdocument":"^1.0.1","vscode-uri":"^3.0.2"},"devDependencies":{"typescript":"^4.3.4"},"gitHead":"65b9c4d69dfd659de02654951ce8aeb79bdcc9f4","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@3.3.0","_nodeVersion":"18.3.0","_npmVersion":"lerna/3.22.1/node@v18.3.0+x64 (linux)","dist":{"integrity":"sha512-sc67rwUA1z/bTYCqAU6Qt4W+hUDj7y1K9oBxYOFg55IOWE4R9D99PErXU4n2qxZw8nIAzZco+tY8pnWyMxdUSg==","shasum":"0d0770a1c69edeb771270a0694e13e3a1c71cede","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.3.0.tgz","fileCount":7,"unpackedSize":36217,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDF5LCqTHxpMe9sra/apeeBWR8nGM4V/CXpYxyoxIwtvgIhAJUuzmg1oLN/ix9mzlKnUerw1i6Ne1WB22dq9EaQmNyU"}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJitI/SACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmqcwQ/+IWAEoRRebw6zEzBLuorEdha4J0Gt/63kUN9erjI0OLnjSXGS\r\n4QJA4XjtuOoeLo9PEB0r3k6AtnlvYGdi10sbbHIq+6m7ES/eYVD6Fs900lI3\r\nRBaB5F+c/VQ+aEwMHvI6TpQwt8mk2KSofgDqaw8xUadHl8faQXcHM9avoOGV\r\n1ZLrAvyloWFDPlXtLSlZVLCFI6PG2hogwjSTWni8YmKd+bJnMxf1MsHYxXqE\r\n0Buuvv3Gj7OR7Ve3JrVAs3qn7eLW00khbrAfvX1jfIKblmKOOGuwDptMJZT3\r\nWmXjOXQYswjJeX7W5gnHAOnmkFlQxeJZFljzCyz8ZScJm6K5ySMdb8C1T0Vk\r\nc/P0TH+gf6cW6L6P9pQmPbKg3RZte6SLHqnYQVoveXaRO0k6RmlLVLhpZr/n\r\nglMtql3YLsjNwGgeNPk4OHYI870Tu+Vyi0EzAHOYKZytzFLpoF41h6Qswbob\r\nf0A3Qc9qpJUD8CjIpnDZ7HHhwmZhutfgRjU1Pkh3LfrMJ2zNXzxSFYeOsJj4\r\neCypxLGU6VrlFhW8dBKiBh8QqpomxIPuXTJuoSKcAE7f18HiPMKumRjgNb8m\r\nlMcTbmbHiztVdNXzLzIHkkGa8h5jnYB0iu+iWJshTf0wKfrMhb76Gza8pgRw\r\nLDpYVdpOWXyXuXYljd4Nvhw9fOFsYrwUCU0=\r\n=LXJF\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-language-server_3.3.0_1656000466424_0.19702390241411294"},"_hasShrinkwrap":false},"3.3.1":{"name":"lean-language-server","version":"3.3.1","description":"Language Server Protocol server for Lean 3","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^16.6.1","lean-client-js-node":"^3.3.1","vscode-languageserver":"^7.0.0","vscode-languageserver-textdocument":"^1.0.1","vscode-uri":"^3.0.2"},"devDependencies":{"typescript":"^4.3.4"},"gitHead":"e79dd09fa455abd4b675338a6f9b20b0c79daa28","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@3.3.1","_nodeVersion":"18.3.0","_npmVersion":"lerna/3.22.1/node@v18.3.0+x64 (linux)","dist":{"integrity":"sha512-h8SzicbTpR+LZpJKTbb/w0M3e5ChakNlZtOSRD848kVo90zxachELOfYnxsWYVMS6DboLIjZuhjhCdjUf1A3Ew==","shasum":"001ecde5df490d5ebb228bba0ab3ae21bd75fca7","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.3.1.tgz","fileCount":7,"unpackedSize":36217,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCMmKKFz4yaSva+yU4b0kFN9VmCuFZgJDbVYqXJeFpMOwIgJMhXRJeXZ2IhKjvMqybuypu2t0Qjt34FGLxMonPbchM="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJitJeKACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmoF8w//SSXI4U6ZwJs0qKaM287F7l+nlnuwAxGHLKosTTYc9qwzDCMW\r\nRkP4Bt2/5y+7VtlUbSuxr748UMKun32RMKRtvbDgzM/U1kXUUlNCsTFlZiwY\r\nZYNMvdJnjTfvR0Ws0EzwikUK84vWBLqhaY82r6WFliUIfID1IVB4soA4N/s4\r\nACOnKP2bzrvZf3IotCnaTzIXGg9npp5tzP/EqadF2NVz/wQtMH+r2JsZu6gt\r\nkbNEPQawcg68yGgh7erQDCPo1l9HNRjfztlfsLrFOF0vT0O8NKKMgm3+Re5f\r\nTozUdxy6NHybmFruPz82/QJ+uvN15fWxGpJvpLWi6c6z9oo8kwX1txycohLf\r\nhtBaxQgONlza2D1mDeVNkbRJn32EGzxnEK9iiMUT8xNOyKzzladlNw74Qx/f\r\noOCw57m7mmvBtKo6/rH/6pG2XXeQ/X+LTFD9xthkaiRBs3ZjeHVmaJPnkLpK\r\ndKahbhbQ0F4NgQkL2a3T7cCxpw6oSsoPFhO5Agu+tagVI2zVi6mfyBTYWCfh\r\noU4Om0wNX9TXeDmulSXcHNHVzCBCnneiNclZEm9CWEZFGbdenx27ross/BQm\r\nB3+fB9MBXloVtfZzHnjTDjI/oPtuqDBuSwSBuAnjJaveZZEVR81O3085PkMh\r\n6CQ+GO/25/TewMbBJOytUQ2aWlFjJ+LHJ3A=\r\n=4UFd\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-language-server_3.3.1_1656002442375_0.5606424865215622"},"_hasShrinkwrap":false},"3.4.0":{"name":"lean-language-server","version":"3.4.0","description":"Language Server Protocol server for Lean 3","main":"lib/index.js","types":"lib/index.d.ts","keywords":[],"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"repository":{"type":"git","url":"git+https://github.com/leanprover/lean-client-js.git"},"scripts":{"compile":"tsc -w -p ./","build":"tsc -p ./"},"bin":{"lean-language-server":"lib/index.js"},"license":"Apache-2.0","dependencies":{"@types/node":"^16.6.1","lean-client-js-core":"^3.3.1","lean-client-js-node":"^3.3.1","vscode-languageserver":"^7.0.0","vscode-languageserver-textdocument":"^1.0.1","vscode-uri":"^3.0.2"},"devDependencies":{"typescript":"^4.3.4"},"gitHead":"caca703f1b6689f4b410b1eac1ee234d591bfa54","bugs":{"url":"https://github.com/leanprover/lean-client-js/issues"},"homepage":"https://github.com/leanprover/lean-client-js#readme","_id":"lean-language-server@3.4.0","_nodeVersion":"18.6.0","_npmVersion":"lerna/3.22.1/node@v18.6.0+x64 (linux)","dist":{"integrity":"sha512-Qb4+jCU2V06LfQVApyyzXlzG8H0KlKUO9HqJmWq8BMxSvfXpnGxGRyKRoQEcBHNJl6Y2+UXQCo0/mEVy13DwnA==","shasum":"f50710ca2abba80153a2c2573d6b2a6502e61190","tarball":"https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.4.0.tgz","fileCount":7,"unpackedSize":42708,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCuxy4gqsuv/Rho7YzxfeLFedR1gnwtsa7k4taTHbCp0QIhAKLB/3rQVXiIpW9bV6RPRx/HMe1VcOFmVePzCEvTqgDA"}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJi1AITACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmpD8Q//YIvtSijL1BL93xYx+584/DvwazFa4LVPzSMbCfMzAYSUkswV\r\nJ6f5TPSAs6MVvwmQqb9w4SuwLHyD/R7XLoVUk5817tUqzAuP2OWRYZmc5XZ4\r\nBDqrInNaN/gqoYgaVhu4kRt9IH3MAWMx5DMDPTEJJXiqyOTpuLfKjghOVnKV\r\nFlw/XBk+xnHwXLrQgoMS4WeDLHzQLkSRn7JcBI+nSOCKZI1anWDDo4Xm7wat\r\nGy/FrWt2FoSs1vkS51RmHoQ8AfdfnQhVOBFqP3iSukY/ZuqEtSVUj+3r92WK\r\nPJzpQHaTMUc2ZleM8AnQ1l/0bZHCJlD804RiZDd0tfYmy2vbFMOn2pLjoJfz\r\nX71bKOvMDlTjuR0CCh+MBA6A2426eJoh2B165v1RjHVpEcsLkr3Hx5RiYsg+\r\nxEY5obUgxIfc8eklVPyoWs3e4NMP6dgA0sMrGywHjeu/bnlzJlidJ0KCbDbv\r\nVk6nvYk7eTGVcisggXsGdUHDhVj6RWxbFeCCoaa8pI8EjJFk/tXDpxqm0Vws\r\nRHlk9tWOxM5JawB+ONBzn1zr9i/Hzoa8MkRHPcxYaVi2PX+BqTKH7VMshMSl\r\nYvrbUbg9VTiHHeibSws4Bj/3acI9lA1pOv+tpY5xGOd4oAqXklRRGPNcjMox\r\n+qrxMJj3MpkNw8tRfaj8zoRHb0hilzE8VJw=\r\n=xBhy\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-language-server_3.4.0_1658061330961_0.7144595637506368"},"_hasShrinkwrap":false}},"readme":"[Language Server Protocol](https://github.com/Microsoft/language-server-protocol) implementation for the [Lean theorem prover](https://leanprover.github.io/), version 3.\n(Lean 4 has a built-in LSP server.)\n\nIf you use VS Code, please install our [extension](https://marketplace.visualstudio.com/items?itemName=jroesch.lean) instead.\n","maintainers":[{"name":"gebner","email":"gebner@gebner.org"}],"time":{"modified":"2022-07-17T12:35:31.323Z","created":"2017-05-03T14:25:54.443Z","1.2.4":"2017-05-03T14:25:54.443Z","1.2.5":"2017-05-03T16:20:13.007Z","1.2.6":"2017-05-21T11:46:05.569Z","1.2.7":"2017-05-21T11:46:49.241Z","1.2.8":"2017-05-21T11:51:27.802Z","1.2.9":"2017-06-15T08:42:49.532Z","1.2.10":"2017-06-15T17:47:56.274Z","1.2.11":"2017-06-30T12:05:42.907Z","1.2.12":"2018-02-15T14:15:19.629Z","1.2.13":"2020-02-04T18:21:41.003Z","1.3.0":"2020-06-08T18:50:32.953Z","1.3.1":"2020-06-08T20:46:02.513Z","1.3.2":"2020-06-09T12:01:19.707Z","1.4.0":"2020-06-10T17:45:56.077Z","1.5.0":"2020-06-24T10:36:35.243Z","2.0.0":"2020-09-21T08:33:04.514Z","2.0.1":"2020-11-03T08:37:59.553Z","2.0.2":"2021-06-24T13:44:21.182Z","2.0.3":"2021-06-24T13:48:04.659Z","2.0.4":"2021-06-24T15:03:56.631Z","3.0.0":"2021-08-16T10:16:44.615Z","3.1.0":"2021-08-16T13:33:32.312Z","3.1.1":"2021-08-16T18:56:08.338Z","3.2.0":"2022-04-20T15:38:33.269Z","3.3.0":"2022-06-23T16:07:46.621Z","3.3.1":"2022-06-23T16:40:42.562Z","3.4.0":"2022-07-17T12:35:31.240Z"},"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"}