Index of /pypi/web/packages/d7/fe/ac829c3d48e5917e9033bed7d87343a2300cc05a1f989b9a2a06ba66b31a/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:53:46
📄 agda_kernel-0.5.tar.gz	13539 bytes	2025-09-05 11:53:47