Index of /pypi/web/packages/95/67/d3de0cf2f19b3fdb2d41680d5524e84c5fe239cc4ceefd1d3a09c1433b36/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 12:00:46
📄 agda-2.6.3-cp311-cp311-win_amd64.whl	20854724 bytes	2025-09-05 12:01:04