Index of /pypi/web/packages/5b/4f/20a93700d59ae0612657f82d4448c9b8d47bbfe94da8699c65e9c7fad9b6/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 12:29:12
📄 agda-2.6.3.post1-cp39-cp39-macosx_13_0_arm64.whl	40810127 bytes	2025-09-05 12:30:02