Skip to content
Snippets Groups Projects
Select Git revision
  • 89ce262cc129ae9165aee34a5147c9c6ece4c0f0
  • master default protected
2 results

cpm-index

Forked from curry-packages / cpm-index
914 commits behind, 1 commit ahead of the upstream repository.

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.