Wheelodex » Projects » tlaplus-jupyter

tlaplus-jupyter

View on PyPI — Reverse Dependencies (0)

0.1.1

tlaplus_jupyter-0.1.1-py3-none-any.whl

Wheel Details

Project:	tlaplus-jupyter
Version:	0.1.1
Filename:	tlaplus_jupyter-0.1.1-py3-none-any.whl
Download:	[link]
Size:	11486
MD5:	`cc51cdb9df8356d24601794e9bd7f0f2`
SHA256:	`47a2ce7b0a2f3bdb188cbda0e45af85059ffac3aeb273a7ce9731f05a6a4f213`
Uploaded:	2019-12-02 22:53:54 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version:	2.1
Name:	tlaplus-jupyter
Version:	0.1.1
Summary:	Jupyter kernel for TLA⁺
Author:	Stas Kelvich
Author-Email:	stas.kelvich[at]gmail.com
Home-Page:	https://github.com/kelvich/tlaplus_jupyter
License:	BSD
Keywords:	jupyter,tla,tlaplus,pluscal
Classifier:	Topic :: Software Development :: Interpreters
Classifier:	Topic :: Software Development :: Quality Assurance
Classifier:	Topic :: Scientific/Engineering :: Mathematics
Platform:	Platform Independent
Requires-Python:	>=2.6, !=3.0., !=3.1., !=3.2., !=3.3., !=3.4.*
Requires-Dist:	notebook (>=5)
Requires-Dist:	ipykernel (>=4.10)
Requires-Dist:	future (>=0.16)
Requires-Dist:	psutil (>=4)
Description-Content-Type:	text/markdown

[Description omitted; length: 4026 characters]

WHEEL

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

RECORD

Path	Digest	Size
tlaplus_jupyter/__init__.py	sha256=hUvFYuD34-EJXz4rF6hychssVwPqg8OUVgDzt3NowJk	55
tlaplus_jupyter/__main__.py	sha256=4G_j4Pwf4nKz30U52VgEvfXefS08W0x_9PffFywtSw8	129
tlaplus_jupyter/install.py	sha256=V8nFVj781tpebyZOGqKz0NFWzLUqaZhZTNMlHPi06E0	2313
tlaplus_jupyter/kernel.py	sha256=Wviaq4VU-amPDlwJdDAnlTo2jUo600yBLr-TPG3y4Dw	9823
tlaplus_jupyter/assets/kernel.js	sha256=ARtu4f5FHzK5M4Fi-wNNAry0x5dYUllHbzj8O5BXJhM	7796
tlaplus_jupyter-0.1.1.dist-info/LICENSE	sha256=mHbS1y-9ub4Irr9qtyNt-Df-HfWTCa5P26KSE-W6JSw	1561
tlaplus_jupyter-0.1.1.dist-info/METADATA	sha256=JREQz2qzcY-pCtnojuDzsRMU7yBK6GcnDfZ8mtqo_1o	4736
tlaplus_jupyter-0.1.1.dist-info/WHEEL	sha256=p46_5Uhzqz6AzeSosiOnxK-zmFja1i22CrQCjmYe8ec	92
tlaplus_jupyter-0.1.1.dist-info/top_level.txt	sha256=qlj0xeuprdq1eod6uzhWIsS4hM5poTGofgCGqgNwGdY	16
tlaplus_jupyter-0.1.1.dist-info/RECORD	—	—

top_level.txt

tlaplus_jupyter