Index of /pypi/web/packages/36/d5/5126f7016a967fb364359e7da114549028675567af14b6b721649561feb9/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:06:45
📄 agda-2.6.4.1-cp311-cp311-win_amd64.whl	22838675 bytes	2025-09-05 13:07:10