Commit 3ccd5f31 authored by Michael Hanus's avatar Michael Hanus
Browse files

currypp spec extended

parent b9b169ce
...@@ -46,6 +46,10 @@ ...@@ -46,6 +46,10 @@
"FibInfinite", "Quicksort" ] "FibInfinite", "Quicksort" ]
} }
], ],
"documentation": {
"src-dir": "docs",
"main": "main.tex"
},
"source": { "source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currypp.git", "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currypp.git",
"tag": "$version" "tag": "$version"
......
...@@ -46,6 +46,10 @@ ...@@ -46,6 +46,10 @@
"FibInfinite", "Quicksort" ] "FibInfinite", "Quicksort" ]
} }
], ],
"documentation": {
"src-dir": "docs",
"main": "main.tex"
},
"source": { "source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currypp.git", "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currypp.git",
"tag": "$version" "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