Index of /pypi/web/packages/d4/ee/9188712d1a34125b86c0e9e337bf79bea9f23046370803bc3f57ddbd8745/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:11:41
📄 agda-2.6.4.1-cp37-cp37m-win_amd64.whl	22839136 bytes	2025-09-05 13:12:03