{
    "type": "package",

    "name": "mtonnberg/refinement-proofs",
    "summary": "Refinement types in elm",
    "license": "BSD-3-Clause",

    "version": "1.0.0",
    "exposed-modules": [
        "RefinementProofs"
    ],
    "elm-version": "0.19.0 <= v < 0.20.0",
    "dependencies": {
        "elm/core": "1.0.0 <= v < 2.0.0"
    },
    "test-dependencies": {}
}