{ "packages": [ { "name": "cbmc-debuginfo", "epoch": null, "version": "6.4.1", "release": "1.fc42", "arch": "x86_64" }, { "name": "cbmc-utils", "epoch": null, "version": "6.4.1", "release": "1.fc42", "arch": "x86_64" }, { "name": "cbmc", "epoch": null, "version": "6.4.1", "release": "1.fc42", "arch": "x86_64" }, { "name": "cbmc-debugsource", "epoch": null, "version": "6.4.1", "release": "1.fc42", "arch": "x86_64" }, { "name": "cbmc-doc", "epoch": null, "version": "6.4.1", "release": "1.fc42", "arch": "x86_64" }, { "name": "cbmc", "epoch": null, "version": "6.4.1", "release": "1.fc42", "arch": "src" } ] }