Index of /pypi/web/packages/a3/48/d03170b98ad3530c65b155f5b1b2d836952b66b5a2f276870207a8dcd4d6/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:54:28
📄 agda-2.7.0-cp312-cp312-musllinux_1_1_x86_64.whl	39239975 bytes	2025-09-05 13:55:02