agda-kernel
View on PyPI —
Reverse Dependencies (0)
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
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