Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
tools:cpm [2017-02-01 13:36] – [Overview] mh | tools:cpm [2017-02-01 18:38] – mh | ||
---|---|---|---|
Line 17: | Line 17: | ||
Currently, there is no support for automatically uploading | Currently, there is no support for automatically uploading | ||
new packages. However, if you have developed an interesting package, | new packages. However, if you have developed an interesting package, | ||
- | please write to '' | + | please write to '' |
- | it publish | + | it available |
===== Installing the Curry Package Manager ===== | ===== Installing the Curry Package Manager ===== | ||
Line 89: | Line 89: | ||
in this directory. | in this directory. | ||
- | For further information, | + | ===== Manual ===== |
+ | |||
+ | For further information, | ||