Index of /pypi/web/packages/b0/a4/46273e815125d9204377bd52436f1ad491df757aa47e863102d1d35b26d2/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 14:02:17
📄 agda-2.7.0.1-cp310-cp310-macosx_11_0_arm64.whl	32935282 bytes	2025-09-05 14:02:39