{"update": {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "See https://coq.inria.fr/refman/changes.html for changes in coq 8.18.0.\n\nSee https://gitlab.inria.fr/flocq/flocq/-/blob/master/NEWS.md for changes in flocq 4.1.3.\n\nSee https://git.frama-c.com/pub/frama-c/-/blob/master/Changelog?ref_type=heads for changes in frama-c 28.0.\n\nChanges in gappa 1.4.2:\n\n- Configure script regenerated using a recent version of Autoconf\n\nChanges in gappalib-coq 1.5.4:\n\n- ensured compatibility from Coq 8.8 to 8.18\n\nChanges in ocaml-mlmpfr 4.2.1:\n\n- Final release of version supporting mpfr 4.2.1\n\nChanges in ocaml-num:\n\n- Build with make again instead of dune, due to why3 breakage\n\nSee https://gitlab.inria.fr/why3/why3/-/blob/master/CHANGES.md for changes in why3 1.7.0.\n\nOther 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-01-02 21:24:22", "date_modified": null, "date_approved": "2024-01-02 21:30:09", "date_testing": "2024-01-02 21:28:27", "date_stable": "2024-01-02 21:30:09", "alias": "FEDORA-2024-49d89e7565", "test_gating_status": "ignored", "from_tag": "f40-build-side-80409", "date_pushed": "2024-01-02 21:30:09", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2024-49d89e7565", "title": "alt-ergo-2.3.3-14.fc40 coccinelle-1.1.1-27.20230624git0afff7f.fc40 coq-8.18.0-1.fc40 flocq-4.1.3-1.fc40 frama-c-28.0-1.fc40 gappa-1.4.2-1.fc40 gappalib-coq-1.5.4-1.fc40 ocaml-base-0.16.3-5.fc40 ocaml-mlmpfr-4.2.1-1.fc40 ocaml-num-1.5-4.fc40 ocaml-ocplib-simplex-0.4.1-3.fc40 ocaml-sexplib-0.16.0-8.fc40 why3-1.7.0-1.fc40 zenon-0.8.5-23.fc40", "version_hash": "96d86ae62d5f9dde8512484fb33f5f1f2291e033", "release": {"name": "F40", "long_name": "Fedora 40", "version": "40", "id_prefix": "FEDORA", "branch": "f40", "dist_tag": "f40", "stable_tag": "f40-updates", "testing_tag": "f40-updates-testing", "candidate_tag": "f40-updates-candidate", "pending_signing_tag": "f40-signing-pending", "pending_testing_tag": "f40-updates-testing-pending", "pending_stable_tag": "f40-updates-pending", "override_tag": "f40-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-05-13", "setting_status": null}, "user": {"name": "jjames", "email": "loganjerry@gmail.com", "id": 339, "avatar": "https://seccdn.libravatar.org/avatar/258caf5973a37959eeea9164bfc32d49b0634d0792e85fce1f5acf0430f05ba2?s=24&d=retro", "openid": "jjames.id.fedoraproject.org", "groups": [{"name": "packager"}, {"name": "provenpackager"}, {"name": "ipausers"}, {"name": "fedora-contributor"}, {"name": "signed_fpca"}, {"name": "fedorabugs"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-01-02 21:24:22", "update_id": 575267, "user_id": 91, "id": 3337103, "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-02 21:28:28", "update_id": 575267, "user_id": 91, "id": 3337104, "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-02 21:30:11", "update_id": 575267, "user_id": 91, "id": 3337105, "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": "alt-ergo-2.3.3-14.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "coccinelle-1.1.1-27.20230624git0afff7f.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "coq-8.18.0-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "flocq-4.1.3-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "frama-c-28.0-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "gappa-1.4.2-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "gappalib-coq-1.5.4-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-base-0.16.3-5.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mlmpfr-4.2.1-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-num-1.5-4.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocplib-simplex-0.4.1-3.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sexplib-0.16.0-8.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.7.0-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "zenon-0.8.5-23.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2251310, "title": "why3-1.7.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2255008, "title": "F40FailsToInstall: frama-c", "security": false, "parent": false, "feedback": []}, {"bug_id": 2255011, "title": "F40FailsToInstall: ocaml-why3, ocaml-why3-devel", "security": false, "parent": false, "feedback": []}, {"bug_id": 2256476, "title": "F40FailsToInstall: alt-ergo", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-49d89e7565", "karma": 0, "content_type": "rpm", "test_cases": []}, "can_edit": false, "ci_allowed": false}