Index of /pypi/web/packages/60/36/daafc650305113443cf465f7407b0be16bf1935eb5e47ee7631538137dba/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 12:25:15
📄 agda-2.6.3.post1-cp38-cp38-macosx_13_0_arm64.whl	40819865 bytes	2025-09-05 12:25:51