Index of /pypi/web/packages/34/7c/9a4212ceac20fe58514acc9f8c7447d4679d6ce0c0648e9821d4661bb5d3/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:25:25
📄 agda-2.6.4.3-cp312-cp312-win_amd64.whl	22839511 bytes	2025-09-05 13:25:46