Index of /pypi/web/packages/5f/68/cf29fd41bc2de045c5f3b3a568ad23b1130c44ee85a0bfcb945baa744f3d/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:54:25
📄 agda-pkg-0.1.16.tar.gz	16036 bytes	2025-09-05 11:54:25