Commit 23db636c authored by Michael Hanus 's avatar Michael Hanus
Browse files

Dependency on rewriting added

parent aeef0777
{
"name": "currycheck",
"version": "1.0.0",
"version": "1.0.1",
"author": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "A tool to support automatic testing of Curry programs",
"category": [ "Testing" ],
"dependencies": {
"rewriting" : ">= 0.0.1"
},
"configModule": "CurryCheckConfig",
"executable": {
......
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