Index of /pypi/web/packages/c0/6f/a66e3078410da6c11dfdcb6852380a28204c9864c05b29731223cf2943ba/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 12:06:43
📄 agda-2.6.3-cp38-cp38-win_amd64.whl	20854723 bytes	2025-09-05 12:07:05