Factual package intelligence from PyPI

acl2-kernel 0.3.1 package intelligence

Jupyter Kernel for ACL2

pip install acl2-kernel

Current version
0.3.1
Python requirement
>=3.8,<4.0
License
Apache-2.0
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
11.9 KiB
Release history
14 releases with files
Median release cadence
1 days

acl2-kernel dependencies

PyPI declares 5 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. pexpect >=4.8.0,<5.0.0
  2. ipykernel >=6.6.0,<7.0.0
  3. jupyter_client >=6.1.3,<7.0.0
  4. ipython >=7.16.2,<8.0.0
  5. regex >=2021.11.10,<2022.0.0

Compatibility and release files

acl2-kernel publishes 1 wheel and 1 source archive for version 0.3.1. Wheel platform tags: any.

Declared Python classifiers: 3.10, 3.8, 3.9.

Release activity and sources

PyPI lists 14 releases with files. The first dated release is ; 9 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .