forked from PatrickMassot/leanblueprint
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathsetup.cfg
More file actions
33 lines (31 loc) · 769 Bytes
/
setup.cfg
File metadata and controls
33 lines (31 loc) · 769 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
[metadata]
name = leanblueprint
description = Lean prover blueprint plasTeX plugin.
long_description = file: README.md
long_description_content_type = text/markdown
version = 0.0.8
author = Patrick Massot
url = https://github.com/PatrickMassot/leanblueprint
classifiers=
Programming Language :: Python :: 3
License :: OSI Approved :: MIT License
Operating System :: OS Independent
[options]
packages =
leanblueprint
leanblueprint.Packages
python_requires= >=3.7
zip_safe = False
include_package_data = True
install_requires =
plasTeX >= 3.1
plastexshowmore >= 0.0.2
plastexdepgraph >= 0.0.4
click
rich
rich-click
Jinja2 >= 3.1.0
GitPython >= 3.1.28
[options.entry_points]
console_scripts =
leanblueprint = leanblueprint.client:safe_cli