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

Dependencies updated

parent 8eadf452
......@@ -6,6 +6,7 @@
"synopsis": "A tool to add missing type signatures in a Curry program",
"category": [ "Programming" ],
"dependencies": {
"abstract-curry" : ">= 1.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 1.12.0, < 2.0.0",
......
......@@ -6,6 +6,7 @@
"synopsis": "A tool to add missing type signatures in a Curry program",
"category": [ "Programming" ],
"dependencies": {
"abstract-curry": ">= 2.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 2.0.0",
......
......@@ -6,6 +6,7 @@
"synopsis": "A tool to observe functional logic computations",
"category": [ "Debugging" ],
"dependencies": {
"abstract-curry" : ">= 1.0.0"
},
"exportedModules": [ "Observe" ],
"compilerCompatibility": {
......
......@@ -6,6 +6,7 @@
"synopsis": "A tool to observe functional logic computations",
"category": [ "Debugging" ],
"dependencies": {
"abstract-curry": ">= 2.0.0"
},
"exportedModules": [ "Observe" ],
"compilerCompatibility": {
......
......@@ -6,7 +6,8 @@
"synopsis": "Curry Program Coverage tool",
"category": [ "Programming" ],
"dependencies": {
"html": ">= 1.0.0"
"abstract-curry": ">= 1.0.0",
"html" : ">= 1.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
......
......@@ -8,13 +8,14 @@
"license": "BSD-3-Clause",
"licenseFile": "LICENSE",
"dependencies": {
"det-parse" : ">= 0.0.1",
"opt-parse" : ">= 0.0.3",
"boxes" : ">= 0.0.2",
"json" : ">= 0.0.2",
"cass-analysis": ">= 0.0.3",
"cass" : ">= 0.0.1",
"flatcurry" : ">= 1.0.0"
"abstract-curry": ">= 1.0.0",
"det-parse" : ">= 0.0.1",
"opt-parse" : ">= 0.0.3",
"boxes" : ">= 0.0.2",
"json" : ">= 0.0.2",
"cass-analysis" : ">= 0.0.3",
"cass" : ">= 0.0.1",
"flatcurry" : ">= 1.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
......
......@@ -8,13 +8,14 @@
"license": "BSD-3-Clause",
"licenseFile": "LICENSE",
"dependencies": {
"det-parse" : ">= 0.0.1",
"opt-parse" : ">= 0.0.3",
"boxes" : ">= 2.0.0",
"json" : ">= 2.0.0",
"cass-analysis": ">= 2.0.0",
"cass" : ">= 2.0.0",
"flatcurry" : ">= 2.0.0"
"abstract-curry": ">= 2.0.0",
"det-parse" : ">= 0.0.1",
"opt-parse" : ">= 0.0.3",
"boxes" : ">= 2.0.0",
"json" : ">= 2.0.0",
"cass-analysis" : ">= 2.0.0",
"cass" : ">= 2.0.0",
"flatcurry" : ">= 2.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 2.0.0",
......
......@@ -5,8 +5,9 @@
"synopsis": "A tool to support automatic testing of Curry programs",
"category": [ "Testing" ],
"dependencies": {
"flatcurry" : ">= 1.0.0",
"rewriting" : ">= 0.0.1"
"abstract-curry" : ">= 1.0.0",
"flatcurry" : ">= 1.0.0",
"rewriting" : ">= 0.0.1"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
......
......@@ -5,8 +5,9 @@
"synopsis": "A tool to support automatic testing of Curry programs",
"category": [ "Testing" ],
"dependencies": {
"flatcurry" : ">= 2.0.0",
"rewriting" : ">= 2.0.0"
"abstract-curry": ">= 2.0.0",
"flatcurry" : ">= 2.0.0",
"rewriting" : ">= 2.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 2.0.0",
......
......@@ -5,11 +5,12 @@
"synopsis": "A documentation generator for Curry",
"category": [ "Documentation", "Analysis" ],
"dependencies": {
"cass-analysis": ">= 0.0.1",
"cass" : ">= 0.0.1",
"flatcurry" : ">= 1.0.0",
"html" : ">= 0.0.1",
"markdown" : ">= 1.0.0"
"abstract-curry" : ">= 1.0.0",
"cass-analysis" : ">= 0.0.1",
"cass" : ">= 0.0.1",
"flatcurry" : ">= 1.0.0",
"html" : ">= 0.0.1",
"markdown" : ">= 1.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
......
......@@ -5,11 +5,12 @@
"synopsis": "A documentation generator for Curry",
"category": [ "Documentation", "Analysis" ],
"dependencies": {
"cass-analysis": ">= 2.0.0",
"cass" : ">= 2.0.0",
"flatcurry" : ">= 2.0.0",
"html" : ">= 2.0.0",
"markdown" : ">= 2.0.0"
"abstract-curry": ">= 2.0.0",
"cass-analysis" : ">= 2.0.0",
"cass" : ">= 2.0.0",
"flatcurry" : ">= 2.0.0",
"html" : ">= 2.0.0",
"markdown" : ">= 2.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 2.0.0",
......
......@@ -3,11 +3,12 @@
"version": "2.0.0",
"author": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "The standard preprocessor of Curry",
"category": [ "Analysis" ],
"category": [ "Programming", "Analysis" ],
"dependencies": {
"cass-analysis": ">= 2.0.0",
"cass" : ">= 2.0.0",
"currycheck" : ">= 2.0.0"
"abstract-curry": ">= 2.0.0",
"cass-analysis" : ">= 2.0.0",
"cass" : ">= 2.0.0",
"currycheck" : ">= 2.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 2.0.0",
......
......@@ -6,6 +6,7 @@
"synopsis": "A tool for declarative software development",
"category": [ "Programming", "Debugging" ],
"dependencies": {
"abstract-curry" : ">= 1.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 1.10.0, < 2.0.0"
......
......@@ -5,8 +5,9 @@
"synopsis": "Tools for dealing with database applications specified by entity-relationship diagrams",
"category": [ "Database" ],
"dependencies": {
"flatcurry": ">= 1.0.0",
"graphviz" : ">= 1.0.0"
"abstract-curry" : ">= 1.0.0",
"flatcurry" : ">= 1.0.0",
"graphviz" : ">= 1.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
......
......@@ -5,8 +5,9 @@
"synopsis": "Tools for dealing with database applications specified by entity-relationship diagrams",
"category": [ "Database" ],
"dependencies": {
"flatcurry": ">= 2.0.0",
"graphviz" : ">= 2.0.0"
"abstract-curry": ">= 2.0.0",
"flatcurry" : ">= 2.0.0",
"graphviz" : ">= 2.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 2.0.0",
......
......@@ -5,6 +5,7 @@
"synopsis": "A tool to implement plural arguments in a Curry program",
"category": [ "Programming" ],
"dependencies": {
"abstract-curry" : ">= 1.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
......
......@@ -5,6 +5,7 @@
"synopsis": "A tool to implement plural arguments in a Curry program",
"category": [ "Programming" ],
"dependencies": {
"abstract-curry": ">= 2.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 2.0.0",
......
......@@ -13,7 +13,9 @@
A previous version of these libraries were part of the
PAKCS/KiCS2 distributions.",
"category": [ "Rewriting", "Narrowing" ],
"dependencies": { },
"dependencies": {
"abstract-curry" : ">= 1.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
"kics2": ">= 0.5.0, < 2.0.0"
......
......@@ -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"
......
......@@ -5,7 +5,8 @@
"synopsis": "A web application framework for Curry",
"category": [ "Web", "Database" ],
"dependencies": {
"ertools": ">= 1.0.0"
"abstract-curry": ">= 1.0.0",
"ertools" : ">= 1.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 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