Index of /pypi/web/packages/9f/43/e7d9fedf28af22580ad9049240f4351b51bf77d567ca95b94f95a3a0e950/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:01:38
📄 agda-2.6.4.1-cp310-cp310-macosx_11_0_arm64.whl	31666578 bytes	2025-09-05 13:02:10