{"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 ocaml-zarith 1.11:\n\n- Fixes #72, #75, #78: multiple fixes for of_string, support for underscores [hhugo]\n- Fix #74: fix Q.to_float for denormal numbers [pascal-cuoq]\n- Fix #84: always represent min_int by a tagged integer [xavierleroy]\n- muliple fixes for min_int arguments [xavierleroy]\n- Improvement #85: optimize the fast paths for comparison and equality tests [xavierleroy]\n- Fix #80: ar tool is detected in configure [jsmolic]\n\nChanges in frama-c 22.0 (Titanium):\n\n- See https://frama-c.com/html/changelog.html\n\nChanges in ocaml-cryptokit 1.16.1:\n\n- https://github.com/xavierleroy/cryptokit/releases/tag/release112\n- https://github.com/xavierleroy/cryptokit/releases/tag/release113\n- https://github.com/xavierleroy/cryptokit/releases/tag/release114\n- https://github.com/xavierleroy/cryptokit/releases/tag/release115\n- https://github.com/xavierleroy/cryptokit/releases/tag/release116\n- https://github.com/xavierleroy/cryptokit/releases/tag/release1161\n\nAll other builds are simple rebuilds due to the ocaml-zarith update.\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": "2020-11-23 22:43:51", "date_modified": null, "date_approved": null, "date_testing": "2020-11-24 01:25:47", "date_stable": "2020-12-02 10:39:54", "alias": "FEDORA-2020-3807c1a216", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2020-12-02 10:39:54", "meets_testing_requirements": true, "url": "https://bodhi.fedoraproject.org/updates/FEDORA-2020-3807c1a216", "title": "alt-ergo-2.2.0-6.fc33 frama-c-22.0-1.fc33 ocaml-cryptokit-1.16.1-1.fc33 ocaml-tplib-1.3-56.fc33 ocaml-zarith-1.11-1.fc33 z3-4.8.9-3.fc33", "version_hash": "529347d9ef892a6b998e56634eac021dea0f8dc0", "release": {"name": "F33", "long_name": "Fedora 33", "version": "33", "id_prefix": "FEDORA", "branch": "f33", "dist_tag": "f33", "stable_tag": "f33-updates", "testing_tag": "f33-updates-testing", "candidate_tag": "f33-updates-candidate", "pending_signing_tag": "f33-signing-pending", "pending_testing_tag": "f33-updates-testing-pending", "pending_stable_tag": "f33-updates-pending", "override_tag": "f33-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": "2020-11-23 22:43:52", "update_id": 260496, "user_id": 91, "id": 1744999, "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": "2020-11-23 22:43:54", "update_id": 260496, "user_id": 91, "id": 1745000, "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": "2020-11-23 22:43:54", "update_id": 260496, "user_id": 91, "id": 1745001, "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": "2020-11-23 23:44:52", "update_id": 260496, "user_id": 91, "id": 1745027, "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": "2020-11-24 01:27:08", "update_id": 260496, "user_id": 91, "id": 1745140, "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": "2020-12-01 01:29:11", "update_id": 260496, "user_id": 91, "id": 1756021, "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": "2020-12-01 01:29:12", "update_id": 260496, "user_id": 91, "id": 1756022, "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": "2020-12-02 10:40:03", "update_id": 260496, "user_id": 91, "id": 1758556, "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.2.0-6.fc33", "signed": true, "release_id": 40, "type": "rpm", "epoch": 0}, {"nvr": "frama-c-22.0-1.fc33", "signed": true, "release_id": 40, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cryptokit-1.16.1-1.fc33", "signed": true, "release_id": 40, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-tplib-1.3-56.fc33", "signed": true, "release_id": 40, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zarith-1.11-1.fc33", "signed": true, "release_id": 40, "type": "rpm", "epoch": 0}, {"nvr": "z3-4.8.9-3.fc33", "signed": true, "release_id": 40, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2020-3807c1a216", "karma": 0, "content_type": "rpm", "test_cases": []}, "can_edit": false, "ci_allowed": false}