Wheelodex » Projects » acl2-kernel

acl2-kernel

View on PyPI — Reverse Dependencies (0)

0.3.1 acl2_kernel-0.3.1-py3-none-any.whl

Wheel Details

Project: acl2-kernel
Version: 0.3.1
Filename: acl2_kernel-0.3.1-py3-none-any.whl
Download: [link]
Size: 6338
MD5: 1c4e3d400599e5b94c91cce84001daf7
SHA256: eeffa051451717916239f032e36919cfaf90b90c0c166398c93aefa56db1b731
Uploaded: 2021-12-06 03:38:24 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: acl2-kernel
Version: 0.3.1
Summary: Jupyter Kernel for ACL2
Author: TANIGUCHI Masaya
Author-Email: m[at]docs.casa
Home-Page: https://github.com/tani/acl2-kernel
Project-Url: Repository, https://github.com/tani/acl2-kernel.git
License: Apache-2.0
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Requires-Python: >=3.8,<4.0
Requires-Dist: ipykernel (<7.0.0,>=6.6.0)
Requires-Dist: ipython (<8.0.0,>=7.16.2)
Requires-Dist: jupyter_client (<7.0.0,>=6.1.3)
Requires-Dist: pexpect (<5.0.0,>=4.8.0)
Requires-Dist: regex (<2022.0.0,>=2021.11.10)
Description-Content-Type: text/markdown
[Description omitted; length: 2391 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry 1.0.7
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
acl2_kernel/__init__.py sha256=1puaeZdAeGosfgjVGvNZHsK1wZZBIDwhqRS6GZ2RyIk 67
acl2_kernel/__main__.py sha256=U77Zla5P9dDaA4Ct6HO1-tR-2koc12ZyDd-PUDjwg9w 127
acl2_kernel/install.py sha256=mpVXo-m2Ylt_MIPB4pVVznxMDW5Bbz063otTvb6Z-E8 2158
acl2_kernel/kernel.py sha256=B8ItNzg6RkJYSeu1RGI4S3ZGspKW3ispHIroCc5P3fs 4597
acl2_kernel-0.3.1.dist-info/LICENSE.md sha256=FGKGkUnKSQy85Pg5-HHQgvBfqSCluOk_90Y1swIAoos 4571
acl2_kernel-0.3.1.dist-info/WHEEL sha256=y3eDiaFVSNTPbgzfNn0nYn5tEn1cX6WrdetDlQM4xWw 83
acl2_kernel-0.3.1.dist-info/METADATA sha256=R1IDaCDhf04XAHYaLE5HLs2AJLW_-EFYh6jlnD32xyA 3209
acl2_kernel-0.3.1.dist-info/RECORD — —