Differences

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

--- tools:cpm [2017-04-24 13:46] – [Installing the Curry Package Manager] mh
+++ tools:cpm [2017-05-04 17:42] – [Installing the Curry Package Manager] mh
@@ Line 4: / Line 4: @@
 The Curry Package Manager (CPM) is a tool to distribute and
-install Curry libraries and tools and manage version dependencies
+install Curry libraries and applications and manage version dependencies
 between them.
 These libraries are organized in packages.
@@ Line 19: / Line 19: @@
 (w.r.t. its API and behavior) with a previous version of
 the same package.
+The [[http://www-ps.informatik.uni-kiel.de/~mh/curry/cpm/ | currently available packages]]
+can immediately be downloaded or installed when CPM is installed (see below).
+Using CPM, one can also obtain more detailed information about
+individual packages.
@@ Line 24: / Line 29: @@
 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://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
 install CPM from its public repository.
@@ Line 104: / Line 110: @@
 However, if you have developed some package that might be of
 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
-''package.json'' (if the package is already in a publicly
-available git archive) to
     packages (AT) curry-language.org

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

Back to top