Index of /pypi/web/packages/66/52/a5ecfbbf2d09c73a1e4568f88d4329537d49e3750d45cd72b0b818940f20/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:54:06
📄 agda-2.6.3-cp310-cp310-macosx_13_0_arm64.whl	40809473 bytes	2025-09-05 11:54:50