{"update": {"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 coq-8.17.1-3.fc39.\n\n##### **Changelog**\n\n```\n* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 8.17.1-3\n- OCaml 5.0 rebuild for Fedora 39\n- Only build coq and friends on architectures with the native compiler.\n* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 8.17.1-1\n- Version 8.17.1\n- Build in release mode\n- Disable the native compiler, which is incompatible with OCaml 5.0\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2023-07-12 18:23:41", "date_modified": null, "date_approved": "2023-07-12 18:27:52", "date_testing": "2023-07-12 18:25:03", "date_stable": "2023-07-12 18:27:52", "alias": "FEDORA-2023-430f9f8610", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2023-07-12 18:27:52", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2023-430f9f8610", "title": "coq-8.17.1-3.fc39", "version_hash": "d602bfb69c2c59673039fbf21e2d18af2fe98046", "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": "current", "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": "rjones", "email": "rjones@redhat.com", "id": 141, "avatar": "https://seccdn.libravatar.org/avatar/6bc2ebbc861c9a4776b76939247a95d742d150e3feb2878a3b1ffd4d950329db?s=24&d=retro", "openid": "rjones.id.stg.fedoraproject.org", "groups": [{"name": "provenpackager"}, {"name": "packager"}, {"name": "virtmaint-sig"}, {"name": "giterlang"}, {"name": "fedorabugs"}, {"name": "cla_redhat"}, {"name": "gitvirt-v2v"}, {"name": "gitvirt-tools"}, {"name": "signed_fpca"}, {"name": "ipausers"}, {"name": "gitcdupgrader"}, {"name": "gitfedora-ocaml"}, {"name": "fedora-contributor"}, {"name": "hosted-content"}, {"name": "gitautobuildrequires"}, {"name": "risc-v"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2023-07-12 18:23:41", "update_id": 526840, "user_id": 91, "id": 3101034, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.stg.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2023-07-12 18:25:03", "update_id": 526840, "user_id": 91, "id": 3101038, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.stg.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2023-07-12 18:25:04", "update_id": 526840, "user_id": 91, "id": 3101039, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.stg.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi", "timestamp": "2023-07-12 18:27:53", "update_id": 526840, "user_id": 91, "id": 3101049, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.stg.fedoraproject.org", "groups": []}}], "builds": [{"nvr": "coq-8.17.1-3.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2023-430f9f8610", "karma": 0, "content_type": "rpm", "test_cases": []}, "can_edit": false, "ci_allowed": false}