.DS_Store,sha256=HkkqBwue665ahSwqHbIJ-zEGyOVlrihfk2dQU5qQzLA,6148
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=lqc6NHFk8ud9VtXJ5fC3LqdoaC67Z154OzyxQEgIZo0,25257
src/agda_kernel/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/agda_kernel/__main__.py,sha256=ncOYRXIoEi9uxsnO1yZwfj5qWAsJMCmfOSsnUslNc3U,128
src/agda_kernel/install.py,sha256=pxT2RsxeNbmq8oC40qk9BC6AONwlNJLXBbVeHQi9mxE,1914
src/agda_kernel/kernel.py,sha256=OyZw1eKRaQ6UlMoxPCyFkK2DQzynbT1i0bAoS9OEL9U,15543
agda_kernel-0.4.dist-info/LICENSE,sha256=KoKsm7w-PuBmkIOB6NNziW21pgJdCD-9WWkv6cz7kRE,18651
agda_kernel-0.4.dist-info/METADATA,sha256=XROKbPYjMjOu3fw3XkCfxt2YkmX_24KU-bkWA7sjzg0,4302
agda_kernel-0.4.dist-info/WHEEL,sha256=U88EhGIw8Sj2_phqajeu_EAi3RAo8-C6zV3REsWbWbs,92
agda_kernel-0.4.dist-info/top_level.txt,sha256=qqIQFxO6OjUvpIu8od8DAsAq3A6Ablfz60UzKyodJKw,12
agda_kernel-0.4.dist-info/RECORD,,
