{
    "packages": [
        {
            "name": "Agda",
            "epoch": null,
            "version": "2.7.0.1",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-murmur-hash",
            "epoch": null,
            "version": "0.1.0.11",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-vector-hashtables-devel",
            "epoch": null,
            "version": "0.1.2.0",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-murmur-hash-prof",
            "epoch": null,
            "version": "0.1.0.11",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-pqueue-doc",
            "epoch": null,
            "version": "1.5.0.0",
            "release": "54.fc43",
            "arch": "noarch"
        },
        {
            "name": "ghc-Agda-doc",
            "epoch": null,
            "version": "2.7.0.1",
            "release": "54.fc43",
            "arch": "noarch"
        },
        {
            "name": "ghc-pqueue-devel",
            "epoch": null,
            "version": "1.5.0.0",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-vector-hashtables-prof",
            "epoch": null,
            "version": "0.1.2.0",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-vector-hashtables-doc",
            "epoch": null,
            "version": "0.1.2.0",
            "release": "54.fc43",
            "arch": "noarch"
        },
        {
            "name": "ghc-pqueue",
            "epoch": null,
            "version": "1.5.0.0",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-pqueue-prof",
            "epoch": null,
            "version": "1.5.0.0",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-Agda-devel",
            "epoch": null,
            "version": "2.7.0.1",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "Agda-common",
            "epoch": null,
            "version": "2.7.0.1",
            "release": "54.fc43",
            "arch": "noarch"
        },
        {
            "name": "ghc-murmur-hash-doc",
            "epoch": null,
            "version": "0.1.0.11",
            "release": "54.fc43",
            "arch": "noarch"
        },
        {
            "name": "ghc-peano",
            "epoch": null,
            "version": "0.1.0.2",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-murmur-hash-devel",
            "epoch": null,
            "version": "0.1.0.11",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "Agda",
            "epoch": null,
            "version": "2.7.0.1",
            "release": "54.fc43",
            "arch": "src"
        },
        {
            "name": "ghc-peano-doc",
            "epoch": null,
            "version": "0.1.0.2",
            "release": "54.fc43",
            "arch": "noarch"
        },
        {
            "name": "ghc-peano-devel",
            "epoch": null,
            "version": "0.1.0.2",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-Agda",
            "epoch": null,
            "version": "2.7.0.1",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-vector-hashtables",
            "epoch": null,
            "version": "0.1.2.0",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-peano-prof",
            "epoch": null,
            "version": "0.1.0.2",
            "release": "54.fc43",
            "arch": "x86_64"
        },
        {
            "name": "ghc-Agda-prof",
            "epoch": null,
            "version": "2.7.0.1",
            "release": "54.fc43",
            "arch": "x86_64"
        }
    ]
}