Index of /pypi/web/packages/5e/3a/ff416ffe3ccc44e24561c2192e475181065130993ba493bd1621820f0679/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:56:26
📄 agda_pkg-0.1.48-py2.py3-none-any.whl	33579 bytes	2025-09-05 11:56:27