Index of /pypi/web/packages/90/2a/4ca5a09123850ebaea654090ca1be9b7cfe8e11e699f3708736ae3459689/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:36:13
📄 agda-2.6.4.3.post1-cp311-cp311-macosx_11_0_arm64.whl	32084141 bytes	2025-09-05 13:36:44