Index of /pypi/web/packages/d8/7e/bc2b97d63f17c2649616e69b09b8c75e4e5083e4ccfef4393db36964ab0d/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 12:48:53
📄 agda-2.6.4-cp312-cp312-win_amd64.whl	31437433 bytes	2025-09-05 12:49:32