{"updates": [{"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in cadical:\n\n- Install more header files, now needed by cryptominisat\n\nChanges in cryptominisat 5.11.22:\n\n- Simplify license to just MIT now that BSD-3-Clause code is gone\n- Bundle cadiback, which is not available as a library upstream\n- Minor spec file simplifications\n- Upstream notes: Fixed a number of small, but annoying, bugs\n\nThe cvc5, stp, and yices builds are simple rebuilds due to the above changes.\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-07-16 22:15:34", "date_modified": null, "date_approved": "2024-07-16 22:18:26", "date_testing": "2024-07-16 22:17:37", "date_stable": "2024-07-16 22:18:26", "alias": "FEDORA-2024-9682ba4c06", "test_gating_status": "ignored", "from_tag": "f41-build-side-92668", "date_pushed": "2024-07-16 22:18:26", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-9682ba4c06", "title": "cadical-2.0.0-2.fc41 cryptominisat-5.11.22-1.fc41 cvc5-1.1.2-4.fc41 stp-2.3.4-2.fc41 yices-2.6.5-3.fc41", "version_hash": "236ee82f791e98ae2bbfca7e500dc2efaf27cb99", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-07-16 22:15:34", "update_id": 627750, "user_id": 91, "id": 3613172, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2024-07-16 22:15:49", "update_id": 627750, "user_id": 91, "id": 3613173, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-07-16 22:17:37", "update_id": 627750, "user_id": 91, "id": 3613175, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2024-07-16 22:17:37", "update_id": 627750, "user_id": 91, "id": 3613176, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2024-07-16 22:18:27", "update_id": 627750, "user_id": 91, "id": 3613178, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-2.0.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "cryptominisat-5.11.22-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "cvc5-1.1.2-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "stp-2.3.4-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "yices-2.6.5-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2297822, "title": "cryptominisat-5.11.22 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-9682ba4c06", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for cadical-2.0.0-1.fc41.\n\n##### **Changelog**\n\n```\n* Tue Jun 18 2024 Jerry James <loganjerry@gmail.com> - 1:2.0.0-1\n- Version 2.0.0\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-06-18 16:40:35", "date_modified": null, "date_approved": "2024-06-18 16:44:23", "date_testing": "2024-06-18 16:42:46", "date_stable": "2024-06-18 16:44:23", "alias": "FEDORA-2024-71eaf72b54", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-06-18 16:44:23", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-71eaf72b54", "title": "cadical-2.0.0-1.fc41", "version_hash": "f7c72a1cd9f512cb502a062adfb28f2ac7d990b6", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2024-06-18 16:40:35", "update_id": 619604, "user_id": 91, "id": 3570587, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2024-06-18 16:40:48", "update_id": 619604, "user_id": 91, "id": 3570589, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-06-18 16:42:46", "update_id": 619604, "user_id": 91, "id": 3570590, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2024-06-18 16:42:46", "update_id": 619604, "user_id": 91, "id": 3570591, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2024-06-18 16:44:23", "update_id": 619604, "user_id": 91, "id": 3570594, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-2.0.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 1}], "bugs": [], "updateid": "FEDORA-2024-71eaf72b54", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 3, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in cadical 1.9.5:\n\n- Removes an unexpected performance regression on the anniversary track due to marking forward strengthened redundant clauses as used\n\nChanges in cvc5 1.1.2:\n\n- See https://github.com/cvc5/cvc5/blob/main/NEWS.md\n\nChanges in drat-trim:\n\n- Update for proof (de)compression fixes\n- Stop building for 32-bit x86\n\nChanges in drat2er:\n\n- Switch to different upstream repository\n- Drop upstreamed arg-order and cli11-2-compat patches\n- BR catch-devel instead of catch2-devel\n\nChanges in kissat:\n\n- Stop building for 32-bit x86\n\nChanges in lfsc:\n\n- Update to 20230914 git snapshot\n- Drop upstreamed stdint patch\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-03-14 21:56:51", "date_modified": null, "date_approved": "2024-03-18 02:03:16", "date_testing": "2024-03-15 02:01:19", "date_stable": "2024-03-23 00:20:56", "alias": "FEDORA-2024-6bfd64f19d", "test_gating_status": "ignored", "from_tag": "f40-build-side-85761", "date_pushed": "2024-03-23 00:20:56", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-6bfd64f19d", "title": "cadical-1.9.5-1.fc40 cvc5-1.1.2-1.fc40 drat-trim-0-0.24.20240309git89ddbfb.fc40 drat2er-0-0.15.20211228git6dfd668.fc40 kissat-3.1.1-4.fc40 lfsc-0.20230914-1.fc40", "version_hash": "15ed32f67f25d65216dd8b77baac6d1e9586742f", "release": {"name": "F40", "long_name": "Fedora 40", "version": "40", "id_prefix": "FEDORA", "branch": "f40", "dist_tag": "f40", "stable_tag": "f40-updates", "testing_tag": "f40-updates-testing", "candidate_tag": "f40-updates-candidate", "pending_signing_tag": "f40-signing-pending", "pending_testing_tag": "f40-updates-testing-pending", "pending_stable_tag": "f40-updates-pending", "override_tag": "f40-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-05-13", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-03-14 21:56:51", "update_id": 597587, "user_id": 91, "id": 3451938, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2024-03-14 21:57:05", "update_id": 597587, "user_id": 91, "id": 3451939, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by bodhi. ", "timestamp": "2024-03-14 22:00:28", "update_id": 597587, "user_id": 91, "id": 3451948, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to testing.", "timestamp": "2024-03-15 02:03:29", "update_id": 597587, "user_id": 91, "id": 3452186, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi. \n\nThere is an ongoing freeze; this will be pushed to stable after the freeze is over. ", "timestamp": "2024-03-18 02:03:16", "update_id": 597587, "user_id": 91, "id": 3455052, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to stable.", "timestamp": "2024-03-23 00:42:59", "update_id": 597587, "user_id": 91, "id": 3462374, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.9.5-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 1}, {"nvr": "cvc5-1.1.2-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "drat2er-0-0.15.20211228git6dfd668.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "drat-trim-0-0.24.20240309git89ddbfb.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "kissat-3.1.1-4.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "lfsc-0.20230914-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-6bfd64f19d", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in cadical 1.9.5:\n\n- Removes an unexpected performance regression on the anniversary track due to marking forward strengthened redundant clauses as used\n\nChanges in cvc5 1.1.2:\n\n- See https://github.com/cvc5/cvc5/blob/main/NEWS.md\n\nChanges in drat-trim:\n\n- Update for proof (de)compression fixes\n- Stop building for 32-bit x86\n\nChanges in drat2er:\n\n- Switch to different upstream repository\n- Drop upstreamed arg-order and cli11-2-compat patches\n- BR catch-devel instead of catch2-devel\n\nChanges in kissat:\n\n- Stop building for 32-bit x86\n\nChanges in lfsc:\n\n- Update to 20230914 git snapshot\n- Drop upstreamed stdint patch\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-03-14 20:15:31", "date_modified": null, "date_approved": "2024-03-14 20:32:18", "date_testing": "2024-03-14 20:31:05", "date_stable": "2024-03-14 20:32:18", "alias": "FEDORA-2024-ccb079bdcc", "test_gating_status": "ignored", "from_tag": "f41-build-side-85753", "date_pushed": "2024-03-14 20:32:18", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-ccb079bdcc", "title": "cadical-1.9.5-1.fc41 cvc5-1.1.2-1.fc41 drat-trim-0-0.24.20240309git89ddbfb.fc41 drat2er-0-0.15.20211228git6dfd668.fc41 kissat-3.1.1-4.fc41 lfsc-0.20230914-1.fc41", "version_hash": "4d4f90a0c30a4970b2c3ce015747b679e4aeac17", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-03-14 20:15:31", "update_id": 597565, "user_id": 91, "id": 3451822, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2024-03-14 20:15:44", "update_id": 597565, "user_id": 91, "id": 3451823, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-03-14 20:31:05", "update_id": 597565, "user_id": 91, "id": 3451854, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2024-03-14 20:31:05", "update_id": 597565, "user_id": 91, "id": 3451855, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2024-03-14 20:32:19", "update_id": 597565, "user_id": 91, "id": 3451859, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.9.5-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "cvc5-1.1.2-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "drat2er-0-0.15.20211228git6dfd668.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "drat-trim-0-0.24.20240309git89ddbfb.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "kissat-3.1.1-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "lfsc-0.20230914-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-ccb079bdcc", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 7, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "See https://github.com/arminbiere/cadical/blob/master/NEWS.md for changes in cadical versions 1.7.5 through 1.9.4.\n\nSee https://github.com/cvc5/cvc5/blob/main/NEWS.md for changes in cvc5 versions 1.0.9 and 1.1.0.\n\nThe yices build is a simple rebuild due to the cadical update.\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-01-10 16:52:57", "date_modified": null, "date_approved": "2024-01-18 01:43:16", "date_testing": "2024-01-11 01:39:47", "date_stable": "2024-01-19 02:40:58", "alias": "FEDORA-2024-356fb8422f", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-01-19 02:40:58", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-356fb8422f", "title": "cadical-1.9.4-1.fc39 cvc5-1.1.0-1.fc39 yices-2.6.4-8.fc39", "version_hash": "7b5139853ffebcdf55abd62126a5a3fe725a9e0c", "release": {"name": "F39", "long_name": "Fedora 39", "version": "39", "id_prefix": "FEDORA", "branch": "f39", "dist_tag": "f39", "stable_tag": "f39-updates", "testing_tag": "f39-updates-testing", "candidate_tag": "f39-updates-candidate", "pending_signing_tag": "f39-signing-pending", "pending_testing_tag": "f39-updates-testing-pending", "pending_stable_tag": "f39-updates-pending", "override_tag": "f39-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2024-11-26", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by jjames. ", "timestamp": "2024-01-10 16:52:58", "update_id": 577137, "user_id": 91, "id": 3345724, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2024-01-10 16:52:58", "update_id": 577137, "user_id": 91, "id": 3345725, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to testing.", "timestamp": "2024-01-11 01:40:57", "update_id": 577137, "user_id": 91, "id": 3346148, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi. ", "timestamp": "2024-01-18 01:43:16", "update_id": 577137, "user_id": 91, "id": 3353952, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to stable.", "timestamp": "2024-01-19 02:42:24", "update_id": 577137, "user_id": 91, "id": 3355244, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.9.4-1.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 1}, {"nvr": "cvc5-1.1.0-1.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}, {"nvr": "yices-2.6.4-8.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-356fb8422f", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for cadical-1.9.4-1.fc40.\n\n##### **Changelog**\n\n```\n* Wed Jan 10 2024 Jerry James <loganjerry@gmail.com> - 1:1.9.4-1\n- Version 1.9.4\n- Stop building for 32-bit x86\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-01-10 15:32:52", "date_modified": null, "date_approved": "2024-01-10 15:33:22", "date_testing": "2024-01-10 15:33:08", "date_stable": "2024-01-10 15:33:22", "alias": "FEDORA-2024-5d22ced214", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-01-10 15:33:22", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-5d22ced214", "title": "cadical-1.9.4-1.fc40", "version_hash": "3fdcc6b7d4f5b62a09201c36d89747fe16b84d7e", "release": {"name": "F40", "long_name": "Fedora 40", "version": "40", "id_prefix": "FEDORA", "branch": "f40", "dist_tag": "f40", "stable_tag": "f40-updates", "testing_tag": "f40-updates-testing", "candidate_tag": "f40-updates-candidate", "pending_signing_tag": "f40-signing-pending", "pending_testing_tag": "f40-updates-testing-pending", "pending_stable_tag": "f40-updates-pending", "override_tag": "f40-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-05-13", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2024-01-10 15:32:52", "update_id": 577080, "user_id": 91, "id": 3345558, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-01-10 15:33:08", "update_id": 577080, "user_id": 91, "id": 3345559, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2024-01-10 15:33:08", "update_id": 577080, "user_id": 91, "id": 3345560, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2024-01-10 15:33:22", "update_id": 577080, "user_id": 91, "id": 3345561, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.9.4-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 1}], "bugs": [], "updateid": "FEDORA-2024-5d22ced214", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for cadical-1.7.4-1.fc40.\n\n##### **Changelog**\n\n```\n* Sat Sep 16 2023 Jerry James <loganjerry@gmail.com> - 1:1.7.4-1\n- Version 1.7.4\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2023-09-17 02:59:42", "date_modified": null, "date_approved": "2023-09-17 03:02:08", "date_testing": "2023-09-17 03:00:02", "date_stable": "2023-09-17 03:02:08", "alias": "FEDORA-2023-e1a30d8350", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2023-09-17 03:02:08", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2023-e1a30d8350", "title": "cadical-1.7.4-1.fc40", "version_hash": "e6ec035e5191e78485cddb6ff203425d95d73417", "release": {"name": "F40", "long_name": "Fedora 40", "version": "40", "id_prefix": "FEDORA", "branch": "f40", "dist_tag": "f40", "stable_tag": "f40-updates", "testing_tag": "f40-updates-testing", "candidate_tag": "f40-updates-candidate", "pending_signing_tag": "f40-signing-pending", "pending_testing_tag": "f40-updates-testing-pending", "pending_stable_tag": "f40-updates-pending", "override_tag": "f40-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-05-13", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2023-09-17 02:59:42", "update_id": 548710, "user_id": 91, "id": 3201907, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2023-09-17 03:00:02", "update_id": 548710, "user_id": 91, "id": 3201908, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2023-09-17 03:00:03", "update_id": 548710, "user_id": 91, "id": 3201909, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2023-09-17 03:02:11", "update_id": 548710, "user_id": 91, "id": 3201914, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.7.4-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 1}], "bugs": [], "updateid": "FEDORA-2023-e1a30d8350", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 7, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in cadical 1.7.2:\n\n- Configuration option `--safe` disables writing to a file through `popen` which makes library usage safer.\n\nChanges in cadical 1.7.3:\n\n- Replaced the unsafe `popen` approach for compressed file writing with an explicit `pipe/fork/exec/waitpid` flow and accordingly removed the `--safe` configuration option again.\n\nChanges in kissat 3.1.1:\n\n- configuration option `--safe` disables writing through `popen`\n\nSee https://github.com/cvc5/cvc5/releases/tag/cvc5-1.0.6, https://github.com/cvc5/cvc5/releases/tag/cvc5-1.0.7, and https://github.com/cvc5/cvc5/releases/tag/cvc5-1.0.8 for changes in cvc5 1.0.8.\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2023-09-15 23:36:58", "date_modified": null, "date_approved": "2023-09-23 01:49:53", "date_testing": "2023-09-16 01:47:39", "date_stable": "2023-09-24 00:16:06", "alias": "FEDORA-2023-63f33ec217", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2023-09-24 00:16:06", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2023-63f33ec217", "title": "cadical-1.7.3-1.fc39 cvc5-1.0.8-1.fc39 kissat-3.1.1-1.fc39", "version_hash": "0b0daa7f4ab9903a1ce1a22f6836fba27b324fe9", "release": {"name": "F39", "long_name": "Fedora 39", "version": "39", "id_prefix": "FEDORA", "branch": "f39", "dist_tag": "f39", "stable_tag": "f39-updates", "testing_tag": "f39-updates-testing", "candidate_tag": "f39-updates-candidate", "pending_signing_tag": "f39-signing-pending", "pending_testing_tag": "f39-updates-testing-pending", "pending_stable_tag": "f39-updates-pending", "override_tag": "f39-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2024-11-26", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by jjames. ", "timestamp": "2023-09-15 23:36:58", "update_id": 548438, "user_id": 91, "id": 3200368, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2023-09-15 23:36:59", "update_id": 548438, "user_id": 91, "id": 3200369, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to testing.", "timestamp": "2023-09-16 01:48:52", "update_id": 548438, "user_id": 91, "id": 3200512, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi. ", "timestamp": "2023-09-23 01:49:53", "update_id": 548438, "user_id": 91, "id": 3211035, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to stable.", "timestamp": "2023-09-24 00:17:16", "update_id": 548438, "user_id": 91, "id": 3211498, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.7.3-1.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 1}, {"nvr": "cvc5-1.0.8-1.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}, {"nvr": "kissat-3.1.1-1.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2238660, "title": "cadical-1.7.2 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2023-63f33ec217", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for cadical-1.7.3-1.fc40.\n\n##### **Changelog**\n\n```\n* Fri Sep 15 2023 Jerry James <loganjerry@gmail.com> - 1:1.7.3-1\n- Version 1.7.3\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2023-09-15 21:10:49", "date_modified": null, "date_approved": "2023-09-15 21:14:03", "date_testing": "2023-09-15 21:11:34", "date_stable": "2023-09-15 21:14:03", "alias": "FEDORA-2023-47247d04bd", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2023-09-15 21:14:03", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2023-47247d04bd", "title": "cadical-1.7.3-1.fc40", "version_hash": "dba2efc1de1f5444a8da98f4dee2e57b24db2f4e", "release": {"name": "F40", "long_name": "Fedora 40", "version": "40", "id_prefix": "FEDORA", "branch": "f40", "dist_tag": "f40", "stable_tag": "f40-updates", "testing_tag": "f40-updates-testing", "candidate_tag": "f40-updates-candidate", "pending_signing_tag": "f40-signing-pending", "pending_testing_tag": "f40-updates-testing-pending", "pending_stable_tag": "f40-updates-pending", "override_tag": "f40-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-05-13", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2023-09-15 21:10:50", "update_id": 548398, "user_id": 91, "id": 3200247, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2023-09-15 21:11:34", "update_id": 548398, "user_id": 91, "id": 3200248, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2023-09-15 21:11:35", "update_id": 548398, "user_id": 91, "id": 3200249, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2023-09-15 21:14:03", "update_id": 548398, "user_id": 91, "id": 3200250, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.7.3-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 1}], "bugs": [], "updateid": "FEDORA-2023-47247d04bd", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 3, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in version 1.7.1:\n\n- Added support for VeriPB proofs (`--lrat --lratveripb`).\n - Various fixes:\n    - LRAT proofs for constraints (which previously were not traced correctly)\n    - internal-external mapping issues for LRAT (worked for user propagator but now also in combination with LRAT)\n    - further minor bug fixes.\n - Added support for LRAT + external propagator in combination\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2023-09-02 03:38:10", "date_modified": null, "date_approved": "2023-09-06 02:13:31", "date_testing": "2023-09-03 02:12:38", "date_stable": "2023-09-15 18:36:13", "alias": "FEDORA-2023-697700dadd", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2023-09-15 18:36:13", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2023-697700dadd", "title": "cadical-1.7.1-1.fc39", "version_hash": "3d58b21a300cb62e64da4983fdae69c4a3742a87", "release": {"name": "F39", "long_name": "Fedora 39", "version": "39", "id_prefix": "FEDORA", "branch": "f39", "dist_tag": "f39", "stable_tag": "f39-updates", "testing_tag": "f39-updates-testing", "candidate_tag": "f39-updates-candidate", "pending_signing_tag": "f39-signing-pending", "pending_testing_tag": "f39-updates-testing-pending", "pending_stable_tag": "f39-updates-pending", "override_tag": "f39-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2024-11-26", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by jjames. ", "timestamp": "2023-09-02 03:38:10", "update_id": 545232, "user_id": 91, "id": 3183721, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2023-09-02 03:38:10", "update_id": 545232, "user_id": 91, "id": 3183722, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to testing.", "timestamp": "2023-09-03 02:13:21", "update_id": 545232, "user_id": 91, "id": 3184148, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi. \n\nThere is an ongoing freeze; this will be pushed to stable after the freeze is over. ", "timestamp": "2023-09-06 02:13:31", "update_id": 545232, "user_id": 91, "id": 3187029, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to stable.", "timestamp": "2023-09-15 18:59:56", "update_id": 545232, "user_id": 91, "id": 3199828, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.7.1-1.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 1}], "bugs": [{"bug_id": 2236917, "title": "cadical-1.7.1 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2023-697700dadd", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for cadical-1.7.1-1.fc40.\n\n##### **Changelog**\n\n```\n* Fri Sep  1 2023 Jerry James <loganjerry@gmail.com> - 1:1.7.1-1\n- Version 1.7.1\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2023-09-02 03:19:52", "date_modified": null, "date_approved": "2023-09-02 03:22:33", "date_testing": "2023-09-02 03:20:10", "date_stable": "2023-09-02 03:22:33", "alias": "FEDORA-2023-4fbe7ffb97", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2023-09-02 03:22:33", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2023-4fbe7ffb97", "title": "cadical-1.7.1-1.fc40", "version_hash": "bc2e76d4af30b349ded047230ce3637edf80125b", "release": {"name": "F40", "long_name": "Fedora 40", "version": "40", "id_prefix": "FEDORA", "branch": "f40", "dist_tag": "f40", "stable_tag": "f40-updates", "testing_tag": "f40-updates-testing", "candidate_tag": "f40-updates-candidate", "pending_signing_tag": "f40-signing-pending", "pending_testing_tag": "f40-updates-testing-pending", "pending_stable_tag": "f40-updates-pending", "override_tag": "f40-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-05-13", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2023-09-02 03:19:52", "update_id": 545231, "user_id": 91, "id": 3183715, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2023-09-02 03:20:10", "update_id": 545231, "user_id": 91, "id": 3183716, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2023-09-02 03:20:10", "update_id": 545231, "user_id": 91, "id": 3183717, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2023-09-02 03:22:33", "update_id": 545231, "user_id": 91, "id": 3183718, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.7.1-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 1}], "bugs": [], "updateid": "FEDORA-2023-4fbe7ffb97", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "This update migrates Fedora from cvc4 to its successor, cvc5.", "type": "newpackage", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2023-07-29 22:51:23", "date_modified": null, "date_approved": "2023-07-29 22:54:00", "date_testing": "2023-07-29 22:53:11", "date_stable": "2023-07-29 22:54:00", "alias": "FEDORA-2023-639fcc15bc", "test_gating_status": "ignored", "from_tag": "f39-build-side-70713", "date_pushed": "2023-07-29 22:54:00", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2023-639fcc15bc", "title": "cadical-1.7.0-1.fc39 cvc5-1.0.5-2.fc39 drat-trim-0-0.21.20230709git16f1d72.fc39 lfsc-0.20230523-1.fc39 libpoly-0.1.11-8.fc39 symfpu-0-0.15.20190517gitc3acaf6.fc39 why3-1.6.0-5.fc39", "version_hash": "f5963eaee178a0db0a908c024910a020f4a05789", "release": {"name": "F39", "long_name": "Fedora 39", "version": "39", "id_prefix": "FEDORA", "branch": "f39", "dist_tag": "f39", "stable_tag": "f39-updates", "testing_tag": "f39-updates-testing", "candidate_tag": "f39-updates-candidate", "pending_signing_tag": "f39-signing-pending", "pending_testing_tag": "f39-updates-testing-pending", "pending_stable_tag": "f39-updates-pending", "override_tag": "f39-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2024-11-26", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2023-07-29 22:51:23", "update_id": 534892, "user_id": 91, "id": 3139951, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2023-07-29 22:53:12", "update_id": 534892, "user_id": 91, "id": 3139952, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2023-07-29 22:54:01", "update_id": 534892, "user_id": 91, "id": 3139953, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.7.0-1.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}, {"nvr": "cvc5-1.0.5-2.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}, {"nvr": "drat-trim-0-0.21.20230709git16f1d72.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}, {"nvr": "lfsc-0.20230523-1.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}, {"nvr": "libpoly-0.1.11-8.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}, {"nvr": "symfpu-0-0.15.20190517gitc3acaf6.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.6.0-5.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2172651, "title": "cadical-1.7.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2223012, "title": "Review Request: cvc5 - Automatic theorem prover for SMT problems", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2023-639fcc15bc", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for cadical-1.5.3-1.fc38.\n\n##### **Changelog**\n\n```\n* Sat Sep 10 2022 Jerry James <loganjerry@gmail.com> - 1:1.5.3-1\n- Version 1.5.3\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": null, "close_bugs": true, "date_submitted": "2022-09-10 17:32:27", "date_modified": null, "date_approved": null, "date_testing": "2022-09-10 17:32:48", "date_stable": "2022-09-10 17:34:18", "alias": "FEDORA-2022-2309efa565", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2022-09-10 17:34:18", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2022-2309efa565", "title": "cadical-1.5.3-1.fc38", "version_hash": "bf4ee3446eca6c21c38c0d6330e1f68bfe2fcbfa", "release": {"name": "F38", "long_name": "Fedora 38", "version": "38", "id_prefix": "FEDORA", "branch": "f38", "dist_tag": "f38", "stable_tag": "f38-updates", "testing_tag": "f38-updates-testing", "candidate_tag": "f38-updates-candidate", "pending_signing_tag": "f38-signing-pending", "pending_testing_tag": "f38-updates-testing-pending", "pending_stable_tag": "f38-updates-pending", "override_tag": "f38-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2024-05-21", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2022-09-10 17:32:27", "update_id": 446862, "user_id": 91, "id": 2711276, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2022-09-10 17:32:48", "update_id": 446862, "user_id": 91, "id": 2711277, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2022-09-10 17:32:49", "update_id": 446862, "user_id": 91, "id": 2711278, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2022-09-10 17:34:19", "update_id": 446862, "user_id": 91, "id": 2711280, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.5.3-1.fc38", "signed": true, "release_id": 66, "type": "rpm", "epoch": 1}], "bugs": [], "updateid": "FEDORA-2022-2309efa565", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 7, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in version 1.5.0:\n\n- added 'constrain' API call described in the FMCAD'21 paper\n- replaced \"`while () push_back ()`\" with \"`if () resize ()`\" idiom (thanks go to Alexander Smal for pointing this out)\n\nChanges in version 1.5.1:\n\n- fixed copyright and added two regression traces\n\nChanges in version 1.5.2:\n\n- more copyright updates in banner\n- fixed MinGW cross-compilation (see 'BUILD.md')\n", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": null, "close_bugs": true, "date_submitted": "2021-10-28 15:35:54", "date_modified": null, "date_approved": null, "date_testing": "2021-10-29 21:16:45", "date_stable": "2021-11-06 01:26:22", "alias": "FEDORA-2021-013be41bf9", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2021-11-06 01:26:22", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2021-013be41bf9", "title": "cadical-1.5.2-1.fc35", "version_hash": "76d764e8146fb6726232563d0b723b72f0a02c49", "release": {"name": "F35", "long_name": "Fedora 35", "version": "35", "id_prefix": "FEDORA", "branch": "f35", "dist_tag": "f35", "stable_tag": "f35-updates", "testing_tag": "f35-updates-testing", "candidate_tag": "f35-updates-candidate", "pending_signing_tag": "f35-signing-pending", "pending_testing_tag": "f35-updates-testing-pending", "pending_stable_tag": "f35-updates-pending", "override_tag": "f35-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": null, "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by jjames. ", "timestamp": "2021-10-28 15:35:54", "update_id": 350803, "user_id": 91, "id": 2262974, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2021-10-28 15:35:54", "update_id": 350803, "user_id": 91, "id": 2262975, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2021-10-28 15:35:54", "update_id": 350803, "user_id": 91, "id": 2262976, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2021-10-28 16:13:01", "update_id": 350803, "user_id": 91, "id": 2262994, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to testing.", "timestamp": "2021-10-29 21:17:40", "update_id": 350803, "user_id": 91, "id": 2264402, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi. ", "timestamp": "2021-11-05 21:18:19", "update_id": 350803, "user_id": 91, "id": 2274245, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been pushed to stable.", "timestamp": "2021-11-06 01:27:29", "update_id": 350803, "user_id": 91, "id": 2274675, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.5.2-1.fc35", "signed": true, "release_id": 51, "type": "rpm", "epoch": 1}], "bugs": [{"bug_id": 2018039, "title": "cadical-1.5.2 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2021-013be41bf9", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for cadical-1.5.2-1.fc36.\n\n##### **Changelog**\n\n```\n* Thu Oct 28 2021 Jerry James <loganjerry@gmail.com> - 1:1.5.2-1\n- Version 1.5.2\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": null, "close_bugs": true, "date_submitted": "2021-10-28 15:11:09", "date_modified": null, "date_approved": null, "date_testing": "2021-10-28 15:11:30", "date_stable": "2021-10-28 15:13:25", "alias": "FEDORA-2021-223c6f12eb", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2021-10-28 15:13:25", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2021-223c6f12eb", "title": "cadical-1.5.2-1.fc36", "version_hash": "e3a98e161b396cda78178586e49af550df5f8012", "release": {"name": "F36", "long_name": "Fedora 36", "version": "36", "id_prefix": "FEDORA", "branch": "f36", "dist_tag": "f36", "stable_tag": "f36-updates", "testing_tag": "f36-updates-testing", "candidate_tag": "f36-updates-candidate", "pending_signing_tag": "f36-signing-pending", "pending_testing_tag": "f36-updates-testing-pending", "pending_stable_tag": "f36-updates-pending", "override_tag": "f36-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2023-05-16", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2021-10-28 15:11:09", "update_id": 350802, "user_id": 91, "id": 2262968, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2021-10-28 15:11:30", "update_id": 350802, "user_id": 91, "id": 2262969, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2021-10-28 15:11:30", "update_id": 350802, "user_id": 91, "id": 2262970, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2021-10-28 15:13:26", "update_id": 350802, "user_id": 91, "id": 2262972, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.5.2-1.fc36", "signed": true, "release_id": 56, "type": "rpm", "epoch": 1}], "bugs": [], "updateid": "FEDORA-2021-223c6f12eb", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for cadical-1.4.1-1.fc35.\n\n##### **Changelog**\n\n```\n* Mon Jun 21 2021 Jerry James <loganjerry@gmail.com> - 1:1.4.1-1\n- Version 1.4.1\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": null, "close_bugs": true, "date_submitted": "2021-06-21 15:47:29", "date_modified": null, "date_approved": null, "date_testing": "2021-06-21 15:47:45", "date_stable": "2021-06-21 15:48:29", "alias": "FEDORA-2021-3ff6584cf8", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2021-06-21 15:48:29", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2021-3ff6584cf8", "title": "cadical-1.4.1-1.fc35", "version_hash": "6978629afd0bd4d6ee16e4da28e22353dc797a50", "release": {"name": "F35", "long_name": "Fedora 35", "version": "35", "id_prefix": "FEDORA", "branch": "f35", "dist_tag": "f35", "stable_tag": "f35-updates", "testing_tag": "f35-updates-testing", "candidate_tag": "f35-updates-candidate", "pending_signing_tag": "f35-signing-pending", "pending_testing_tag": "f35-updates-testing-pending", "pending_stable_tag": "f35-updates-pending", "override_tag": "f35-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": null, "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2021-06-21 15:47:29", "update_id": 319052, "user_id": 91, "id": 2095750, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2021-06-21 15:47:45", "update_id": 319052, "user_id": 91, "id": 2095751, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2021-06-21 15:47:45", "update_id": 319052, "user_id": 91, "id": 2095752, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2021-06-21 15:48:30", "update_id": 319052, "user_id": 91, "id": 2095756, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.4.1-1.fc35", "signed": true, "release_id": 51, "type": "rpm", "epoch": 1}], "bugs": [], "updateid": "FEDORA-2021-3ff6584cf8", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for cadical-1.4.0-1.fc34.\n\n##### **Changelog**\n\n```\n* Sun Feb 14 2021 Jerry James <loganjerry@gmail.com> - 1:1.4.0-1\n- Version 1.4.0\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": null, "close_bugs": true, "date_submitted": "2021-02-14 18:51:53", "date_modified": null, "date_approved": null, "date_testing": "2021-02-14 18:52:10", "date_stable": "2021-02-14 18:54:27", "alias": "FEDORA-2021-8bb014e7c8", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2021-02-14 18:54:27", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2021-8bb014e7c8", "title": "cadical-1.4.0-1.fc34", "version_hash": "17ffe2ce4281bbf1207fd5ffeb5c85c0cb2ea2e3", "release": {"name": "F34", "long_name": "Fedora 34", "version": "34", "id_prefix": "FEDORA", "branch": "f34", "dist_tag": "f34", "stable_tag": "f34-updates", "testing_tag": "f34-updates-testing", "candidate_tag": "f34-updates-candidate", "pending_signing_tag": "f34-signing-pending", "pending_testing_tag": "f34-updates-testing-pending", "pending_stable_tag": "f34-updates-pending", "override_tag": "f34-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": null, "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2021-02-14 18:51:53", "update_id": 283677, "user_id": 91, "id": 1886267, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2021-02-14 18:52:10", "update_id": 283677, "user_id": 91, "id": 1886268, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2021-02-14 18:52:10", "update_id": 283677, "user_id": 91, "id": 1886269, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update can be pushed to stable now if the maintainer wishes", "timestamp": "2021-02-14 18:54:27", "update_id": 283677, "user_id": 91, "id": 1886270, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2021-02-14 18:54:29", "update_id": 283677, "user_id": 91, "id": 1886271, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.4.0-1.fc34", "signed": true, "release_id": 47, "type": "rpm", "epoch": 1}], "bugs": [], "updateid": "FEDORA-2021-8bb014e7c8", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for cadical-1.4.0-1.fc35.\n\n##### **Changelog**\n\n```\n* Sun Feb 14 2021 Jerry James <loganjerry@gmail.com> - 1:1.4.0-1\n- Version 1.4.0\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": null, "close_bugs": true, "date_submitted": "2021-02-14 18:44:14", "date_modified": null, "date_approved": null, "date_testing": "2021-02-14 18:44:38", "date_stable": "2021-02-14 18:45:29", "alias": "FEDORA-2021-d16c51716f", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2021-02-14 18:45:29", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2021-d16c51716f", "title": "cadical-1.4.0-1.fc35", "version_hash": "0660621a8eb133c37359d8c3b16709ef55e92508", "release": {"name": "F35", "long_name": "Fedora 35", "version": "35", "id_prefix": "FEDORA", "branch": "f35", "dist_tag": "f35", "stable_tag": "f35-updates", "testing_tag": "f35-updates-testing", "candidate_tag": "f35-updates-candidate", "pending_signing_tag": "f35-signing-pending", "pending_testing_tag": "f35-updates-testing-pending", "pending_stable_tag": "f35-updates-pending", "override_tag": "f35-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": null, "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2021-02-14 18:44:14", "update_id": 283675, "user_id": 91, "id": 1886257, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2021-02-14 18:44:39", "update_id": 283675, "user_id": 91, "id": 1886258, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2021-02-14 18:44:39", "update_id": 283675, "user_id": 91, "id": 1886259, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update can be pushed to stable now if the maintainer wishes", "timestamp": "2021-02-14 18:45:29", "update_id": 283675, "user_id": 91, "id": 1886260, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2021-02-14 18:45:31", "update_id": 283675, "user_id": 91, "id": 1886261, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.4.0-1.fc35", "signed": true, "release_id": 51, "type": "rpm", "epoch": 1}], "bugs": [], "updateid": "FEDORA-2021-d16c51716f", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for cadical-1.3.0-1.fc33.\n\n##### **Changelog**\n\n```\n* Mon Aug  3 2020 Jerry James <loganjerry@gmail.com> - 1:1.3.0-1\n- Version 1.3.0\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": null, "close_bugs": true, "date_submitted": "2020-08-03 23:46:44", "date_modified": null, "date_approved": null, "date_testing": "2020-08-03 23:47:09", "date_stable": "2020-08-03 23:48:13", "alias": "FEDORA-2020-a37851a9db", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2020-08-03 23:48:13", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2020-a37851a9db", "title": "cadical-1.3.0-1.fc33", "version_hash": "82fae219ec918241616376f198cc876166a6d288", "release": {"name": "F33", "long_name": "Fedora 33", "version": "33", "id_prefix": "FEDORA", "branch": "f33", "dist_tag": "f33", "stable_tag": "f33-updates", "testing_tag": "f33-updates-testing", "candidate_tag": "f33-updates-candidate", "pending_signing_tag": "f33-signing-pending", "pending_testing_tag": "f33-updates-testing-pending", "pending_stable_tag": "f33-updates-pending", "override_tag": "f33-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": null, "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2020-08-03 23:46:44", "update_id": 226307, "user_id": 91, "id": 1532549, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2020-08-03 23:47:10", "update_id": 226307, "user_id": 91, "id": 1532552, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2020-08-03 23:47:10", "update_id": 226307, "user_id": 91, "id": 1532553, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update can be pushed to stable now if the maintainer wishes", "timestamp": "2020-08-03 23:48:13", "update_id": 226307, "user_id": 91, "id": 1532559, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2020-08-03 23:48:14", "update_id": 226307, "user_id": 91, "id": 1532560, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.3.0-1.fc33", "signed": true, "release_id": 40, "type": "rpm", "epoch": 1}], "bugs": [], "updateid": "FEDORA-2020-a37851a9db", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for cadical-1.2.1-1.fc32.", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": false, "critpath": false, "critpath_groups": null, "close_bugs": true, "date_submitted": "2019-11-12 05:35:42", "date_modified": null, "date_approved": null, "date_testing": null, "date_stable": "2019-11-12 05:36:09", "alias": "FEDORA-2019-9b4894e4e0", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2019-11-12 05:36:09", "meets_testing_requirements": false, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2019-9b4894e4e0", "title": "cadical-1.2.1-1.fc32", "version_hash": "4fe9bdfcd342fff026d296f3004ab18eae2f9d17", "release": {"name": "F32", "long_name": "Fedora 32", "version": "32", "id_prefix": "FEDORA", "branch": "f32", "dist_tag": "f32", "stable_tag": "f32-updates", "testing_tag": "f32-updates-testing", "candidate_tag": "f32-updates-candidate", "pending_signing_tag": "f32-signing-pending", "pending_testing_tag": "f32-updates-testing-pending", "pending_stable_tag": "f32-updates-pending", "override_tag": "f32-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": null, "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2019-11-12 05:35:42", "update_id": 168631, "user_id": 91, "id": 1130857, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2019-11-12 05:35:42", "update_id": 168631, "user_id": 91, "id": 1130858, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2019-11-12 05:35:43", "update_id": 168631, "user_id": 91, "id": 1130859, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update can be pushed to stable now if the maintainer wishes", "timestamp": "2019-11-12 05:36:07", "update_id": 168631, "user_id": 91, "id": 1130860, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi. ", "timestamp": "2019-11-12 05:36:08", "update_id": 168631, "user_id": 91, "id": 1130861, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "cadical-1.2.1-1.fc32", "signed": false, "release_id": null, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2019-9b4894e4e0", "karma": 0, "content_type": "rpm", "test_cases": []}], "page": 1, "pages": 2, "rows_per_page": 20, "total": 24, "chrome": true, "display_user": true, "display_request": true, "package": "cadical"}