Commit b9b169ce authored by Michael Hanus's avatar Michael Hanus
Browse files

cpc spec updated

parent 61f6b7be
......@@ -19,6 +19,10 @@
"name": "cpc",
"main": "CPC.Main"
},
"documentation": {
"src-dir": ".",
"main": "README.md"
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/cpc.git",
"tag": "$version"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment