OUTDATED, moved to https://github.com/curry-packages/cpm
The Curry Package Manager
A partial evaluator for Curry
