elba (cargo): elba is a package manager for Idris
Keywords: idris|package-manager