Wheelodex » Projects » agda-kernel » agda_kernel-0.64-py3-none-any.whl

agda-kernel

View on PyPI — Reverse Dependencies (0)

0.64	agda_kernel-0.64-py3-none-any.whl

Wheel Details

Project:	agda-kernel
Version:	0.64
Filename:	agda_kernel-0.64-py3-none-any.whl
Download:	[link]
Size:	21128
MD5:	`7ef10798358b2a648b9f37618a7cd4b5`
SHA256:	`4087057c311292a3c8ce446acd4db64032c7c1cf0d733e4db0d8b28c497faf8b`
Uploaded:	2020-11-30 14:52:06 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version:	2.1
Name:	agda-kernel
Version:	0.64
Summary:	A rudimentary Jupyter kernel for Agda
Author:	Lorenzo Clemente
Author-Email:	clementelorenzo[at]gmail.com
Home-Page:	https://github.com/lclem/agda-kernel
Classifier:	Intended Audience :: Developers
Classifier:	License :: OSI Approved :: BSD License
Classifier:	Programming Language :: Python :: 3
Description-Content-Type:	text/markdown

[Description omitted; length: 5082 characters]

WHEEL

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

RECORD

Path	Digest	Size
agda_kernel/__init__.py	sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU	0
agda_kernel/__main__.py	sha256=ncOYRXIoEi9uxsnO1yZwfj5qWAsJMCmfOSsnUslNc3U	128
agda_kernel/install.py	sha256=pxT2RsxeNbmq8oC40qk9BC6AONwlNJLXBbVeHQi9mxE	1914
agda_kernel/kernel.py	sha256=GSVwY2hZ0gX9RA6G-xJgxE232N8gWfOYSW6Lxf6WwRk	41655
agda_kernel-0.64.dist-info/LICENSE	sha256=KoKsm7w-PuBmkIOB6NNziW21pgJdCD-9WWkv6cz7kRE	18651
agda_kernel-0.64.dist-info/METADATA	sha256=6lfHrFWKtaG1s4OV93dbj0Abl6dwKquAgaZ8ndU0mWc	5556
agda_kernel-0.64.dist-info/WHEEL	sha256=EVRjI69F5qVjm_YgqcTXPnTAv3BfSUr0WVAHuSP3Xoo	92
agda_kernel-0.64.dist-info/top_level.txt	sha256=qqIQFxO6OjUvpIu8od8DAsAq3A6Ablfz60UzKyodJKw	12
agda_kernel-0.64.dist-info/RECORD	—	—

top_level.txt

agda_kernel