agda-pkg (pypi): A package manager for Agda
Keywords: agda|package-manager|agda-pkg|apkg|lightweight-dependency-management