Index of /pypi/web/packages/38/76/8ac39fd7e251f2727f02ea49a1b7f70ffa2493b43180d9d76852146d04ec/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 14:05:22
📄 agda-2.7.0.1-cp311-cp311-win_amd64.whl	23492477 bytes	2025-09-05 14:05:38