cpm-index
This repository is the central package index for the Curry package manager.
Use cpm update
to update your local copy from this repository. In case of
problems, you can remove the $HOME/.cpm/index
directory (or whatever location
you specified in your .cpmrc
) and then run cpm update
, which will clone a
fresh copy.