Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
tools:cpm [2017-04-27 10:22] – [Overview] mhtools:cpm [2017-05-04 17:41] – [Installing the Curry Package Manager] mh
Line 29: Line 29:
  
 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.or higher).+[[http://www.informatik.uni-kiel.de/~pakcs/|PAKCS]] (Version 1.14.3 or higher) and 
 +[[http://www-ps.informatik.uni-kiel.de/kics2/|KiCS2]] (Version 0.6.or higher).
 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.
/srv/dokuwiki/currywiki/data/pages/tools/cpm.txt · Last modified: 2020-03-14 18:06 by mh
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0