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-11 17:41] – [Installing the Curry Package Manager] mh | tools:cpm [2017-04-11 17:42] – [Installing the Curry Package Manager] mh | ||
|---|---|---|---|
| Line 25: | Line 25: | ||
| CPM is already part of recent distribution of the Curry systems | CPM is already part of recent distribution of the Curry systems | ||
| 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, | + | If you have some older version of PAKCS or KiCS2, |
| install CPM from its public repository. | install CPM from its public repository. | ||
| The installation requires that one of the Curry systems PAKCS or KiCS2 | The installation requires that one of the Curry systems PAKCS or KiCS2 | ||
