{"_id":"@aneilmac/lean-client-js-browser","_rev":"4-e3857d26fe28b928d4e74cdeabe389c7","time":{"2.0.4":"2021-08-17T22:35:47.868Z","created":"2021-08-19T11:39:02.413Z","3.0.0":"2021-08-19T11:39:02.717Z","modified":"2022-04-04T14:04:53.867Z"},"name":"@aneilmac/lean-client-js-browser","dist-tags":{"latest":"3.0.0"},"versions":{"3.0.0":{"name":"@aneilmac/lean-client-js-browser","version":"3.0.0","description":"This is a fork of [lean-client-js-browser](https://github.com/leanprover/lean-client-js/tree/master/lean-client-js-browser)\r which has been edited for use in modern JS projects.","module":"lib/leanBrowser.bundle.js","types":"types/index.d.ts","unpkg":"lib/leanBrowser.bundle.js","jsdelivr":"lib/leanBrowser.bundle.js","scripts":{"build":"npx webpack","lint":"eslint ./src --ext .ts"},"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"license":"Apache-2.0","dependencies":{"@babel/runtime":"^7.15.3","@types/yauzl":"^2.9.2","assert":"^2.0.0","brfs":"^2.0.2","browserify-zlib":"^0.2.0","buffer":"^6.0.3","lean-client-js-core":"^3.0.0","path-browserify":"^1.0.1","process":"^0.11.10","setimmediate":"^1.0.5","stream-browserify":"^3.0.0","util":"^0.12.4","yauzl":"^2.10.0"},"devDependencies":{"@babel/plugin-transform-runtime":"^7.15.0","@babel/preset-env":"^7.15.0","@babel/preset-typescript":"^7.15.0","@typescript-eslint/eslint-plugin":"^4.29.1","@typescript-eslint/parser":"^4.29.1","babel-loader":"^8.2.2","eslint":"^7.32.0","ts-loader":"^9.2.5","typescript":"^4.3.5","webpack":"^5.50.0","webpack-cli":"^4.8.0","worker-loader":"^3.0.8"},"repository":{"type":"git","url":"git+https://github.com/aneilmac/lean-client-js-browser.git"},"browserslist":["> 1%","last 2 versions","not dead"],"gitHead":"eca974098c45d95782337ebffefb812c2f572f3a","bugs":{"url":"https://github.com/aneilmac/lean-client-js-browser/issues"},"homepage":"https://github.com/aneilmac/lean-client-js-browser#readme","_id":"@aneilmac/lean-client-js-browser@3.0.0","_nodeVersion":"14.15.5","_npmVersion":"7.20.6","dist":{"integrity":"sha512-+/Igiszm3kMLRnpAMq/6DPP92ALvdF9SAvs1ny0GQlv49ur2Rjnm+eP07FHMig02R8ypIeZzRWXE3d9+ifTcvA==","shasum":"ed31ea1f719444679c1c0cf5d9aa3d95b61e7f36","tarball":"https://registry.npmjs.org/@aneilmac/lean-client-js-browser/-/lean-client-js-browser-3.0.0.tgz","fileCount":13,"unpackedSize":729829,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.13\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJhHkLWCRA9TVsSAnZWagAArzYP/RoGt40nvDqLZ0tvS+uq\n8qZ57wlrKb9RqwwhWuR7qgCCPBMRWp+CRkgqCRbpqMsWDbG2dtn+9FKXfgep\nRUrwXIHiP8ETG599WANop8RL2u6KiHnZR4OSzKRrG4x/3ujVSGkpV/g9Ov5H\nsjGY07mG39ekBdztihGSCuIpS2Twgzzf8KJX9PNE9giXamlHu306KvclE8rG\nv1Fgz7jGUoyksVMMCGRecQuRfcUksxr1FpscxzvFckntC7nwYUF+LZcaJIp9\nUGJDDarNJoNWSD7Zk9KvjeFNYsNCHBPagMA7HFWfeJ6Vj0hxjV0HXu9XxHog\n3iJ9cNldKDUmOCXA8aGSdMiakAbOtPPJCaeSKBwe7tqwxe2oeAGVDSAx53RV\nkrghhzE4ssFXxeTMl4tt06b8xF9vvc5L5/LAP4y96nyBTyypK9YP04upVKS7\nGNq2RtGphJJbbtf5Ej3Y4ndVEsGVRnWUNgAnPl8R37uozb382OFLADiavc7g\npVTrrtRL8jCY5CD35nalFnkg+xObB3ZsYqYh96IM17eENkFyI3BmJJEvdt7j\nTbbNh+G2mLkzqfhrm/ixCr49YvjOiQIU3l68lOpiz7kVMaMnDjP1f5lLH5ng\ndaybVDEc4H7fz8ffrmH/MUMp3Z+RN49NgTfK/UITu2K3kCb6rOwvCNgbc9g9\nkP2l\r\n=lsOX\r\n-----END PGP SIGNATURE-----\r\n","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDFE2DD6hlyTCe3NZAhWS2+QrtXVaHcM0wjlMAaJ6fB/wIgH1Ju3GSl79KxVgf/+hD/mHabp3NAbYmwe4C6+ctMH84="}]},"_npmUser":{"name":"aneilmac","email":"archibaldnmac@gmail.com"},"directories":{},"maintainers":[{"name":"aneilmac","email":"archibaldnmac@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/lean-client-js-browser_3.0.0_1629373142463_0.3553281643348156"},"_hasShrinkwrap":false}},"maintainers":[{"name":"aneilmac","email":"archibaldnmac@gmail.com"}],"description":"This is a fork of [lean-client-js-browser](https://github.com/leanprover/lean-client-js/tree/master/lean-client-js-browser)\r which has been edited for use in modern JS projects.","homepage":"https://github.com/aneilmac/lean-client-js-browser#readme","repository":{"type":"git","url":"git+https://github.com/aneilmac/lean-client-js-browser.git"},"author":{"name":"Gabriel Ebner","email":"gebner@gebner.org"},"bugs":{"url":"https://github.com/aneilmac/lean-client-js-browser/issues"},"license":"Apache-2.0","readme":"# @aneilmac/lean-client-js-browser\r\n\r\nThis is a fork of [lean-client-js-browser](https://github.com/leanprover/lean-client-js/tree/master/lean-client-js-browser)\r\nwhich has been edited for use in modern JS projects.\r\n\r\nFor usage/build instructions see that repo.\r\n\r\nThis can be built via `npm run build`.\r\n","readmeFilename":"README.md"}