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-20 18:57] – [Quick Start] mh | tools:cpm [2017-04-24 13:46] – [Installing the Curry Package Manager] mh | ||
|---|---|---|---|
| Line 23: | Line 23: | ||
| ===== 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 | ||
