Index of /pypi/web/packages/2b/11/80a523fdaf7f9daa66775be6fad2030c292d4a968b3ef27a19f036d43d9e/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:53:36
📄 agda_kernel-0.2.tar.gz	8253 bytes	2025-09-05 11:53:37