{"update": {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 7, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in frama-c:\n\n- Unbundle flamegraph\n- Install bash completions in the right place\n\nChanges in ocaml-biniou 1.2.1:\n\n- Remove which dependency (#25)\n- Migrate to dune (#29)\n- Generate opam file from dune and port to opam 2.0 (#30)\n\nChanges in ocaml-easy-format 1.3.2:\n\n- Port from jbuilder to dune. (#24)\n- Port to opam 2.0 and make dune a non build dependency (#25)\n\nChanges in ocaml-zarith 1.9:\n\n- Issue #50: add opam file, make it easy to \"opam publish\" new versions\n- Issue #38: configure detects 32bit OCaml switch on 64bit host\n- Fix #36: change Q.equal, leq, geq comparisons for undef\n- Request #47: move infix comparison operators of Z in submodule, avoid shadowing the polymorphic compare\n- Fix #49: INT_MAX undeclared\n- Request #46: add prefixnonocaml option ()\n- Request #45: fix ocamllibdir/caml/mlvalues.h bug (Cygwin)\n- Fix: attempting to build numbers too large for GMP raises an OCaml exception instead of crashing with \"gmp: overflow in mpz type\"\n\nAll other package updates are rebuilds due to the changes above.", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": null, "close_bugs": true, "date_submitted": "2019-09-10 17:48:36", "date_modified": null, "date_approved": null, "date_testing": "2019-09-11 15:36:22", "date_stable": "2019-09-15 00:25:26", "alias": "FEDORA-2019-a50dde4101", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2019-09-15 00:25:26", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2019-a50dde4101", "title": "alt-ergo-2.0.0-5.fc31 frama-c-19.0-3.fc31 ocaml-biniou-1.2.1-1.fc31 ocaml-easy-format-1.3.2-1.fc31 ocaml-tplib-1.3-40.fc31 ocaml-yojson-1.7.0-3.fc31 ocaml-zarith-1.9-1.fc31 why-2.41-5.fc31 why3-1.2.0-5.fc31", "version_hash": "e68cf277ceda4a9023c8f8f96b1455b056c08b64", "release": {"name": "F31", "long_name": "Fedora 31", "version": "31", "id_prefix": "FEDORA", "branch": "f31", "dist_tag": "f31", "stable_tag": "f31-updates", "testing_tag": "f31-updates-testing", "candidate_tag": "f31-updates-candidate", "pending_signing_tag": "f31-signing-pending", "pending_testing_tag": "f31-updates-testing-pending", "pending_stable_tag": "f31-updates-pending", "override_tag": "f31-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": null, "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": "2019-09-10 17:48:36", "update_id": 153104, "user_id": 91, "id": 1034942, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2019-09-10 17:48:37", "update_id": 153104, "user_id": 91, "id": 1034943, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'ignored'.", "timestamp": "2019-09-10 17:48:46", "update_id": 153104, "user_id": 91, "id": 1034944, "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": "2019-09-11 15:37:51", "update_id": 153104, "user_id": 91, "id": 1036711, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "bodhi", "email": null, "id": 91, "avatar": "https://apps.fedoraproject.org/img/icons/bodhi-24.png", "openid": "bodhi.id.fedoraproject.org", "groups": []}}, {"karma": 0, "karma_critpath": 0, "text": "This update can be pushed to stable now if the maintainer wishes", "timestamp": "2019-09-14 15:39:19", "update_id": 153104, "user_id": 91, "id": 1041052, "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 jjames. ", "timestamp": "2019-09-14 15:54:42", "update_id": 153104, "user_id": 91, "id": 1041148, "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": "2019-09-15 00:27:31", "update_id": 153104, "user_id": 91, "id": 1041616, "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.0.0-5.fc31", "signed": true, "release_id": 33, "type": "rpm", "epoch": 0}, {"nvr": "frama-c-19.0-3.fc31", "signed": true, "release_id": 33, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-biniou-1.2.1-1.fc31", "signed": true, "release_id": 33, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-easy-format-1.3.2-1.fc31", "signed": true, "release_id": 33, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-tplib-1.3-40.fc31", "signed": true, "release_id": 33, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-yojson-1.7.0-3.fc31", "signed": true, "release_id": 33, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zarith-1.9-1.fc31", "signed": true, "release_id": 33, "type": "rpm", "epoch": 0}, {"nvr": "why-2.41-5.fc31", "signed": true, "release_id": 33, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.2.0-5.fc31", "signed": true, "release_id": 33, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 1742447, "title": "ocaml-biniou-1.2.1 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 1742464, "title": "ocaml-easy-format-1.3.2 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2019-a50dde4101", "karma": 0, "content_type": "rpm", "test_cases": []}, "can_edit": false, "ci_allowed": false}