{
    "packages": [
        {
            "name": "cryptominisat-debuginfo",
            "epoch": null,
            "version": "5.8.0",
            "release": "18.fc40",
            "arch": "x86_64"
        },
        {
            "name": "python3-cryptominisat-debuginfo",
            "epoch": null,
            "version": "5.8.0",
            "release": "18.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cryptominisat-debugsource",
            "epoch": null,
            "version": "5.8.0",
            "release": "18.fc40",
            "arch": "x86_64"
        },
        {
            "name": "python3-cryptominisat",
            "epoch": null,
            "version": "5.8.0",
            "release": "18.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cryptominisat-devel",
            "epoch": null,
            "version": "5.8.0",
            "release": "18.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cryptominisat",
            "epoch": null,
            "version": "5.8.0",
            "release": "18.fc40",
            "arch": "src"
        },
        {
            "name": "cryptominisat-libs-debuginfo",
            "epoch": null,
            "version": "5.8.0",
            "release": "18.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cryptominisat-libs",
            "epoch": null,
            "version": "5.8.0",
            "release": "18.fc40",
            "arch": "x86_64"
        },
        {
            "name": "cryptominisat",
            "epoch": null,
            "version": "5.8.0",
            "release": "18.fc40",
            "arch": "x86_64"
        }
    ]
}