The Curry Package Manager (deprecated, current version moved to group curry-packages)

Name
Last commit
Last update
bin Loading commit data...
doc Loading commit data...
misc Loading commit data...
src/CPM Loading commit data...
.gitignore Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
dependencies.txt Loading commit data...
fetch-dependencies.sh Loading commit data...