Wheelodex » Projects » leanblueprint

leanblueprint

View on PyPI — Reverse Dependencies (0)

0.0.8 leanblueprint-0.0.8-py3-none-any.whl

Wheel Details

Project: leanblueprint
Version: 0.0.8
Filename: leanblueprint-0.0.8-py3-none-any.whl
Download: [link]
Size: 24439
MD5: d5c5f977c6d8eb2cae9118d7c9cd52b4
SHA256: 8dd2956b81cfd0bcf4a2ee99347d24a64190a4d820a4fb6f310da6c940e0c493
Uploaded: 2024-04-30 16:13:08 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: leanblueprint
Version: 0.0.8
Summary: Lean prover blueprint plasTeX plugin.
Author: Patrick Massot
Home-Page: https://github.com/PatrickMassot/leanblueprint
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.7
Requires-Dist: plasTeX (>=3.1)
Requires-Dist: plastexshowmore (>=0.0.2)
Requires-Dist: plastexdepgraph (>=0.0.4)
Requires-Dist: click
Requires-Dist: rich
Requires-Dist: rich-click
Requires-Dist: Jinja2 (>=3.1.0)
Requires-Dist: GitPython (>=3.1.28)
Description-Content-Type: text/markdown
License-File: LICENSE
License-File: NOTICE
[Description omitted; length: 8676 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.43.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
leanblueprint/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
leanblueprint/client.py sha256=_0MFMGdZ_mOntV7OwsYaZWQIT-Y8RMThMaLx13I2WA4 15180
leanblueprint/Packages/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
leanblueprint/Packages/blueprint.py sha256=OSme1ZjHWKuqUzFHIliasuP5lWnXonkA-0EOCneNVJ4 11578
leanblueprint/Packages/renderer_templates/blueprint.jinja2s sha256=of5OfxzYpwn7drQtb1fQDNrq8_uKTv5uiPl9VoxUP6o 49
leanblueprint/static/blueprint.css sha256=UVp9ng83yzp-6XT5oAPv0XK2QUTcGwwHT2i900p5pYA 103
leanblueprint/templates/blueprint.sty sha256=O3LN4LFwYJz2D3gUSWb2QuAYEUKt8qYGOr_OVZxGWCQ 34
leanblueprint/templates/blueprint.yml sha256=uL3jaGQ4tF975r6pKfS1ARAJ-ZIMrwsf-FPbY66NbmE 2825
leanblueprint/templates/content.tex sha256=ic0LxIqInVuM1WwH99QVQg5Eyk4zGsbstVi-SDqs99Q 364
leanblueprint/templates/extra_styles.css sha256=Afa_nSOhcMNgtZaWYbqWoJrztDzsMe0Gs1RBI1yS65A 483
leanblueprint/templates/latexmkrc sha256=FHH5ymLYk1lGYexEJMTsDS-Igo09otIFfeC3ox3YE7Y 182
leanblueprint/templates/plastex.cfg sha256=BcKa2Eu9fd2joaKvcikQOzgKeIFgLx-FXRK6gM9I5PU 340
leanblueprint/templates/print.tex sha256=gD6J1VR8Ui7Dhtz5l3-b1aIlbKFofPc1CJEn7rwA4zU 1125
leanblueprint/templates/web.tex sha256=wZI0ZigRnMAgWpHGo2oyLSaeP7ek7SjB3cnQ90tj4A8 643
leanblueprint/templates/macros/common.tex sha256=6XyUEeXOihTgIqBkYb4AuoWS0LkGelknOUu8RoQ8jNA 143
leanblueprint/templates/macros/print.tex sha256=7jSBVMLv1PcPyW0SChs9NYH73LE615IA6ECAqNJdwbU 1077
leanblueprint/templates/macros/web.tex sha256=2YCGKVccoPCnZEn8SG3zqWRwLroo3dGmmP5mQqpKYhs 261
leanblueprint-0.0.8.dist-info/LICENSE sha256=tAkwu8-AdEyGxGoSvJ2gVmQdcicWw3j1ZZueVV74M-E 11357
leanblueprint-0.0.8.dist-info/METADATA sha256=I66NXgJ7dBrFKiETplDrvYcF64Xwqo9hGXf5MTHQDsQ 9366
leanblueprint-0.0.8.dist-info/NOTICE sha256=yfpguTm8q3o-80G_qK6vsh6NRBL5na7tHmeArImzQLY 36
leanblueprint-0.0.8.dist-info/WHEEL sha256=GJ7t_kWBFywbagK5eo9IoUwLW6oyOeTKmQ-9iHFVNxQ 92
leanblueprint-0.0.8.dist-info/entry_points.txt sha256=QxUKtOC2FCV11ePrACUMF8ophN89xHLCo6d8a4MG77w 64
leanblueprint-0.0.8.dist-info/top_level.txt sha256=LFQnG73O0cITudpl4UAoNkh5DhpKzqXshW3e9PVVBzU 14
leanblueprint-0.0.8.dist-info/RECORD — —

top_level.txt

leanblueprint

entry_points.txt

[console_scripts]
leanblueprint = leanblueprint.client:safe_cli