{
    "name": "verify-non-fail",
    "version": "3.0.0",
    "author": "Michael Hanus <mh@informatik.uni-kiel.de>",
    "synopsis": "A tool to verify Curry operations as non-failing",
    "category": [ "Programming", "Analysis", "Verification" ],
    "license": "BSD-3-Clause",
    "licenseFile": "LICENSE",
    "dependencies": {
        "base"           : ">= 3.2.0, < 4.0.0",
        "abstract-curry" : ">= 4.0.0, < 5.0.0",
        "cass"           : ">= 5.0.0, < 6.0.0",
        "cass-analysis"  : ">= 5.0.0, < 6.0.0",
        "containers"     : ">= 3.0.0, < 4.0.0",
        "contracts"      : ">= 3.0.0, < 4.0.0",
        "csv"            : ">= 3.0.0, < 4.0.0",
        "currypath"      : ">= 3.0.0, < 4.0.0",
        "directory"      : ">= 3.0.0, < 4.0.0",
        "execpath"       : ">= 3.0.0, < 4.0.0",
        "extra"          : ">= 3.0.0, < 4.0.0",
        "filepath"       : ">= 3.0.0, < 4.0.0",
        "flatcurry"      : ">= 5.0.0, < 6.0.0",
        "flatcurry-smt"  : "^ 2.0.0",
        "io-extra"       : ">= 3.0.0, < 4.0.0",
        "json"           : ">= 3.0.0, < 4.0.0",
        "process"        : ">= 3.0.0, < 4.0.0",
        "profiling"      : ">= 3.0.0, < 4.0.0",
        "rw-data"        : ">= 1.0.0",
        "scc"            : ">= 3.0.0, < 4.0.0",
        "time"           : ">= 3.0.0, < 4.0.0",
        "transformers"   : ">= 3.0.0, < 4.0.0",
        "wl-pprint"      : ">= 3.0.0, < 4.0.0",
        "xml"            : ">= 3.0.0, < 4.0.0"
    },
    "configModule": "PackageConfig",
    "executable": {
        "name"   : "curry-calltypes",
        "main"   : "Main",
        "options": { "kics2" : ":set rts -T",
                     "kmcc"  : ":set rts -T"  }
    },
    "source": {
        "git": "https://github.com/curry-packages/verify-non-fail.git",
        "tag": "$version"
    }
}