Index of /pypi/web/packages/d2/b4/f639b12bfcb5197ebe1f8a4717a2e8f1c23533b55cac04a567b9324ea96d/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:27:27
📄 agda-2.6.4.3-cp37-cp37m-win_amd64.whl	22838982 bytes	2025-09-05 13:27:49