Commit 1363bfa6 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Dependencies updated

parent 0f5fa79f
......@@ -6,7 +6,8 @@
"synopsis": "Libraries for finite-domain constraints implemented with SMT/SAT",
"category": [ "Constraints" ],
"dependencies": {
"dimacs": ">= 0.0.1"
"dimacs" : ">= 0.0.1",
"fl-parser": ">= 1.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
......
......@@ -15,6 +15,7 @@
"json" : ">= 2.0.0",
"cass-analysis" : ">= 2.0.0",
"cass" : ">= 2.0.0",
"csv" : ">= 1.0.0",
"flatcurry" : ">= 2.0.0"
},
"compilerCompatibility": {
......
......@@ -10,7 +10,9 @@
"cass" : ">= 2.0.0",
"cdbi" : ">= 2.0.0",
"currycheck" : ">= 2.0.0",
"fl-parser" : ">= 1.0.0",
"html" : ">= 2.0.0",
"regexp" : ">= 1.1.0",
"xml" : ">= 2.0.0"
},
"compilerCompatibility": {
......
......@@ -7,6 +7,7 @@
"dependencies": {
"cass-analysis": ">= 2.0.0",
"cass" : ">= 2.0.0",
"csv" : ">= 1.0.0",
"flatcurry" : ">= 2.0.0"
},
"compilerCompatibility": {
......
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