Index of /pypi/web/packages/6e/b3/18bb060f9e2e15f13e4773e388efc2304ec88042062ffd1020c0c1d929a8/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:55:29
📄 agda-pkg-0.1.32.tar.gz	19766 bytes	2025-09-05 11:55:30