{"update": {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 3, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "See https://coq.inria.fr/distrib/V8.16.0/refman/changes.html for changes in coq 8.16.0.\n\nChanges in flocq 4.0.0:\n\n- made Coq 8.12 the minimal version and removed the `IEEE754.SpecFloatCompat` layer\n- removed automatic export of ZArith and Reals from `Core.Raux` and `Core.Core`\n- proved a close/far-path adder in `Calc.Plus`\n- made `IEEE754.Binary` a wrapper around `IEEE754.BinarySingleNaN`\n\nChanges in flocq 4.1.0:\n\n- added Bnearbyint and Btrunc in IEEE754\n- ensured compatibility from Coq 8.12 to 8.16\n\nChanges in why3 1.5.1:\n\n- Numerous bug fixes\n- Documentation\n    - documented most options of `why3 prove` and `why3 execute`\n- Python language\n    - added construct `e1 if e2 else e3`\n    - added support for tuples and multiple assignments\n    - added `#@ axiom` and `#@ lemma`\n    - global variables annotated with `#@ constant` are available in the logic\n    - pure functions (i.e., limited to `return e`) annotated with `#@ function` are available in the logic\n    - logical functions can be given a variant with `variant {term}`\n- Provers\n    - support for Z3 4.9.0 and 4.9.1 (released July 6, 2022)\n    - support for Z3 4.10.0, 4.10.1 and 4.10.2 (released July 30, 2022)\n    - support for Z3 4.11.0 (released August 18, 2022)\n    - support for Coq 8.16.0 (release September 5, 2022)\n    - support for Gappa 1.4.0 (released April 16, 2022)\n\nThe frama-c, gappalib-coq, ocaml-menhir, and zenon 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": null, "close_bugs": true, "date_submitted": "2022-09-17 03:53:04", "date_modified": null, "date_approved": null, "date_testing": "2022-09-18 01:25:17", "date_stable": "2022-09-22 01:44:59", "alias": "FEDORA-2022-f4ee7170e2", "test_gating_status": "ignored", "from_tag": "f37-build-side-58542", "date_pushed": "2022-09-22 01:44:59", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2022-f4ee7170e2", "title": "coq-8.16.0-1.fc37 flocq-4.1.0-1.fc37 frama-c-25.0-4.fc37 gappalib-coq-1.5.2-4.fc37 ocaml-menhir-20220210-9.fc37 why3-1.5.1-1.fc37 zenon-0.8.5-10.fc37", "version_hash": "077a7091a709b7ffcbf6b2342331d8898ba77e34", "release": {"name": "F37", "long_name": "Fedora 37", "version": "37", "id_prefix": "FEDORA", "branch": "f37", "dist_tag": "f37", "stable_tag": "f37-updates", "testing_tag": "f37-updates-testing", "candidate_tag": "f37-updates-candidate", "pending_signing_tag": "f37-signing-pending", "pending_testing_tag": "f37-updates-testing-pending", "pending_stable_tag": "f37-updates-pending", "override_tag": "f37-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2023-12-05", "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": "2022-09-17 03:53:04", "update_id": 448280, "user_id": 91, "id": 2719903, "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": "2022-09-17 03:56:47", "update_id": 448280, "user_id": 91, "id": 2719905, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2022-09-17 03:56:48", "update_id": 448280, "user_id": 91, "id": 2719906, "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": "2022-09-18 01:27:05", "update_id": 448280, "user_id": 91, "id": 2720695, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for stable by bodhi. ", "timestamp": "2022-09-21 01:25:33", "update_id": 448280, "user_id": 91, "id": 2723977, "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": "2022-09-22 01:46:59", "update_id": 448280, "user_id": 91, "id": 2725431, "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": "coq-8.16.0-1.fc37", "signed": true, "release_id": 62, "type": "rpm", "epoch": 0}, {"nvr": "flocq-4.1.0-1.fc37", "signed": true, "release_id": 62, "type": "rpm", "epoch": 0}, {"nvr": "frama-c-25.0-4.fc37", "signed": true, "release_id": 62, "type": "rpm", "epoch": 0}, {"nvr": "gappalib-coq-1.5.2-4.fc37", "signed": true, "release_id": 62, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-menhir-20220210-9.fc37", "signed": true, "release_id": 62, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.5.1-1.fc37", "signed": true, "release_id": 62, "type": "rpm", "epoch": 0}, {"nvr": "zenon-0.8.5-10.fc37", "signed": true, "release_id": 62, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2022-f4ee7170e2", "karma": 0, "content_type": "rpm", "test_cases": []}, "can_edit": false, "ci_allowed": false}