Index of /pypi/web/packages/6d/7c/b452e60954a001ca50449378371cf05cac5f49377560a9d32e6a9a2d9df0/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:55:32
📄 agda-pkg-0.1.33.tar.gz	19749 bytes	2025-09-05 11:55:34