/pypi/web/packages/a9/2d/f3ce8a401c78a2fc8a4ded3635117dcf0f66f16a0b975e27dbbf8c83b63a/

File Name  ↓		File Size  ↓	Date  ↓
Parent directory/		-	-
agda-pkg-0.1.10.tar.gz		14.7 KiB	2018/10/01 17:31:51