.DS_Store,sha256=MpIy044wvCy3M5Z1bOKp2n_Qfw5jfNywz5d61bhkSZQ,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=ceYLzKtQV49nRA-M4zf8TER-MsAQO4ZDjyEcr3CgeFk,30464
agda_kernel-0.5.dist-info/LICENSE,sha256=KoKsm7w-PuBmkIOB6NNziW21pgJdCD-9WWkv6cz7kRE,18651
agda_kernel-0.5.dist-info/METADATA,sha256=--VlggiONI2hNQD9Mi1qcD4eF57QlTWlHxr3DFGu7d0,4342
agda_kernel-0.5.dist-info/WHEEL,sha256=U88EhGIw8Sj2_phqajeu_EAi3RAo8-C6zV3REsWbWbs,92
agda_kernel-0.5.dist-info/top_level.txt,sha256=qqIQFxO6OjUvpIu8od8DAsAq3A6Ablfz60UzKyodJKw,12
agda_kernel-0.5.dist-info/RECORD,,
