Index of /pypi/web/packages/50/14/48dc3e3234fbb7b493cd09bf11571a26efb18897d23c0398ee4f6865b1a0/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 12:12:29
📄 agda-2.6.3.post1-cp310-cp310-macosx_13_0_arm64.whl	40810190 bytes	2025-09-05 12:13:13