Commit e8ee9f98 authored by Michael Hanus 's avatar Michael Hanus

Compiler deps updated

parent 3e207a33
...@@ -9,8 +9,8 @@ ...@@ -9,8 +9,8 @@
"boxes": ">= 0.0.1" "boxes": ">= 0.0.1"
}, },
"compilerCompatibility": { "compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0", "pakcs": ">= 1.14.0",
"kics2": ">= 0.5.0, < 2.0.0" "kics2": ">= 0.5.0"
}, },
"source": { "source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/opt-parse.git", "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/opt-parse.git",
......
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