agda/Binding.hs,sha256=0JDEK_o8s37Qt4id6dK1xeB_wLTjiDZDJfNyUuUZCrE,1518
agda/Paths_Agda.hs,sha256=g9wRoRED0tXTtnZC78tZJ82D-mtBItziUp6b1aE2GRo,820
agda/__init__.py,sha256=EtryZl38R3FE_Xba3ZbyJOrCvhypf4l8tp4wl1m5xhA,942
agda/__main__.py,sha256=wCkgVrn0-P2rnC6RvJDmYZ1DS5E4qf6xI2j18sqKgNU,353
agda/_binding.cp38-win_amd64.pyd,sha256=nDMGchLZQXOcfO-eH9mq24yBVZ-qR-L9Pr7bl2Gq9Xo,125686272
agda/_binding.py,sha256=mMnWuWoc0ArTSI3KsQxd6rbbQAw3-Fv2m7wk93ET7jw,597
agda/_binding.pyi,sha256=W9jMJ-Sbbu6jaisVc9ShuBQjGpOeU4-DQU8MZ63JvUY,284
agda/binding.def,sha256=1LCHNMrMeviho0mKw0r4-Kf9GrPIty34P12yAUyuovw,28
agda/binding.i,sha256=yK1OdXeu9MmOKEBf28xErqxySTbL0M3pEqJ65CfVca8,1324
agda/mode/__init__.py,sha256=Vdavf9OhKeqlhQCLLQA_joSkro43v9a5T-2xXNup8Bw,291
agda/mode/__main__.py,sha256=J9zP_lu9CSLUiyZ5pWOn9b7D-NOPi4pOS9hYzipMrj4,368
agda-2.7.0.1.dist-info/LICENSE,sha256=Rixi_PXAnLnj0OCXlKynIqt9PWhoheCU3htCRCJhcGQ,1075
agda-2.7.0.1.dist-info/METADATA,sha256=uuGdMkFPUpIFtHwXts8yah1hn4rLy8zNCM9WmWxcUrU,4102
agda-2.7.0.1.dist-info/WHEEL,sha256=rTcqimtzpX3smAWAhGmiRSWAxTY4PqYPNE-p4kscHDQ,99
agda-2.7.0.1.dist-info/entry_points.txt,sha256=ZB9dqP6YQG11A8Z3WcgsbE0E47h7gawFlf-U08ovnqg,80
agda-2.7.0.1.dist-info/top_level.txt,sha256=88XvtZ_oCo0WpIgK7LXBbbTuYah6mUZ3iqg0WClwRIA,5
agda-2.7.0.1.dist-info/RECORD,,
