{
    "packages": [
        {
            "name": "yices-devel",
            "epoch": null,
            "version": "2.6.4",
            "release": "7.fc40",
            "arch": "x86_64"
        },
        {
            "name": "yices",
            "epoch": null,
            "version": "2.6.4",
            "release": "7.fc40",
            "arch": "src"
        },
        {
            "name": "yices-debuginfo",
            "epoch": null,
            "version": "2.6.4",
            "release": "7.fc40",
            "arch": "x86_64"
        },
        {
            "name": "yices-tools-debuginfo",
            "epoch": null,
            "version": "2.6.4",
            "release": "7.fc40",
            "arch": "x86_64"
        },
        {
            "name": "yices-doc",
            "epoch": null,
            "version": "2.6.4",
            "release": "7.fc40",
            "arch": "noarch"
        },
        {
            "name": "yices",
            "epoch": null,
            "version": "2.6.4",
            "release": "7.fc40",
            "arch": "x86_64"
        },
        {
            "name": "yices-debugsource",
            "epoch": null,
            "version": "2.6.4",
            "release": "7.fc40",
            "arch": "x86_64"
        },
        {
            "name": "yices-tools",
            "epoch": null,
            "version": "2.6.4",
            "release": "7.fc40",
            "arch": "x86_64"
        }
    ]
}