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=3jQIoQZ1DU9da9840FEQOm7HJaC2KtDmyAYi-0y_XvU,41654
agda_kernel-0.63.dist-info/LICENSE,sha256=KoKsm7w-PuBmkIOB6NNziW21pgJdCD-9WWkv6cz7kRE,18651
agda_kernel-0.63.dist-info/METADATA,sha256=UiqM6YfwhrcO7qXxlit58T3hQlDc6O-3n35eWq7-n1Q,5556
agda_kernel-0.63.dist-info/WHEEL,sha256=EVRjI69F5qVjm_YgqcTXPnTAv3BfSUr0WVAHuSP3Xoo,92
agda_kernel-0.63.dist-info/top_level.txt,sha256=qqIQFxO6OjUvpIu8od8DAsAq3A6Ablfz60UzKyodJKw,12
agda_kernel-0.63.dist-info/RECORD,,
