Index of /pypi/web/packages/36/87/1d26075b17da5e676c295f1d31bc081860924246bafb9c6b4ee1285269ca/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:54:57
📄 agda-pkg-0.1.24.tar.gz	17190 bytes	2025-09-05 11:54:58