Index of /pypi/web/packages/b6/ab/76c17035277a5270b02008311e850c04d29f8f3e35d6ab86363e3a4b8b48/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:54:36
📄 agda-pkg-0.1.19.tar.gz	16356 bytes	2025-09-05 11:54:38