Index of /pypi/web/packages/93/00/03baa044301e85e8ee62c281b162805f0a54c8f78d0414c51463543419b2/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:53:50
📄 agda_kernel-0.6.tar.gz	13212 bytes	2025-09-05 11:53:52