{"package": "acl2-kernel", "summary": "Jupyter Kernel for ACL2", "pypi_url": "https://pypi.org/project/acl2-kernel", "piwheels_url": "https://www.piwheels.org/project/acl2-kernel", "releases": {"0.3.1": {"released": "2021-12-06 03:38:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.3.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.3.1-py3-none-any.whl", "filehash": "eeffa051451717916239f032e36919cfaf90b90c0c166398c93aefa56db1b731", "filesize": 6338, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect", "regex"]}}}, "0.3.0": {"released": "2021-12-06 03:37:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.3.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.3.0-py3-none-any.whl", "filehash": "d7e81283539662c8cddb111587e97f84064b389c8788c5c95cd7cc071665ea03", "filesize": 6337, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect", "regex"]}}}, "0.2.9": {"released": "2021-12-06 03:11:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.2.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.2.9-py3-none-any.whl", "filehash": "177dcfc3cca4dfcc3df87637227aec414a1be17a093279f35a2df0c6bcac8dc2", "filesize": 6324, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect", "regex"]}}}, "0.2.8": {"released": "2021-08-26 10:20:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.2.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.2.8-py3-none-any.whl", "filehash": "37a73c2517d940392fdbd79fdd5ca4eb38f3c378813de710f96d4697eab0ccd1", "filesize": 6243, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect", "regex"]}}}, "0.2.7": {"released": "2021-08-25 15:29:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.2.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.2.7-py3-none-any.whl", "filehash": "2edacbceb701174d04be8ca45e9f98595ad4d4a4e7b01256fe1365216c6bb8f4", "filesize": 6242, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect", "regex"]}}}, "0.2.6": {"released": "2021-05-16 04:54:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.2.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.2.6-py3-none-any.whl", "filehash": "b38a25612cf651f9a320eb12beaf5bdf07cf626530a9a2b24ed09cb2923a1a99", "filesize": 6230, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect", "regex"]}}}, "0.2.5": {"released": "2021-05-14 10:47:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.2.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.2.5-py3-none-any.whl", "filehash": "598802ddfef9a637959f4fc2e59e116588a8221a78b2da2792c799e4afb58b48", "filesize": 6227, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect", "regex"]}}}, "0.2.4": {"released": "2021-05-13 03:09:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.2.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.2.4-py3-none-any.whl", "filehash": "47840fe63dfc5dde035473cb14ec6c65aeca93874eb6ab8791ac027d2c20ed98", "filesize": 6053, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect", "regex"]}}}, "0.2.3": {"released": "2021-05-12 00:08:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.2.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.2.3-py3-none-any.whl", "filehash": "398054f4bb908bc07cff73ba8815cdffe6274822d35d4cf06379fb6686bc33be", "filesize": 5703, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect"]}}}, "0.2.2": {"released": "2020-06-23 06:54:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.2.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.2.2-py3-none-any.whl", "filehash": "ed2547b6fa804d16b9ecf1eb523838b35767ee80e340c27b8d43371fd5c190f6", "filesize": 5407, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect"]}}}, "0.2.1": {"released": "2020-06-23 05:56:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.2.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.2.1-py3-none-any.whl", "filehash": "bf52e5ea543ed0e1f6a2775c66365ef9336d1dffb1523d672fd83a1ddc2388ab", "filesize": 5409, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect"]}}}, "0.2.0": {"released": "2020-06-23 05:33:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.2.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.2.0-py3-none-any.whl", "filehash": "1461b938227cbdbf0d3c8dbc07fb9f9b3e0cd46f55642403197e1f7dba0c621c", "filesize": 5395, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect"]}}}, "0.1.1": {"released": "2020-06-23 01:54:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.1.1-py3-none-any.whl", "filehash": "70543fbe30ee37a11574b14806ed4ca6381719b290ef0719c1a93645a93753df", "filesize": 5230, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect"]}}}, "0.1.0": {"released": "2020-06-23 01:50:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"acl2_kernel-0.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/acl2-kernel/acl2_kernel-0.1.0-py3-none-any.whl", "filehash": "f69ea76bab3bef2141998e34491953c89c9b6d96a166414236bca5025fe96492", "filesize": 4596, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["ipykernel", "ipython", "jupyter-client", "pexpect"]}}}}}