Wheelodex » Projects » alectryon

alectryon

View on PyPI — Reverse Dependencies (0)

1.4.0 alectryon-1.4.0-py3-none-any.whl

Wheel Details

Project: alectryon
Version: 1.4.0
Filename: alectryon-1.4.0-py3-none-any.whl
Download: [link]
Size: 130433
MD5: 47609bd0442cfe2cf36e44e1254ee54d
SHA256: 42c900400a11e2c2e676370285250f4006c806f6e3457d08784d7859b6aff78a
Uploaded: 2021-10-15 02:47:53 +0000

dist-info

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

METADATA

Metadata-Version: 2.1
Name: alectryon
Version: 1.4.0
Summary: A library to process Coq snippets embedded in documents, showing goals and messages for each Coq sentence.
Author: Clément Pit-Claudel
Author-Email: clement.pitclaudel[at]live.com
Home-Page: https://github.com/cpitclaudel/alectryon
License: MIT
Classifier: Development Status :: 5 - Production/Stable
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Software Development :: Compilers
Classifier: Topic :: Text Editors :: Documentation
Classifier: Topic :: Text Processing :: Markup :: reStructuredText
Requires-Python: >=3.6
Requires-Dist: pygments
Requires-Dist: dominate
Requires-Dist: beautifulsoup4
Requires-Dist: docutils
Requires-Dist: myst-parser; extra == "full"
Requires-Dist: sphinx; extra == "full"
Requires-Dist: myst-parser; extra == "md"
Requires-Dist: sphinx; extra == "sphinx"
Provides-Extra: full
Provides-Extra: md
Provides-Extra: sphinx
Description-Content-Type: text/x-rst
License-File: LICENSE
[Description omitted; length: 36064 characters]

WHEEL

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

RECORD

Path Digest Size
alectryon/__init__.py sha256=a6ydTuO9V6Z4aNfsoR8ihzBWxTK31HEjJW3N1t9iMTs 1244
alectryon/__main__.py sha256=98JoCzNWJLnN6prm8Qsd8yRE4HFHoRqNwfY5bwDDg5U 1128
alectryon/cli.py sha256=Omv4KBgM4NHZXeVcKniCQMsyAIPkqlHPd-PtqDDpIQg 35703
alectryon/coq.py sha256=PrdqNSsIiztpe66ohIdF06YlJYUmPTHGOOblHtqHRy0 4092
alectryon/coqc_time.py sha256=4hV4GjGuE0XIULWUoUWh0ACf1n46UzdCk_ObtRb1VQM 3097
alectryon/core.py sha256=JQdKE5BV2MKmJwDKSBxh-H3i5tSE-DNFOg8490I0N78 19176
alectryon/docutils.py sha256=vAHvypSx-UIWP3SXyh5Uu3mCRh5RqVlHk_vbdmznw8M 58485
alectryon/html.py sha256=-jiAKF_ImpP9vlb4uruY8y84PKjGF3GN4KNLD5kWzIg 13134
alectryon/json.py sha256=qZ5tthryXv2jadR7_sHnomxBfKDqYbTx2kDENy63sMo 15689
alectryon/latex.py sha256=VeI6ZiEbvbgitdhNo2LmpVy9d7KY_06c5YyYDCVuopk 11683
alectryon/literate.py sha256=AAxfCvXbAWFlzGE5LlR_r9HLhvMaf7H2ywWWydplGZE 21004
alectryon/markers.py sha256=7qVDozcVQGJOJF-kwiDZPaZ2grPaG3ZkHFvLSbt_9eU 6402
alectryon/minimal.py sha256=mcBCozn7ZK7N_Q82wiNVCTQ9ZcAUQ7fHDMzt3WP0Az0 4127
alectryon/myst.py sha256=aQ8UWts2X_Z-E_DBJtKXhuRAht7DcOpyWQvf-VVJ9Ls 2170
alectryon/pygments.py sha256=rB0lZlqFfHO_lYYNfkMwhziq5qMXWIAfC43RT_mhX5A 10860
alectryon/pygments_lexer.py sha256=6x4RMon-oYS6uOP2ynJG561bKDYE_s2eLUPkQm-PMbA 34497
alectryon/pygments_style.py sha256=hjVhRVnKkVIYneAuNILKgGKnbJ87mXMsFBDACz6rDSw 7658
alectryon/serapi.py sha256=OWrF_USDhk9mC2G2XnmJGXfZAeeJGlRAVMpn-98lHyo 14114
alectryon/sexp.py sha256=KtJnFdTwb2VUXu3ioy_2c08s7lhof72hIjuaNf2nmi0 2727
alectryon/sphinx.py sha256=K5vOqeH-9gtW3Xq-vueuDr15YlErGkSXaCyK5kzsl9Q 3572
alectryon/transforms.py sha256=rSBX5Vf_Ct---kVPTgcRRPiE3Fwy9GP23K8eAiUtZfo 26749
alectryon/assets/alectryon.css sha256=LLWDjV22yun7TaX3Li5CzOwz92i4qbP8MD2d7rYo5ls 21926
alectryon/assets/alectryon.js sha256=qkAQKzup_id5ceFpUYX_oSpNMF3z5jWfboDVxRSloy8 6586
alectryon/assets/alectryon.sty sha256=Yi4mubVtibgJHWjvVxgTDH1dKtGgFmWFTKE_bmYfmYs 11740
alectryon/assets/docutils_basic.css sha256=7-j0IUtuu4r_3igR58xwpcnqXnfwxyQpcVO0043Zsvw 10640
alectryon-1.4.0.dist-info/LICENSE sha256=o4C3T78V2WaVpZ5Ql5rZAfUP-UdWpgByQbWWketgt1k 1068
alectryon-1.4.0.dist-info/METADATA sha256=4JhAylN65ZCfYXD6I7pQKO3seMei1ioUeUE2knf4F7c 37373
alectryon-1.4.0.dist-info/WHEEL sha256=ewwEueio1C2XeHTvT17n8dZUJgOvyCWCt0WVNLClP9o 92
alectryon-1.4.0.dist-info/entry_points.txt sha256=3dW4ybt4a-OLhf3H3N6a-xZVm8h12qJDzFZwE78Do0o 121
alectryon-1.4.0.dist-info/top_level.txt sha256=yXL9tH4NanglVMGLnwteadVhaLZlg8JkxIcmHM80U3E 10
alectryon-1.4.0.dist-info/RECORD — —

top_level.txt

alectryon

entry_points.txt

[console_scripts]
alectryon = alectryon.cli:main
[pygments.styles]
alectryon = alectryon.pygments_style:AlectryonStyle