...is a modern, robust, and simple package manager written for Idris, in Idris. It is to elba what Blodwen was for Idris.
(it is also entirely experimental and may spontaneously combust at any time)
Stay simple-ish. No versions or registries, just git repos. For now, rely on shell commands for outside behavior (we have no git bindings). No TOML parsing or anything of the sort.
Take advantage of Idris-specific features. In particular, this means (potentially) a versioning scheme based on Idris' dependent types (see this).