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-25 15:27] – [Overview] mh | tools:cpm [2017-05-04 17:42] – [Installing the Curry Package Manager] mh | ||
---|---|---|---|
Line 20: | Line 20: | ||
the same package. | the same package. | ||
- | The [[http:// | + | The [[http:// |
can immediately be downloaded or installed when CPM is installed (see below). | can immediately be downloaded or installed when CPM is installed (see below). | ||
Using CPM, one can also obtain more detailed information about | Using CPM, one can also obtain more detailed information about | ||
Line 29: | Line 29: | ||
CPM is already part of recent distributions of the Curry systems | CPM is already part of recent distributions of the Curry systems | ||
- | PAKCS (Version 1.14.3 or higher) and KiCS2 (Version 0.5.2 or higher). | + | [[http:// |
+ | [[http:// | ||
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 | ||
install CPM from its public repository. | install CPM from its public repository. |