Manage
Tools to manage the main repository of the Curry Package Manager
Detailed package documentation (available shortly after this version has been published)