Index of /pypi/web/packages/92/22/24ed5d5a306269a53e272bfc878e33c4a88bddcef63dbb6602a4a247c433/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:54:21
📄 agda-pkg-0.1.15.tar.gz	15767 bytes	2025-09-05 11:54:22