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

Compiler compatibility added to dimacs

parent 335e6931
...@@ -9,6 +9,10 @@ ...@@ -9,6 +9,10 @@
"licenseFile": "LICENSE", "licenseFile": "LICENSE",
"dependencies": { "dependencies": {
}, },
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
"kics2": ">= 0.5.0, < 2.0.0"
},
"exportedModules": [ "Dimacs.Types", "Dimacs.Build", "Dimacs.Solver" ], "exportedModules": [ "Dimacs.Types", "Dimacs.Build", "Dimacs.Solver" ],
"source": { "source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/dimacs.git", "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/dimacs.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