Index of /pypi/web/packages/5a/84/542d4ceb0178e71966ad1f7a54fee6bf814983f92f59897bbde72d247224/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:57:16
📄 agda-2.6.3-cp310-cp310-win_amd64.whl	20854744 bytes	2025-09-05 11:57:34