Index of /pypi/web/packages/24/8f/5fde55590eae03c1b3d37d4b7c128ef746a6adf754a8a0364ffe5cb2c2fe/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:56:01
📄 agda_pkg-0.1.41-py2.py3-none-any.whl	30510 bytes	2025-09-05 11:56:02