Index of /pypi/web/packages/88/02/080e671a95e066a9c7442b111768541a64052f72862a31b5342dc5ad413e/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:55:43
📄 agda-pkg-0.1.36.tar.gz	20130 bytes	2025-09-05 11:55:45