{"update": {"autokarma": true, "autotime": false, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in ocaml-zarith 1.4:\n\n- Improvements to Q (using divexact) [Bertrand Jeannet]\n- Fixed div_2exp bug [Bertrand Jeannet]\n- Improvements for divexact [Bertrand Jeannet]\n- Added of_substring, with fast path for native integers [Thomas Braibant]\n- Added Z.powm_sec (constant-time modular exponentiation)\n- Reimplemented Z.to_float, now produces correctly rounded FP numbers\n- Added Z.trailing_zeros.\n- Added Z.testbit, Z.is_even, Z.is_odd.\n- Added Z.numbits, Z.log2 and Z.log2up.\n- PR$1467: Z.hash is declared as \"noalloc\" [Fran\u00e7ois Bobot]\n- PR#1451: configure fix [Spiros Eliopoulos]\n- PR#1436: disable \"(void)\" trick for unused variables on Windows [Bernhard Schommer]\n- PR#1434: removed dependencies on printf & co when Z_PERFORM_CHECK is 0 [Hannes Mehnert]\n- PR#1462: issues with Z.to_float and large numbers.\n\nChanges in ocaml-zarith 1.4.1:\n\n- Fixed ml_z_of_substring_base and Z.of_substring [Thomas Braibant]\n- Integrated Opam fix for Perl scripts [Thomas Braibant]\n\nalt-ergo, frama-c, ocaml-tplib, and why3 updates are rebuilds for the new ocaml-zarith.\n", "type": "enhancement", "status": "stable", "request": null, "severity": "low", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": null, "close_bugs": true, "date_submitted": "2015-11-26 22:35:23", "date_modified": "2015-12-04 04:37:31", "date_approved": null, "date_testing": "2015-12-04 15:15:03", "date_stable": "2015-12-13 02:03:49", "alias": "FEDORA-2015-1706e6b2e4", "test_gating_status": null, "from_tag": null, "date_pushed": "2015-12-13 02:03:49", "meets_testing_requirements": false, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2015-1706e6b2e4", "title": "alt-ergo-0.99.1-9.fc23 frama-c-1.11-9.fc23 ocaml-tplib-1.3-20.fc23 ocaml-zarith-1.4.1-1.fc23 why3-0.86.2-2.fc23", "version_hash": "c1b902402fc93b6ba70fd3e379e92a7fcbf37706", "release": {"name": "F23", "long_name": "Fedora 23", "version": "23", "id_prefix": "FEDORA", "branch": "f23", "dist_tag": "f23", "stable_tag": "f23-updates", "testing_tag": "f23-updates-testing", "candidate_tag": "f23-updates-candidate", "pending_signing_tag": "f23-signing-pending", "pending_testing_tag": "f23-updates-testing-pending", "pending_stable_tag": "f23-updates-pending", "override_tag": "f23-override", "mail_template": "fedora_errata_template", "state": "archived", "composed_by_bodhi": true, "create_automatic_updates": null, "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.stg.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 has been submitted for testing by jjames. ", "timestamp": "2015-11-26 22:35:23", "update_id": 45567, "user_id": 91, "id": 358171, "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 pushed to testing.", "timestamp": "2015-11-28 02:20:44", "update_id": 45567, "user_id": 91, "id": 358695, "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": "jjames edited this update.\n\nNew build(s):\n\n- why3-0.86.2-2.fc23\n- ocaml-tplib-1.3-20.fc23\n- frama-c-1.11-9.fc23\n- alt-ergo-0.99.1-9.fc23", "timestamp": "2015-12-04 04:37:09", "update_id": 45567, "user_id": 91, "id": 361241, "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 testing by jjames. ", "timestamp": "2015-12-04 04:37:31", "update_id": 45567, "user_id": 91, "id": 361242, "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 pushed to testing.", "timestamp": "2015-12-04 16:51:45", "update_id": 45567, "user_id": 91, "id": 361457, "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 reached 7 days in testing and can be pushed to stable now if the maintainer wishes", "timestamp": "2015-12-11 18:00:09", "update_id": 45567, "user_id": 91, "id": 364727, "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 jjames. ", "timestamp": "2015-12-12 02:04:16", "update_id": 45567, "user_id": 91, "id": 364991, "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 pushed to stable.", "timestamp": "2015-12-13 04:24:12", "update_id": 45567, "user_id": 91, "id": 365272, "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": "alt-ergo-0.99.1-9.fc23", "signed": true, "release_id": 11, "type": "rpm", "epoch": null}, {"nvr": "frama-c-1.11-9.fc23", "signed": true, "release_id": 11, "type": "rpm", "epoch": null}, {"nvr": "ocaml-tplib-1.3-20.fc23", "signed": true, "release_id": 11, "type": "rpm", "epoch": null}, {"nvr": "ocaml-zarith-1.4.1-1.fc23", "signed": true, "release_id": 11, "type": "rpm", "epoch": null}, {"nvr": "why3-0.86.2-2.fc23", "signed": true, "release_id": 11, "type": "rpm", "epoch": null}], "bugs": [], "updateid": "FEDORA-2015-1706e6b2e4", "karma": 0, "content_type": "rpm", "test_cases": []}, "can_edit": false, "ci_allowed": false}