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-05-04 17:42] – [Installing the Curry Package Manager] mh | tools:cpm [2017-06-07 12:07] – [Installing the Curry Package Manager] mh | ||
---|---|---|---|
Line 20: | Line 20: | ||
the same package. | the same package. | ||
- | The [[http:// | + | ===== Available Packages ===== |
- | can immediately be 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 46: | Line 49: | ||
If this was successful, the binary '' | If this was successful, the binary '' | ||
directory '' | directory '' | ||
- | of tools distributed | + | of applications |
directory '' | directory '' | ||
the binary '' | the binary '' |