package.json 673 Bytes
Newer Older
Michael Hanus's avatar
Michael Hanus committed
1
2
3
{
    "name": "peval",
    "version": "2.0.0",
Michael Hanus's avatar
Michael Hanus committed
4
    "author": "Bjoern Peemoeller <bjp@informatik.uni-kiel.de>",
Michael Hanus's avatar
Michael Hanus committed
5
6
    "synopsis": "A partial evaluator for Curry",
    "category": [ "Analysis", "Optimization" ],
Michael Hanus's avatar
Michael Hanus committed
7
    "dependencies": {
Michael Hanus's avatar
Michael Hanus committed
8
        "flatcurry"          : ">= 2.0.0",
Michael Hanus's avatar
Michael Hanus committed
9
10
        "flatcurry-annotated": ">= 2.0.0",
        "wl-pprint"          : ">= 0.0.1"
Michael Hanus's avatar
Michael Hanus committed
11
    },
Michael Hanus's avatar
Michael Hanus committed
12
13
14
15
16
17
18
19
20
21
22
23
24
    "compilerCompatibility": {
        "pakcs": ">= 2.0.0",
        "kics2": ">= 2.0.0"
    },
    "executable": {
        "name": "curry-peval",
        "main": "peval"
    },
    "source": {
        "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/peval.git",
        "tag": "$version"
    }
}