.DS_Store,sha256=HkkqBwue665ahSwqHbIJ-zEGyOVlrihfk2dQU5qQzLA,6148
agda_kernel/__main__.py,sha256=ncOYRXIoEi9uxsnO1yZwfj5qWAsJMCmfOSsnUslNc3U,128
agda_kernel/install.py,sha256=LoIcOyLPBB_DHXhDeYt8ZwonZkd8MG1FczBgHsVNY-w,1914
agda_kernel/kernel.py,sha256=3zfKDHMn3CPInBbIY4dgAs3-3ZF1XEhmzUYpfRIjJbM,15555
agda_kernel-0.2.dist-info/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
agda_kernel-0.2.dist-info/METADATA,sha256=WJIHlEN0xc_eaj3kx7hBIjM4Evpfe30-nG-zQQry9o4,2466
agda_kernel-0.2.dist-info/WHEEL,sha256=U88EhGIw8Sj2_phqajeu_EAi3RAo8-C6zV3REsWbWbs,92
agda_kernel-0.2.dist-info/top_level.txt,sha256=qqIQFxO6OjUvpIu8od8DAsAq3A6Ablfz60UzKyodJKw,12
agda_kernel-0.2.dist-info/RECORD,,
