Commit 45ca58bb authored by Michael Hanus's avatar Michael Hanus
Browse files

Package specs extended

parent 3ccd5f31
......@@ -16,6 +16,10 @@
"name": "cass",
"main": "CASS.Main"
},
"documentation": {
"src-dir": "docs",
"main": "main.tex"
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/cass.git",
"tag": "$version"
......
......@@ -16,6 +16,10 @@
"name": "cass",
"main": "CASS.Main"
},
"documentation": {
"src-dir": "docs",
"main": "main.tex"
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/cass.git",
"tag": "$version"
......
......@@ -26,6 +26,10 @@
"modules": [ "ListProp", "SortSpec" ]
}
],
"documentation": {
"src-dir": "docs",
"main": "main.tex"
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currycheck.git",
"tag": "$version"
......
......@@ -27,6 +27,10 @@
"modules": [ "ListProp", "SortSpec" ]
}
],
"documentation": {
"src-dir": "docs",
"main": "main.tex"
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currycheck.git",
"tag": "$version"
......
Supports Markdown
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