Index of /pypi/web/packages/5b/d9/09678480ba1d510712ba9082e89cfee43ef3530f16e1b35c7dc3b1fc06b9/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:49:09
📄 agda-2.7.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl	37016481 bytes	2025-09-05 13:49:44