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:21] – [Overview] mh | tools:cpm [2017-06-07 12:06] – mh | ||
|---|---|---|---|
| Line 20: | Line 20: | ||
| the same package. | the same package. | ||
| - | The [[http:// | + | ===== Available Packages ===== |
| - | can be immediately downloaded or installed when CPM is installed (see below). | + | |
| - | Using CPM, one can also obtain more detailed information about | + | There are more than [[http:// |
| - | individual packages. | + | (including more than 400 modules). |
| + | There is a [[http:// | ||
| + | with more detailed information (e.g., API documentation). | ||
| + | These packages | ||
| Line 29: | Line 32: | ||
| 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. | ||
| Line 109: | Line 113: | ||
| However, if you have developed some package that might be of | However, if you have developed some package that might be of | ||
| interest to other Curry users, please send the package | interest to other Curry users, please send the package | ||
| - | as a zip file, or just the package description file | + | as a tar or zip file to |
| - | '' | + | |
| - | available git archive) | + | |
| packages (AT) curry-language.org | packages (AT) curry-language.org | ||
