Index of /pypi/web/packages/05/6e/0bbbf9c4c652ee2b237fdc4627f55116466cb5147b9c19de08f45f62b486/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:16:18
📄 agda-2.6.4.1-cp39-cp39-win_amd64.whl	22839309 bytes	2025-09-05 13:16:43