Metadata-Version: 2.1
Name: acl2-kernel
Version: 0.1.0
Summary: Jupyter Kernel for ACL2
License: Apache-2.0
Author: TANIGUCHI Masaya
Author-email: mew@cat.ovh
Requires-Python: >=3.6,<4.0
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Requires-Dist: ipykernel (>=5.3.0,<6.0.0)
Requires-Dist: ipython (>=7.15.0,<8.0.0)
Requires-Dist: jupyter_client (>=6.1.3,<7.0.0)
Requires-Dist: pexpect (>=4.8.0,<5.0.0)
