Commit 6d069880 authored by Michael Hanus 's avatar Michael Hanus

Dependencies updated

parent a811e349
......@@ -13,7 +13,9 @@
A previous version of these libraries were part of the
PAKCS/KiCS2 distributions.",
"category": [ "Rewriting", "Narrowing" ],
"dependencies": { },
"dependencies": {
"abstract-curry": ">= 2.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 2.0.0",
"kics2": ">= 2.0.0"
......
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