Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| tools:cpm [2017-04-24 13:46] – [Installing the Curry Package Manager] mh | tools:cpm [2017-04-25 15:21] – [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 be immediately downloaded or installed when CPM is installed (see below). | ||
| + | Using CPM, one can also obtain more detailed information about | ||
| + | individual packages. | ||
