draw-isabelle

View on PyPIReverse Dependencies (0)

0.0.2 draw_isabelle-0.0.2-py3-none-any.whl

Wheel Details

Project: draw-isabelle
Version: 0.0.2
Filename: draw_isabelle-0.0.2-py3-none-any.whl
Download: [link]
Size: 3195
MD5: 4570ddbb380b135e566357efc618eec5
SHA256: 4afe420e6bb515158e1aec385e94cb4bd0feec7bd9421faee735330bab1948bf
Uploaded: 2023-05-09 19:22:20 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: draw-isabelle
Version: 0.0.2
Summary: Viz Isabelle ⟨l, a, r⟩ graphs
Author: Søren Winkel Holm
Author-Email: swholm[at]protonmail.com
Home-Page: https://github.com/sorenmulli/draw-isabelle
Download-Url: https://pypi.org/project/draw-isabelle
License: MIT
Requires-Dist: binarytree (~=6.5.1)
Description-Content-Type: text/markdown
[Description omitted; length: 781 characters]

WHEEL

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

RECORD

Path Digest Size
draw_isabelle/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
draw_isabelle/__main__.py sha256=crSJuiVgKdPrn243vOyCS5nUmbFOR4KH9asYf5dbFz8 360
draw_isabelle/parsing.py sha256=FkeDXn65s1wiNRwl5JQ7rP5cqjxTgshf3tAHtbyB28U 1520
draw_isabelle-0.0.2.dist-info/METADATA sha256=ADMZzoX90wwTJtsFKc5E2yX33y4AGJUKIMVX1oqyqMw 1214
draw_isabelle-0.0.2.dist-info/WHEEL sha256=pkctZYzUS4AYVn6dJ-7367OJZivF2e8RA9b_ZBjif18 92
draw_isabelle-0.0.2.dist-info/entry_points.txt sha256=5_B7caonfVzyACu4BWSySlc23LvoRmIuDw1Rou3B2w8 70
draw_isabelle-0.0.2.dist-info/top_level.txt sha256=kzDw8aa29k3A8bbb6YgdXfWk5rh1r9AxaW86zSkaNtA 14
draw_isabelle-0.0.2.dist-info/RECORD

top_level.txt

draw_isabelle

entry_points.txt

draw-isabelle = draw_isabelle.__main__:run_from_cli