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-20 18:57] – [Quick Start] mh | tools:cpm [2017-04-25 15:22] – [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. | ||
===== Installing the Curry Package Manager ===== | ===== Installing the Curry Package Manager ===== | ||
- | CPM is already part of recent | + | CPM is already part of recent |
PAKCS (Version 1.14.3 or higher) and KiCS2 (Version 0.5.2 or higher). | PAKCS (Version 1.14.3 or higher) and KiCS2 (Version 0.5.2 or higher). | ||
If you have some older version of PAKCS or KiCS2, you can also | If you have some older version of PAKCS or KiCS2, you can also |