Differences

This shows you the differences between two versions of the page.

--- tools:cpm [2017-05-04 17:41] – [Installing the Curry Package Manager] mh
+++ tools:cpm [2017-06-07 12:06] – mh
@@ Line 20: / Line 20: @@
 the same package.
-The [[http://www-ps.informatik.uni-kiel.de/~mh/curry/cpm/ | currently available packages]]
+===== 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://www-ps.informatik.uni-kiel.de/~mh/curry/cpm/ | fifty packages available]]
-individual packages.
+(including more than 400 modules).
+There is a [[http://www-ps.informatik.uni-kiel.de/~mh/curry/cpm/ | table of all packages]]
+with more detailed information (e.g., API documentation).
+These packages can immediately be downloaded or installed when CPM is installed (see below).
@@ Line 29: / Line 32: @@
 CPM is already part of recent distributions of the Curry systems
-[[http://www.informatik.uni-kiel.de/~pakcs/|PAKCS]] (Version 1.14.3 or higher) and
+[[http://www.informatik.uni-kiel.de/~pakcs/|PAKCS]] (Version 1.15.0 or higher) and
 [[http://www-ps.informatik.uni-kiel.de/kics2/|KiCS2]] (Version 0.6.0 or higher).
 If you have some older version of PAKCS or KiCS2, you can also

/srv/dokuwiki/currywiki/data/pages/tools/cpm.txt · Last modified: 2020-03-14 18:06 by mh

Back to top