.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=mol8rnLVL9PV4UZhKArIL3lHiHLCV6gvXdEUeRlASI4,38865
agda_kernel-0.62.dist-info/LICENSE,sha256=KoKsm7w-PuBmkIOB6NNziW21pgJdCD-9WWkv6cz7kRE,18651
agda_kernel-0.62.dist-info/METADATA,sha256=3z3xRUjZhrK-pDsdfE3AvFIfOMRIFqSc2ViSLy3pvqU,4343
agda_kernel-0.62.dist-info/WHEEL,sha256=U88EhGIw8Sj2_phqajeu_EAi3RAo8-C6zV3REsWbWbs,92
agda_kernel-0.62.dist-info/top_level.txt,sha256=qqIQFxO6OjUvpIu8od8DAsAq3A6Ablfz60UzKyodJKw,12
agda_kernel-0.62.dist-info/RECORD,,
