Index of /pypi/web/packages/9c/ed/b172d0432574a93e3ab13b6ffdcd97ff1b566052e6e6dec0e1d32c61650c/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:56:49
📄 agda-pkg-0.1.7.tar.gz	12568 bytes	2025-09-05 11:56:50