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

Link to this comparison view

Both sides previous revision Previous revision
tools:cpm [2018-11-27 10:12]
tools:cpm [2019-01-17 15:26] (current)
mh [Available Packages]
Line 22: Line 22:
 ===== Available Packages ===== ===== Available Packages =====
-There are more than [[http://​www.informatik.uni-kiel.de/​~curry/​cpm/​ | 90 packages available]]+There are more than [[http://​www.informatik.uni-kiel.de/​~curry/​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.informatik.uni-kiel.de/​~curry/​cpm/​ | table of all packages]]
/srv/dokuwiki/currywiki/data/pages/tools/cpm.txt ยท Last modified: 2019-01-17 15:26 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