{
    "packages": [
        {
            "name": "cbmc",
            "epoch": null,
            "version": "5.50.0",
            "release": "6.fc40",
            "arch": "src"
        },
        {
            "name": "cbmc-debuginfo",
            "epoch": null,
            "version": "5.50.0",
            "release": "6.fc40",
            "arch": "s390x"
        },
        {
            "name": "cbmc-doc",
            "epoch": null,
            "version": "5.50.0",
            "release": "6.fc40",
            "arch": "s390x"
        },
        {
            "name": "cbmc",
            "epoch": null,
            "version": "5.50.0",
            "release": "6.fc40",
            "arch": "s390x"
        },
        {
            "name": "cbmc-utils",
            "epoch": null,
            "version": "5.50.0",
            "release": "6.fc40",
            "arch": "s390x"
        },
        {
            "name": "cbmc-debugsource",
            "epoch": null,
            "version": "5.50.0",
            "release": "6.fc40",
            "arch": "s390x"
        }
    ]
}