Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
tools:cpm [2017-04-24 13:46] – [Installing the Curry Package Manager] mh | tools:cpm [2017-04-25 15:27] – [Overview] mh | ||
---|---|---|---|
Line 4: | Line 4: | ||
The Curry Package Manager (CPM) is a tool to distribute and | The Curry Package Manager (CPM) is a tool to distribute and | ||
- | install Curry libraries and tools and manage version dependencies | + | install Curry libraries and applications |
between them. | between them. | ||
These libraries are organized in packages. | These libraries are organized in packages. | ||
Line 19: | Line 19: | ||
(w.r.t. its API and behavior) with a previous version of | (w.r.t. its API and behavior) with a previous version of | ||
the same package. | the same package. | ||
+ | |||
+ | The [[http:// | ||
+ | can immediately be downloaded or installed when CPM is installed (see below). | ||
+ | Using CPM, one can also obtain more detailed information about | ||
+ | individual packages. | ||
Line 104: | Line 109: | ||
However, if you have developed some package that might be of | However, if you have developed some package that might be of | ||
interest to other Curry users, please send the package | interest to other Curry users, please send the package | ||
- | as a zip file, or just the package description file | + | as a tar or zip file to |
- | '' | + | |
- | available git archive) | + | |
packages (AT) curry-language.org | packages (AT) curry-language.org |