{"update": {"autokarma": false, "autotime": false, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "See http://camlp5.gforge.inria.fr/CHANGES for changes in version 6.12 of ocaml-camlp5.\r\n\r\nSee https://coq.inria.fr/distrib/V8.4pl5/CHANGES for changes in version 8.4pl5 of coq.\r\n\r\nAll other updates are simple rebuilds because of these two changes.", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": null, "close_bugs": true, "date_submitted": "2014-11-07 16:51:50", "date_modified": null, "date_approved": null, "date_testing": "2014-11-10 06:13:22", "date_stable": "2014-11-14 12:04:15", "alias": "FEDORA-2014-14571", "test_gating_status": null, "from_tag": null, "date_pushed": "2014-11-14 12:04:15", "meets_testing_requirements": false, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2014-14571", "title": "coq-8.4pl5-2.fc21 flocq-2.4.0-3.fc21 frama-c-1.10-20.fc21 gappalib-coq-1.0.0-13.fc21 ocaml-camlp5-6.12-1.fc21 why-2.34-11.fc21 why3-0.85-4.fc21 zenon-0.8.0-2.fc21", "version_hash": "f7de5b70fbc3c578d28126a7381df2a6af7924a4", "release": {"name": "F21", "long_name": "Fedora 21", "version": "21", "id_prefix": "FEDORA", "branch": "f21", "dist_tag": "f21", "stable_tag": "f21-updates", "testing_tag": "f21-updates-testing", "candidate_tag": "f21-updates-candidate", "pending_signing_tag": "", "pending_testing_tag": "f21-updates-testing-pending", "pending_stable_tag": "f21-updates-pending", "override_tag": "f21-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": "2014-11-07 16:52:03", "update_id": 30445, "user_id": 91, "id": 246518, "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": "Taskotron: depcheck test PASSED on i386. Result log:\nhttps://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/9731/steps/runtask/logs/stdio\n(results are informative only)", "timestamp": "2014-11-07 17:04:20", "update_id": 30445, "user_id": 100, "id": 246519, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "taskotron", "email": "taskotron@fedoraproject.org", "id": 100, "avatar": "https://seccdn.libravatar.org/avatar/8cba34b3793397cca75782c70d6a4c3af6fc4c8e7d502fad36609e3b4b4670f9?s=24&d=retro", "openid": "taskotron.id.stg.fedoraproject.org", "groups": [{"name": ""}]}}, {"karma": 0, "karma_critpath": 0, "text": "Taskotron: depcheck test PASSED on x86_64. Result log:\nhttps://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/9731/steps/runtask/logs/stdio\n(results are informative only)", "timestamp": "2014-11-07 17:05:44", "update_id": 30445, "user_id": 100, "id": 246520, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "taskotron", "email": "taskotron@fedoraproject.org", "id": 100, "avatar": "https://seccdn.libravatar.org/avatar/8cba34b3793397cca75782c70d6a4c3af6fc4c8e7d502fad36609e3b4b4670f9?s=24&d=retro", "openid": "taskotron.id.stg.fedoraproject.org", "groups": [{"name": ""}]}}, {"karma": 0, "karma_critpath": 0, "text": "This update is currently being pushed to the Fedora 21 testing updates repository.", "timestamp": "2014-11-09 17:41:12", "update_id": 30445, "user_id": 91, "id": 246521, "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 is currently being pushed to the Fedora 21 testing updates repository.", "timestamp": "2014-11-09 17:55:46", "update_id": 30445, "user_id": 91, "id": 246522, "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": "2014-11-10 06:13:22", "update_id": 30445, "user_id": 91, "id": 246523, "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 3 days in testing and can be pushed to stable now if the maintainer wishes", "timestamp": "2014-11-13 06:18:33", "update_id": 30445, "user_id": 91, "id": 246524, "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": "2014-11-13 16:16:14", "update_id": 30445, "user_id": 91, "id": 246525, "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": "Taskotron: upgradepath test PASSED on noarch. Result log:\nhttps://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/12348/steps/runtask/logs/stdio\n(results are informative only)", "timestamp": "2014-11-13 16:28:33", "update_id": 30445, "user_id": 100, "id": 246526, "bug_feedback": [], "testcase_feedback": [], "user": {"name": "taskotron", "email": "taskotron@fedoraproject.org", "id": 100, "avatar": "https://seccdn.libravatar.org/avatar/8cba34b3793397cca75782c70d6a4c3af6fc4c8e7d502fad36609e3b4b4670f9?s=24&d=retro", "openid": "taskotron.id.stg.fedoraproject.org", "groups": [{"name": ""}]}}, {"karma": 0, "karma_critpath": 0, "text": "This update is currently being pushed to the Fedora 21 stable updates repository.", "timestamp": "2014-11-13 22:31:59", "update_id": 30445, "user_id": 91, "id": 246527, "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": "2014-11-14 12:04:15", "update_id": 30445, "user_id": 91, "id": 246528, "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": "coq-8.4pl5-2.fc21", "signed": true, "release_id": null, "type": "rpm", "epoch": null}, {"nvr": "flocq-2.4.0-3.fc21", "signed": true, "release_id": null, "type": "rpm", "epoch": null}, {"nvr": "frama-c-1.10-20.fc21", "signed": true, "release_id": null, "type": "rpm", "epoch": null}, {"nvr": "gappalib-coq-1.0.0-13.fc21", "signed": true, "release_id": null, "type": "rpm", "epoch": null}, {"nvr": "ocaml-camlp5-6.12-1.fc21", "signed": true, "release_id": null, "type": "rpm", "epoch": null}, {"nvr": "why-2.34-11.fc21", "signed": true, "release_id": null, "type": "rpm", "epoch": null}, {"nvr": "why3-0.85-4.fc21", "signed": true, "release_id": null, "type": "rpm", "epoch": null}, {"nvr": "zenon-0.8.0-2.fc21", "signed": true, "release_id": null, "type": "rpm", "epoch": null}], "bugs": [], "updateid": "FEDORA-2014-14571", "karma": 0, "content_type": "rpm", "test_cases": []}, "can_edit": false, "ci_allowed": false}