cpm-manage-2.0.0 ---------------- Version 2.0.0 Author Michael Hanus Synopsis Tools to manage the main repository of the Curry Package Manager Category Packaging Dependencies cpm >= 2.0.0 graphviz >= 2.0.0 html >= 2.0.0 Compiler compatibility pakcs >= 2.0.0 kics2 >= 2.0.0 Executable Name cpm-manage Main module CPM.Manage Exported modules CPM.Manage Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/cpm-manage.git@v2.0.0