Index of /pypi/web/packages/33/37/e19400647b6e77733a20996953eb1ef9f68d390b277a35196c60bfc20e6e/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:56:06
📄 agda-pkg-0.1.42.tar.gz	21320 bytes	2025-09-05 11:56:07