Curry Package Manager: a tool to distribute and install Curry libraries and applications
Detailed package documentation (available shortly after this version has been published)