Index of /pypi/web/packages/b1/aa/a0118b66dac36148dd22cca060032c28d3fa9e3d9d89a955767bc67f52fa/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:54:48
📄 agda-pkg-0.1.22.tar.gz	16576 bytes	2025-09-05 11:54:51