Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
tools:cpm [2019-01-17 15:26] mh [Available Packages] |
tools:cpm [2020-03-14 18:06] (current) mh [Available Packages] |
||
---|---|---|---|
Line 22: | Line 22: | ||
===== Available Packages ===== | ===== Available Packages ===== | ||
- | There are more than [[http://www.informatik.uni-kiel.de/~curry/cpm/ | 100 packages available]] | + | There are more than [[http://www-ps.informatik.uni-kiel.de/~cpm/ | 100 packages available]] |
(including more than 600 modules). | (including more than 600 modules). | ||
- | There is a [[http://www.informatik.uni-kiel.de/~curry/cpm/ | table of all packages]] | + | There is a [[http://www-ps.informatik.uni-kiel.de/~cpm/ | table of all packages]] |
with more detailed information (e.g., API documentation). | with more detailed information (e.g., API documentation). | ||
These packages can immediately be downloaded or installed when CPM is installed (see below). | These packages can immediately be downloaded or installed when CPM is installed (see below). |