Index of /pypi/web/packages/ab/69/e05037bad11fb5a158486fb3e3451d0534dfc781b93b4e98a683fc6aa827/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:54:04
📄 agda-pkg-0.1.11.tar.gz	15541 bytes	2025-09-05 11:54:06