{"updates": [{"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 cvc5-1.2.1-3.fc43.\n\n##### **Changelog**\n\n```\n* Mon Mar  3 2025 Cristian Le <fedora@lecris.me> - 1.2.1-3\n- Remove scikit-build dependency\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": "2025-03-04 17:53:29", "date_modified": null, "date_approved": "2025-03-04 17:56:50", "date_testing": "2025-03-04 17:55:27", "date_stable": "2025-03-04 17:56:50", "alias": "FEDORA-2025-2e7559b9a5", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2025-03-04 17:56:50", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2025-2e7559b9a5", "title": "cvc5-1.2.1-3.fc43", "version_hash": "020c1ca2d369a873b6d0352c0745de77adbcbd99", "release": {"name": "F43", "long_name": "Fedora 43", "version": "43", "id_prefix": "FEDORA", "branch": "rawhide", "dist_tag": "f43", "stable_tag": "f43", "testing_tag": "f43-updates-testing", "candidate_tag": "f43-updates-candidate", "pending_signing_tag": "f43-signing-pending", "pending_testing_tag": "f43-updates-testing-pending", "pending_stable_tag": "f43-updates-pending", "override_tag": "f43-override", "mail_template": "fedora_errata_template", "state": "pending", "composed_by_bodhi": false, "create_automatic_updates": true, "package_manager": "unspecified", "testing_repository": null, "released_on": null, "eol": null, "critpath_mandatory_days_in_testing": 0, "mandatory_days_in_testing": 0, "critpath_min_karma": 0, "min_karma": 0, "setting_status": "pre_beta"}, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2025-03-04 17:53:29", "update_id": 699118, "user_id": 91, "id": 3987314, "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": "2025-03-04 17:53:42", "update_id": 699118, "user_id": 91, "id": 3987315, "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": "2025-03-04 17:55:27", "update_id": 699118, "user_id": 91, "id": 3987317, "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": "2025-03-04 17:55:27", "update_id": 699118, "user_id": 91, "id": 3987318, "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": "2025-03-04 17:56:50", "update_id": 699118, "user_id": 91, "id": 3987320, "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": "cvc5-1.2.1-3.fc43", "signed": true, "release_id": 88, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2025-2e7559b9a5", "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": "See https://github.com/msoos/cryptominisat/releases/tag/5.12.1 for changes in cryptominisat 5.12.1.  The cvc5, stp, and yices builds are simple rebuilds due to the cryptominisat 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": "2025-02-11 21:39:57", "date_modified": null, "date_approved": "2025-02-11 22:25:37", "date_testing": "2025-02-11 22:24:19", "date_stable": "2025-02-11 22:25:38", "alias": "FEDORA-2025-d3435f4b76", "test_gating_status": "passed", "from_tag": "f42-build-side-105553", "date_pushed": "2025-02-11 22:25:38", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2025-d3435f4b76", "title": "cryptominisat-5.12.1-1.fc42 cvc5-1.2.1-2.fc42 stp-2.3.4-6.fc42 yices-2.6.5-7.fc42", "version_hash": "58416f0573c446104fb4b3cba455c92fd4514542", "release": {"name": "F42", "long_name": "Fedora 42", "version": "42", "id_prefix": "FEDORA", "branch": "f42", "dist_tag": "f42", "stable_tag": "f42", "testing_tag": "f42-updates-testing", "candidate_tag": "f42-updates-candidate", "pending_signing_tag": "f42-signing-pending", "pending_testing_tag": "f42-updates-testing-pending", "pending_stable_tag": "f42-updates-pending", "override_tag": "f42-override", "mail_template": "fedora_errata_template", "state": "frozen", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2026-05-13", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "setting_status": "post_beta"}, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2025-02-11 21:39:57", "update_id": 692627, "user_id": 91, "id": 3955111, "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 'passed'.", "timestamp": "2025-02-11 21:46:12", "update_id": 692627, "user_id": 91, "id": 3955126, "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": "2025-02-11 22:24:19", "update_id": 692627, "user_id": 91, "id": 3955159, "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 'passed'.", "timestamp": "2025-02-11 22:24:20", "update_id": 692627, "user_id": 91, "id": 3955160, "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": "2025-02-11 22:25:38", "update_id": 692627, "user_id": 91, "id": 3955161, "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": "cryptominisat-5.12.1-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "cvc5-1.2.1-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "stp-2.3.4-6.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "yices-2.6.5-7.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2344777, "title": "cryptominisat-5.12.1 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2025-d3435f4b76", "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": "See https://github.com/msoos/cryptominisat/releases/tag/5.12.1 for changes in cryptominisat 5.12.1.  The cvc5, stp, and yices builds are simple rebuilds due to the cryptominisat 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": "2025-02-11 19:31:52", "date_modified": null, "date_approved": "2025-02-11 21:46:37", "date_testing": "2025-02-11 21:14:10", "date_stable": "2025-02-11 21:46:38", "alias": "FEDORA-2025-587e1387ed", "test_gating_status": "passed", "from_tag": "f43-build-side-105521", "date_pushed": "2025-02-11 21:46:38", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2025-587e1387ed", "title": "cryptominisat-5.12.1-1.fc43 cvc5-1.2.1-2.fc43 stp-2.3.4-6.fc43 yices-2.6.5-7.fc43", "version_hash": "57122083a6d506e50f39cac0df867fc41a41324c", "release": {"name": "F43", "long_name": "Fedora 43", "version": "43", "id_prefix": "FEDORA", "branch": "rawhide", "dist_tag": "f43", "stable_tag": "f43", "testing_tag": "f43-updates-testing", "candidate_tag": "f43-updates-candidate", "pending_signing_tag": "f43-signing-pending", "pending_testing_tag": "f43-updates-testing-pending", "pending_stable_tag": "f43-updates-pending", "override_tag": "f43-override", "mail_template": "fedora_errata_template", "state": "pending", "composed_by_bodhi": false, "create_automatic_updates": true, "package_manager": "unspecified", "testing_repository": null, "released_on": null, "eol": null, "critpath_mandatory_days_in_testing": 0, "mandatory_days_in_testing": 0, "critpath_min_karma": 0, "min_karma": 0, "setting_status": "pre_beta"}, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2025-02-11 19:31:52", "update_id": 692603, "user_id": 91, "id": 3954995, "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 'failed'.", "timestamp": "2025-02-11 21:45:33", "update_id": 692603, "user_id": 91, "id": 3955124, "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 'passed'.", "timestamp": "2025-02-11 21:45:34", "update_id": 692603, "user_id": 91, "id": 3955125, "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": "2025-02-11 21:46:38", "update_id": 692603, "user_id": 91, "id": 3955127, "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": "cryptominisat-5.12.1-1.fc43", "signed": true, "release_id": 88, "type": "rpm", "epoch": 0}, {"nvr": "cvc5-1.2.1-2.fc43", "signed": true, "release_id": 88, "type": "rpm", "epoch": 0}, {"nvr": "stp-2.3.4-6.fc43", "signed": true, "release_id": 88, "type": "rpm", "epoch": 0}, {"nvr": "yices-2.6.5-7.fc43", "signed": true, "release_id": 88, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2025-587e1387ed", "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 cvc5-1.2.1-1.fc42.\n\n##### **Changelog**\n\n```\n* Thu Jan 30 2025 Jerry James <loganjerry@gmail.com> - 1.2.1-1\n- Version 1.2.1\n- BR ethos to enable more tests\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": "2025-01-30 23:13:43", "date_modified": null, "date_approved": "2025-01-30 23:16:49", "date_testing": "2025-01-30 23:15:35", "date_stable": "2025-01-30 23:16:49", "alias": "FEDORA-2025-b81cab72fb", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2025-01-30 23:16:49", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2025-b81cab72fb", "title": "cvc5-1.2.1-1.fc42", "version_hash": "b6fe95a7d2af34b5da2f08daab22a83b434b1d34", "release": {"name": "F42", "long_name": "Fedora 42", "version": "42", "id_prefix": "FEDORA", "branch": "f42", "dist_tag": "f42", "stable_tag": "f42", "testing_tag": "f42-updates-testing", "candidate_tag": "f42-updates-candidate", "pending_signing_tag": "f42-signing-pending", "pending_testing_tag": "f42-updates-testing-pending", "pending_stable_tag": "f42-updates-pending", "override_tag": "f42-override", "mail_template": "fedora_errata_template", "state": "frozen", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2026-05-13", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "setting_status": "post_beta"}, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2025-01-30 23:13:43", "update_id": 689435, "user_id": 91, "id": 3938059, "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": "2025-01-30 23:13:54", "update_id": 689435, "user_id": 91, "id": 3938060, "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": "2025-01-30 23:15:35", "update_id": 689435, "user_id": 91, "id": 3938061, "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": "2025-01-30 23:15:35", "update_id": 689435, "user_id": 91, "id": 3938062, "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": "2025-01-30 23:16:49", "update_id": 689435, "user_id": 91, "id": 3938063, "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": "cvc5-1.2.1-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2025-b81cab72fb", "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 cvc5-1.2.0-2.fc42.\n\n##### **Changelog**\n\n```\n* Mon Jan  6 2025 Jerry James <loganjerry@gmail.com> - 1.2.0-2\n- Remove unused m4ri dependency\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": "2025-01-06 02:44:55", "date_modified": null, "date_approved": "2025-01-06 02:49:52", "date_testing": "2025-01-06 02:47:48", "date_stable": "2025-01-06 02:49:53", "alias": "FEDORA-2025-3854160243", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2025-01-06 02:49:53", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2025-3854160243", "title": "cvc5-1.2.0-2.fc42", "version_hash": "a219da775706ff7048a7cdb15d8aadb943ac031a", "release": {"name": "F42", "long_name": "Fedora 42", "version": "42", "id_prefix": "FEDORA", "branch": "f42", "dist_tag": "f42", "stable_tag": "f42", "testing_tag": "f42-updates-testing", "candidate_tag": "f42-updates-candidate", "pending_signing_tag": "f42-signing-pending", "pending_testing_tag": "f42-updates-testing-pending", "pending_stable_tag": "f42-updates-pending", "override_tag": "f42-override", "mail_template": "fedora_errata_template", "state": "frozen", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2026-05-13", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "setting_status": "post_beta"}, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2025-01-06 02:44:55", "update_id": 680100, "user_id": 91, "id": 3889469, "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": "2025-01-06 02:45:05", "update_id": 680100, "user_id": 91, "id": 3889471, "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": "2025-01-06 02:47:48", "update_id": 680100, "user_id": 91, "id": 3889476, "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": "2025-01-06 02:47:48", "update_id": 680100, "user_id": 91, "id": 3889477, "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": "2025-01-06 02:49:53", "update_id": 680100, "user_id": 91, "id": 3889478, "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": "cvc5-1.2.0-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2025-3854160243", "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/cvc5/cvc5/blob/main/NEWS.md for changes in version 1.2.0.\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-09-26 18:45:03", "date_modified": null, "date_approved": "2024-10-04 01:44:52", "date_testing": "2024-09-27 01:41:59", "date_stable": "2024-10-05 00:15:27", "alias": "FEDORA-2024-27e559e44e", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-10-05 00:15:27", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-27e559e44e", "title": "cvc5-1.2.0-1.fc41", "version_hash": "1e351120f49d3d1571ad4d8c7929fc1131954529", "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by jjames. ", "timestamp": "2024-09-26 18:45:03", "update_id": 653157, "user_id": 91, "id": 3743921, "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-09-26 18:45:04", "update_id": 653157, "user_id": 91, "id": 3743922, "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-09-27 01:44:08", "update_id": 653157, "user_id": 91, "id": 3744363, "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-10-04 01:44:52", "update_id": 653157, "user_id": 91, "id": 3754559, "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-10-05 00:17:40", "update_id": 653157, "user_id": 91, "id": 3756299, "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": "cvc5-1.2.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-27e559e44e", "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 cvc5-1.2.0-1.fc42.\n\n##### **Changelog**\n\n```\n* Thu Sep 26 2024 Jerry James <loganjerry@gmail.com> - 1.2.0-1\n- Version 1.2.0\n- Drop unneeded patches: do-not-use-gold and rpath\n- Upstream changes broke %generate_buildrequires; list BRs manually\n- Stop disabling hidden ELF symbols\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-09-26 16:35:18", "date_modified": null, "date_approved": "2024-09-26 16:38:33", "date_testing": "2024-09-26 16:37:21", "date_stable": "2024-09-26 16:38:33", "alias": "FEDORA-2024-d17eb206b3", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-09-26 16:38:33", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-d17eb206b3", "title": "cvc5-1.2.0-1.fc42", "version_hash": "9c17c3bb3037a55c4a80342270657d2762dac410", "release": {"name": "F42", "long_name": "Fedora 42", "version": "42", "id_prefix": "FEDORA", "branch": "f42", "dist_tag": "f42", "stable_tag": "f42", "testing_tag": "f42-updates-testing", "candidate_tag": "f42-updates-candidate", "pending_signing_tag": "f42-signing-pending", "pending_testing_tag": "f42-updates-testing-pending", "pending_stable_tag": "f42-updates-pending", "override_tag": "f42-override", "mail_template": "fedora_errata_template", "state": "frozen", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2026-05-13", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "setting_status": "post_beta"}, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2024-09-26 16:35:18", "update_id": 653132, "user_id": 91, "id": 3743801, "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-09-26 16:35:32", "update_id": 653132, "user_id": 91, "id": 3743802, "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-09-26 16:37:21", "update_id": 653132, "user_id": 91, "id": 3743804, "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-09-26 16:37:21", "update_id": 653132, "user_id": 91, "id": 3743805, "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-09-26 16:38:33", "update_id": 653132, "user_id": 91, "id": 3743806, "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": "cvc5-1.2.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-d17eb206b3", "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:\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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "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": true, "autotime": true, "stable_karma": 3, "stable_days": 7, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "For changes in cocoalib 0.99850, see:\n\n- https://cocoa.dima.unige.it/cocoa/cocoalib/\n- https://cocoa.dima.unige.it/redmine/projects/cocoalib/issues?query_id=48\n\nThe other builds are rebuilds due to ABI changes in the version of cocoalib.\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-31 01:44:13", "date_modified": null, "date_approved": "2024-04-08 01:51:18", "date_testing": "2024-04-01 01:50:28", "date_stable": "2024-04-19 21:20:20", "alias": "FEDORA-2024-5becc1c407", "test_gating_status": "ignored", "from_tag": "f40-build-side-86787", "date_pushed": "2024-04-19 21:20:20", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-5becc1c407", "title": "cocoalib-0.99850-1.fc40 cvc5-1.1.2-2.fc40 giac-1.9.0.91-3.fc40 normaliz-3.10.2-3.fc40 polymake-4.11-7.fc40", "version_hash": "534d0164e2db8330f11f630ab03aeffe52b86f07", "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-03-31 01:44:14", "update_id": 601044, "user_id": 91, "id": 3471501, "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-31 01:44:28", "update_id": 601044, "user_id": 91, "id": 3471502, "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-31 02:10:42", "update_id": 601044, "user_id": 91, "id": 3471584, "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-04-01 01:50:51", "update_id": 601044, "user_id": 91, "id": 3472072, "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-04-08 01:51:19", "update_id": 601044, "user_id": 91, "id": 3480992, "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-04-19 21:37:00", "update_id": 601044, "user_id": 91, "id": 3497127, "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": "cocoalib-0.99850-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "cvc5-1.1.2-2.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "giac-1.9.0.91-3.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "normaliz-3.10.2-3.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "polymake-4.11-7.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-5becc1c407", "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": "For changes in cocoalib 0.99850, see:\n\n- https://cocoa.dima.unige.it/cocoa/cocoalib/\n- https://cocoa.dima.unige.it/redmine/projects/cocoalib/issues?query_id=48\n\nThe other builds are rebuilds due to changed ABI in this version of cocoalib.\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-30 03:59:26", "date_modified": null, "date_approved": "2024-03-30 04:06:23", "date_testing": "2024-03-30 04:04:42", "date_stable": "2024-03-30 04:06:23", "alias": "FEDORA-2024-54059a182d", "test_gating_status": "ignored", "from_tag": "f41-build-side-86763", "date_pushed": "2024-03-30 04:06:23", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-54059a182d", "title": "cocoalib-0.99850-1.fc41 cvc5-1.1.2-2.fc41 giac-1.9.0.91-3.fc41 normaliz-3.10.2-3.fc41 polymake-4.11-7.fc41", "version_hash": "37249f25f5e8159558506f8b383c314f78c87aac", "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-03-30 03:59:26", "update_id": 600941, "user_id": 91, "id": 3470898, "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-30 03:59:38", "update_id": 600941, "user_id": 91, "id": 3470899, "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-30 04:04:42", "update_id": 600941, "user_id": 91, "id": 3470902, "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-30 04:04:42", "update_id": 600941, "user_id": 91, "id": 3470903, "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-30 04:06:25", "update_id": 600941, "user_id": 91, "id": 3470904, "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": "cocoalib-0.99850-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "cvc5-1.1.2-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "giac-1.9.0.91-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "normaliz-3.10.2-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "polymake-4.11-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2272180, "title": "cocoalib-0.99850 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-54059a182d", "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "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": "Changes in version 1.1.1:\n\n- Reorient equalities propagated by equality engine ([#10171](https://github.com/cvc5/cvc5/pull/10171)), leads to fewer unique literals asserted to theories.\n- Do not eagerly lift lambdas due to constructors ([#10244](https://github.com/cvc5/cvc5/pull/10244)).  Would cause us to say \"unknown\" for some \"sat\" problems when lambdas involved e.g. datatype constructors.\n- Add unprocessed theory conflict check ([#10248](https://github.com/cvc5/cvc5/pull/10248)).  This adds an extra safeguard to when we answer \"sat\" to check if any theory believes there is a conflict.  In this case, we should answer \"unknown\" (in production) and give an assertion failure in debug.  This would have caught previous issues with HO+quantifiers.\n- Update strings to gradual type system ([#9821](https://github.com/cvc5/cvc5/pull/9821)).\n- Update BV to gradual type system ([#9819](https://github.com/cvc5/cvc5/pull/9819)).  This updates BV's type system to allow arguments of BV operators to have abstract types.\n- cmake: Update GMP version to 6.3.0 ([#10259](https://github.com/cvc5/cvc5/pull/10259)).  Fixes [#10174](https://github.com/cvc5/cvc5/issues/10174).\n- Add support for forward declarations :fwd-decls in sygus ([#10217](https://github.com/cvc5/cvc5/pull/10217)).  This allows functions-to-synthesize to appear in grammars.  To do this, we rely on (higher-order) equalities in sygus verification calls.  Note this requires changing the error handling of free variables in grammars, since we do not have access to the set of functions-to-synthesize at the API level.\n- extract ff's CoCoA encoder ([#10204](https://github.com/cvc5/cvc5/pull/10204))\n- Always use stream input when piping from stdin ([#10267](https://github.com/cvc5/cvc5/pull/10267)).  Fixes [#10258](https://github.com/cvc5/cvc5/issues/10258).  This removes the option stdin-input-per-line which was used as a way of avoiding stream inputs with the old Flex parser when piping from stdin.  This fixes issues when piping from stdin, in terms of performance, diagnostic information, and spurious error reporting.\n- Throw logic exception for POW during preregistration ([#10249](https://github.com/cvc5/cvc5/pull/10249)).  We currently throw a logic exception for POW during rewriting if it cannot be eliminated.  This is wrong, and leads to spurious exceptions e.g. when doing rewrite generalization analysis (e.g. for proof minimization).  This PR changes the behavior so we throw an exception during preregistration instead.\n- cmake: Require GMP 6.3. ([#10271](https://github.com/cvc5/cvc5/pull/10271)).  Versions prior to 6.3 have issues on arm64 platforms, which led to multiple segfault issues in cvc5.\n- ff: core algorithms for BitSplit ([#10270](https://github.com/cvc5/cvc5/pull/10270)).\n- Revert behavior changes to interactive shell ([#10268](https://github.com/cvc5/cvc5/pull/10268)).  [This commit](https://github.com/cvc5/cvc5/commit/68fc815e03a498d0b3c71233026f0bf1db56b62f) changed the behavior of the interactive shell to use `setStringInput` instead of `setIncrementalStringInput` / `appendIncrementalStringInput`.  This change introduces a new private method to replicate the old behavior, where we do not reallocate a parser each line, which leads to issues (which happened to be found in [#10258](https://github.com/cvc5/cvc5/issues/10258)).  It furthermore corrects an issue in incremental when using the parser API, where multiple \"outermost contexts\" could be pushed on a symbol manager, which leads to synchronization issues concerning scope levels in symbol manager.  Also adds a test for the interactive shell that would have caught this.\n- Add missing upward inference rule for `bag.map` operator ([#10269](https://github.com/cvc5/cvc5/pull/10269)).  This PR fixes an issue found during model construction when mapped bags are missing elements from the original bags.  The cause was simply missing upward rule for `bag.map` operator.\n- Remove unnecessary quantifiers options ([#10246](https://github.com/cvc5/cvc5/pull/10246)).  Moreover these option names may be confusing with forthcoming eager cbqi techniques.  Also moves tracking of the \"conflicting instance\" flag to quantifiers inference manager, in preparation for further additions.\n- Fix for printing success with echo ([#10272](https://github.com/cvc5/cvc5/pull/10272)).  Fixes [#10257](https://github.com/cvc5/cvc5/issues/10257).\n- ff: hook up SplitGB solver ([#10274](https://github.com/cvc5/cvc5/pull/10274)).\n- Minor fixes in Python API doc ([#10281](https://github.com/cvc5/cvc5/pull/10281)).  Recommend installing cython as a pip package.  Use standard double quotation marks.\n- Always clone proofs when printing ([#10282]()https://github.com/cvc5/cvc5/pull/10282).  Fixes [#10279](https://github.com/cvc5/cvc5/issues/10279).  Also fixes an issue where we would segfault if unsat cores but not proofs were enabled, adds a test for this.\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-02-20 18:40:02", "date_modified": null, "date_approved": "2024-02-28 02:35:43", "date_testing": "2024-02-21 02:34:54", "date_stable": "2024-02-29 02:05:41", "alias": "FEDORA-2024-b9ead9f89f", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-02-29 02:05:41", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-b9ead9f89f", "title": "cvc5-1.1.1-1.fc39", "version_hash": "87f0cd008de584896c7156ef9821a3f929bdc56c", "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by jjames. ", "timestamp": "2024-02-20 18:40:03", "update_id": 591091, "user_id": 91, "id": 3418565, "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-02-20 18:40:03", "update_id": 591091, "user_id": 91, "id": 3418566, "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-02-21 02:36:08", "update_id": 591091, "user_id": 91, "id": 3419188, "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-02-28 02:35:43", "update_id": 591091, "user_id": 91, "id": 3428903, "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-02-29 02:07:00", "update_id": 591091, "user_id": 91, "id": 3430273, "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": "cvc5-1.1.1-1.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-b9ead9f89f", "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 cvc5-1.1.1-1.fc40.\n\n##### **Changelog**\n\n```\n* Tue Feb 20 2024 Jerry James <loganjerry@gmail.com> - 1.1.1-1\n- Version 1.1.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": "2024-02-20 17:38:12", "date_modified": null, "date_approved": "2024-02-20 17:41:50", "date_testing": "2024-02-20 17:38:57", "date_stable": "2024-02-20 17:41:50", "alias": "FEDORA-2024-aa2abd285d", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-02-20 17:41:50", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-aa2abd285d", "title": "cvc5-1.1.1-1.fc40", "version_hash": "cda51e8717f0217f1b95519010d318b6bf64546d", "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2024-02-20 17:38:12", "update_id": 591073, "user_id": 91, "id": 3418492, "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-02-20 17:38:25", "update_id": 591073, "user_id": 91, "id": 3418493, "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-02-20 17:38:57", "update_id": 591073, "user_id": 91, "id": 3418494, "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-02-20 17:38:57", "update_id": 591073, "user_id": 91, "id": 3418495, "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-02-20 17:41:51", "update_id": 591073, "user_id": 91, "id": 3418506, "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": "cvc5-1.1.1-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-aa2abd285d", "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 cvc5-1.1.1-1.fc41.\n\n##### **Changelog**\n\n```\n* Tue Feb 20 2024 Jerry James <loganjerry@gmail.com> - 1.1.1-1\n- Version 1.1.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": "2024-02-20 17:00:10", "date_modified": null, "date_approved": "2024-02-20 17:02:50", "date_testing": "2024-02-20 17:00:55", "date_stable": "2024-02-20 17:02:50", "alias": "FEDORA-2024-87aa4b80b4", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-02-20 17:02:50", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-87aa4b80b4", "title": "cvc5-1.1.1-1.fc41", "version_hash": "c0b4168e3a710d3c31262d3eb490d20093d91930", "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2024-02-20 17:00:10", "update_id": 591058, "user_id": 91, "id": 3418428, "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-02-20 17:00:21", "update_id": 591058, "user_id": 91, "id": 3418429, "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-02-20 17:00:55", "update_id": 591058, "user_id": 91, "id": 3418430, "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-02-20 17:00:55", "update_id": 591058, "user_id": 91, "id": 3418431, "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-02-20 17:02:51", "update_id": 591058, "user_id": 91, "id": 3418432, "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": "cvc5-1.1.1-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-87aa4b80b4", "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 cvc5-1.1.0-5.fc40.\n\n##### **Changelog**\n\n```\n* Fri Feb  9 2024 Jerry James <loganjerry@gmail.com> - 1.1.0-5\n- Rebuild for cryptominisat 5.11.21\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-02-09 17:20:31", "date_modified": null, "date_approved": "2024-02-09 17:25:50", "date_testing": "2024-02-09 17:23:02", "date_stable": "2024-02-09 17:25:50", "alias": "FEDORA-2024-a701949395", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-02-09 17:25:50", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-a701949395", "title": "cvc5-1.1.0-5.fc40", "version_hash": "5e4d0bfc0c8efd30c1708eae8a4fd1a9fa968e4a", "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2024-02-09 17:20:31", "update_id": 587706, "user_id": 91, "id": 3400870, "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-02-09 17:20:45", "update_id": 587706, "user_id": 91, "id": 3400871, "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-02-09 17:23:02", "update_id": 587706, "user_id": 91, "id": 3400883, "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-02-09 17:23:02", "update_id": 587706, "user_id": 91, "id": 3400884, "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-02-09 17:25:50", "update_id": 587706, "user_id": 91, "id": 3400892, "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": "cvc5-1.1.0-5.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-a701949395", "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": "The breakid package is new.  BreakID is a symmetry detecting and breaking library for SAT solvers.  It is based on Jo Devriendt's BreakID code.  It has been re-licensed by the original author to be MIT.  All modifications by Mate Soos.\n\nCryptominisat has been updated to its latest version, with numerous performance improvements and bug fixes.  It is now built with BreakID support as well.\n\nThe cvc5, stp, and yices builds are simple rebuilds due to the cryptominisat 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-02-01 01:22:08", "date_modified": null, "date_approved": "2024-02-01 01:25:21", "date_testing": "2024-02-01 01:23:40", "date_stable": "2024-02-01 01:25:21", "alias": "FEDORA-2024-bd6e13f947", "test_gating_status": "ignored", "from_tag": "f40-build-side-82643", "date_pushed": "2024-02-01 01:25:21", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-bd6e13f947", "title": "breakid-3.1.2-1.fc40 cryptominisat-5.11.15-1.fc40 cvc5-1.1.0-4.fc40 stp-2.3.3-30.fc40 yices-2.6.4-10.fc40", "version_hash": "d71a5488fbc6825fd329b7555af40b6cf13d4c07", "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-02-01 01:22:09", "update_id": 585408, "user_id": 91, "id": 3387349, "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-02-01 01:23:41", "update_id": 585408, "user_id": 91, "id": 3387357, "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-02-01 01:25:22", "update_id": 585408, "user_id": 91, "id": 3387384, "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": "breakid-3.1.2-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "cryptominisat-5.11.15-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "cvc5-1.1.0-4.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "stp-2.3.3-30.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "yices-2.6.4-10.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2243768, "title": "cryptominisat-5.11.15 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2257770, "title": "Review Request: breakid - Symmetry detecting and breaking library", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-bd6e13f947", "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "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 cvc5-1.1.0-1.fc40.\n\n##### **Changelog**\n\n```\n* Wed Jan 10 2024 Jerry James <loganjerry@gmail.com> - 1.1.0-1\n- Version 1.1.0\n- Fix symbol visibility issue (rhbz#2256948)\n- Skip regression tests until alfc can be packaged\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 16:16:44", "date_modified": null, "date_approved": "2024-01-10 16:18:22", "date_testing": "2024-01-10 16:17:42", "date_stable": "2024-01-10 16:18:22", "alias": "FEDORA-2024-755e0eff85", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-01-10 16:18:22", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-755e0eff85", "title": "cvc5-1.1.0-1.fc40", "version_hash": "0c0fd2be1e7e74dcab461064b8d90f1b77405296", "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2024-01-10 16:16:44", "update_id": 577100, "user_id": 91, "id": 3345639, "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 16:17:43", "update_id": 577100, "user_id": 91, "id": 3345640, "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:17:43", "update_id": 577100, "user_id": 91, "id": 3345641, "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 16:18:22", "update_id": 577100, "user_id": 91, "id": 3345645, "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": "cvc5-1.1.0-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2256948, "title": "cvc5 fails to build with Python 3.13: build failure: collect2: error: ld returned 1 exit status", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-755e0eff85", "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", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "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"}]}, "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": []}], "page": 1, "pages": 2, "rows_per_page": 20, "total": 24, "chrome": true, "display_user": true, "display_request": true, "package": "cvc5"}