Differences

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

--- tools:cpm [2017-10-21 11:37] – mh
+++ tools:cpm [2017-11-08 13:37] – [Available Packages] mh
@@ Line 22: / Line 22: @@
 ===== Available Packages =====
-There are more than [[http://www.informatik.uni-kiel.de/~mh/curry/cpm/ | sixty packages available]]
+There are more than [[http://www.informatik.uni-kiel.de/~mh/curry/cpm/ | 70 packages available]]
 (including more than 400 modules).
 There is a [[http://www.informatik.uni-kiel.de/~mh/curry/cpm/ | table of all packages]]

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

Back to top