{
    "packages": [
        {
            "name": "idris-static",
            "epoch": null,
            "version": "1.3.4",
            "release": "12.fc40",
            "arch": "x86_64"
        },
        {
            "name": "ghc-idris-doc",
            "epoch": null,
            "version": "1.3.4",
            "release": "12.fc40",
            "arch": "noarch"
        },
        {
            "name": "idris-docs",
            "epoch": null,
            "version": "1.3.4",
            "release": "12.fc40",
            "arch": "noarch"
        },
        {
            "name": "idris",
            "epoch": null,
            "version": "1.3.4",
            "release": "12.fc40",
            "arch": "x86_64"
        },
        {
            "name": "ghc-idris",
            "epoch": null,
            "version": "1.3.4",
            "release": "12.fc40",
            "arch": "x86_64"
        },
        {
            "name": "ghc-idris-devel",
            "epoch": null,
            "version": "1.3.4",
            "release": "12.fc40",
            "arch": "x86_64"
        },
        {
            "name": "idris-common",
            "epoch": null,
            "version": "1.3.4",
            "release": "12.fc40",
            "arch": "noarch"
        },
        {
            "name": "idris-manual",
            "epoch": null,
            "version": "1.3.4",
            "release": "12.fc40",
            "arch": "noarch"
        },
        {
            "name": "idris",
            "epoch": null,
            "version": "1.3.4",
            "release": "12.fc40",
            "arch": "src"
        },
        {
            "name": "ghc-idris-prof",
            "epoch": null,
            "version": "1.3.4",
            "release": "12.fc40",
            "arch": "x86_64"
        }
    ]
}