Index of /pypi/web/packages/a3/2c/09371b5cba6551c3a85133aebb2c6583e975494c07c520763feaa27c2309/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:54:13
📄 agda-pkg-0.1.13.tar.gz	15720 bytes	2025-09-05 11:54:14