draw-isabelle
View on PyPI — Reverse 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 · WHEEL · RECORD · top_level.txt · entry_points.txt
METADATA
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