Index of /pypi/web/packages/d6/19/8e3c4218990e7178a672aeceb7332a7629477f165b2de43a4c7874c31630/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:14:02
📄 agda-2.6.4.1-cp38-cp38-win_amd64.whl	22839343 bytes	2025-09-05 13:14:19