Index of /pypi/web/packages/f3/72/fe731cc0e85ece0e6565ff199359e7e42754d94f4bf33b8c6de963d6e4d5/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 14:10:56
📄 agda-2.7.0.1-cp39-cp39-macosx_11_0_arm64.whl	32936033 bytes	2025-09-05 14:11:20