Wheelodex » Projects » coq-config

coq-config

View on PyPI — Reverse Dependencies (0)

0.0.2 coq_config-0.0.2-py3-none-any.whl

Wheel Details

Project: coq-config
Version: 0.0.2
Filename: coq_config-0.0.2-py3-none-any.whl
Download: [link]
Size: 5697
MD5: 93fda3a1ac22643936d563228e7ef67d
SHA256: d6ed80dd8512e63b1bd2ea21cfd10d8ddf755d592be10abb0624dececa2871a0
Uploaded: 2021-05-28 16:20:52 +0000

dist-info

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

METADATA

Metadata-Version: 2.1
Name: coq-config
Version: 0.0.2
Summary: "Script to set up a Coq project dependencies using opam, inspired by Haskell's stack."
Author: Vadim Zaliva
Author-Email: lord[at]crocodile.org
Home-Page: https://github.com/vzaliva/coq-config
Classifier: Environment :: Console
Classifier: License :: OSI Approved :: BSD License
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Requires-Dist: cerberus (>=1.3.2)
Requires-Dist: click (>=7.0)
Requires-Dist: pyyaml (>=5.3.1)
Description-Content-Type: text/markdown
[Description omitted; length: 1408 characters]

WHEEL

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

RECORD

Path Digest Size
coqconfig/__init__.py sha256=4k60o6jWBvGf3jDaIgO7-FCPOVIJ8_Pb-qZBUTGtrOI 24
coqconfig/coqconfig.py sha256=QOfhhZ8b5XOKDj-hMcKA64E3QYFUb6J4If6uG3SIxtk 9861
coq_config-0.0.2.dist-info/LICENSE sha256=VE7KpXdaDnmDIGkdZQ1Ja04kCXWQyUIMpag2XJdGA-Q 1322
coq_config-0.0.2.dist-info/METADATA sha256=he3-denMQFIL9DJBL8nYUDzMryL3M8sl4Yh5b5bombQ 2009
coq_config-0.0.2.dist-info/WHEEL sha256=g4nMs7d-Xl9-xC9XovUrsDHGXt-FT0E17Yqo92DEfvY 92
coq_config-0.0.2.dist-info/entry_points.txt sha256=IZQAlnIgeXpKiyoRHW6_41wUl6kHcjhYToCIjh83Y2k 47
coq_config-0.0.2.dist-info/top_level.txt sha256=LY_0MmkOwxTxC523FB8yWL8tIPFu9d6rNAqGjIkF17c 10
coq_config-0.0.2.dist-info/RECORD — —

top_level.txt

coqconfig

entry_points.txt

[console_scripts]
coq-config = coqconfig:main