package-sources.json

{
    "Idris2": {
        "branch": "master",
        "description": "A purely functional programming language with first class types",
        "homepage": "https://idris-lang.org/",
        "owner": "idris-lang",
        "repo": "Idris2",
        "rev": "2609bd0c4b817d50138e771903b6103267cd8ccc",
        "sha256": "1rj52jl0ga1ry5wk0sa75chbq1fxgbm2754c27yz76vwx3hgjr3x",
        "type": "tarball",
        "url": "https://github.com/idris-lang/Idris2/archive/2609bd0c4b817d50138e771903b6103267cd8ccc.tar.gz",
        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
    },
    "bifunctors": {
        "branch": "master",
        "dependencies": [],
        "description": "A small bifunctor library for idris",
        "homepage": null,
        "owner": "shmish111",
        "repo": "Idris-Bifunctors",
        "rev": "06dd7a4e644df5f177037497d3f73f43d5da637f",
        "sha256": "16mg4lggiaq782nrmc1931ivc6sdf3waknpxp98crmf3xf1j59rs",
        "type": "tarball",
        "url": "https://github.com/shmish111/Idris-Bifunctors/archive/06dd7a4e644df5f177037497d3f73f43d5da637f.tar.gz",
        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
    },
    "lens": {
        "branch": "master",
        "dependencies": [
            "bifunctors"
        ],
        "description": "van Laarhoven lenses for Idris",
        "homepage": null,
        "owner": "shmish111",
        "repo": "idris-lens",
        "rev": "0f9dd4e96ead2d012631075743ba38cdb8d80c83",
        "sha256": "1jcxwx4jyd7wc3n6nyc4d1nhvcnzd4bd4f2smw851sg3i23372ik",
        "type": "tarball",
        "url": "https://github.com/shmish111/idris-lens/archive/0f9dd4e96ead2d012631075743ba38cdb8d80c83.tar.gz",
        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
    },
    "lightyear": {
        "branch": "master",
        "dependencies": [
            "effects"
        ],
        "description": "Parser combinators for Idris",
        "homepage": "",
        "owner": "ziman",
        "repo": "lightyear",
        "rev": "6f56439ea4bdba6a3ad4a11221c6028ed9d74047",
        "sha256": "08mmpysd62ya10n312jnhgscycnblq2lpk42skk8cvs8f5gznkma",
        "type": "tarball",
        "url": "https://github.com/ziman/lightyear/archive/6f56439ea4bdba6a3ad4a11221c6028ed9d74047.tar.gz",
        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
    },
    "optparse": {
        "branch": "master",
        "dependencies": [
            "bifunctors",
            "wl-pprint",
            "lens"
        ],
        "description": "Minimal port of optparse-applicative to idris",
        "homepage": null,
        "owner": "shmish111",
        "repo": "optparse-idris",
        "rev": "412766bc1d7e2ad6ae32d5ba6273748af0d8c547",
        "sha256": "179k7r5jzg1gpqary9fbz05gyi3ayhzmfdy1pkyssvxzsr6fd2bn",
        "type": "tarball",
        "url": "https://github.com/shmish111/optparse-idris/archive/412766bc1d7e2ad6ae32d5ba6273748af0d8c547.tar.gz",
        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
    },
    "wl-pprint": {
        "branch": "master",
        "dependencies": [],
        "description": "A mirror of wl-pprint fixed for GHC 7.10.2",
        "homepage": null,
        "owner": "shmish111",
        "repo": "wl-pprint",
        "rev": "7509b869c54d339ce170d9944bb224113bfb4636",
        "sha256": "0cl9krr038harl3ywml3spnndf5j9vp5mq75422hq9r4r012d4f4",
        "type": "tarball",
        "url": "https://github.com/shmish111/wl-pprint/archive/7509b869c54d339ce170d9944bb224113bfb4636.tar.gz",
        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
    }
}