Wheelodex » Projects » coq-jupyter

coq-jupyter

View on PyPI — Reverse Dependencies (0)

1.6.2 coq_jupyter-1.6.2-py3-none-any.whl

Wheel Details

Project: coq-jupyter
Version: 1.6.2
Filename: coq_jupyter-1.6.2-py3-none-any.whl
Download: [link]
Size: 20770
MD5: ab60b772d41ec49d89a0b77c22b2f74a
SHA256: 136ac6ff2dd530a8cd102ab3a3fcfe72f1ceff80062caf6bc862860fa346640a
Uploaded: 2024-01-25 09:58:15 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: coq_jupyter
Version: 1.6.2
Summary: Coq kernel for Jupyter
Author: Eugene Loy
Author-Email: eugeny.loy[at]gmail.com
Home-Page: https://github.com/EugeneLoy/coq_jupyter
Classifier: Development Status :: 4 - Beta
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 3
Classifier: Operating System :: POSIX :: Linux
Classifier: Framework :: Jupyter
Classifier: Intended Audience :: Education
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: Topic :: Software Development
Requires-Dist: jupyter-client
Requires-Dist: IPython
Requires-Dist: ipykernel
Requires-Dist: future
Requires-Dist: pexpect (>=4.0)
License-File: LICENSE
[Description omitted; length: 70 characters]

WHEEL

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

RECORD

Path Digest Size
coq_jupyter/__init__.py sha256=ETczThrItrPTVAZFgLp9ETvVunP07FklgJ1TQ0AKHgw 64
coq_jupyter/__main__.py sha256=rQT2rcAgHDARHagxJv_82sMG_xVlTf8hkOm4N1MllF0 159
coq_jupyter/coqtop.py sha256=zLEZ_DvIIcRQzZ0EaC33ZqpzfGEoat3wXf0ua27Rcys 13530
coq_jupyter/install.py sha256=7EikhJfwu09x5pjeb3o24E3lfpPJHfSWHYUV-IJmc9A 2822
coq_jupyter/kernel.js sha256=cvZQp_vcPVJlMvEe9_kLBrjd8GUiU3zZRJCKvtI6a1o 26822
coq_jupyter/kernel.py sha256=AtFPIb96eVgW8Tyjo4k5v-W_pOWAQCx80Pj7ZYLKaVU 10083
coq_jupyter/renderer.py sha256=JQsSx4LgVCgESZCvNOSCSCM5MZ-fuM0KYOi11Y4I-3M 2470
coq_jupyter-1.6.2.dist-info/LICENSE sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ 11357
coq_jupyter-1.6.2.dist-info/METADATA sha256=FOGBXH5xS_Tle_A2KujEjlHryQoPB-K57nTZwBiCzww 828
coq_jupyter-1.6.2.dist-info/WHEEL sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM 92
coq_jupyter-1.6.2.dist-info/top_level.txt sha256=nb1rfVZEGmY0gEqwLxyzlj6ku967izdTXv8RY7EkiD4 12
coq_jupyter-1.6.2.dist-info/RECORD — —

top_level.txt

coq_jupyter