Index of /pypi/web/packages/15/bb/07c69dd3a0a6a2698573c41545e5e5386161545bb203a3d8c1447e0a4d9f/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 14:00:21
📄 agda-2.7.0-cp39-cp39-macosx_11_0_arm64.whl	32849792 bytes	2025-09-05 14:00:44