{"updates": [{"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "See https://ocaml.org/releases/5.3.0 for changes in ocaml 5.3.0.  All other packages were rebuilt for OCaml 5.3.0.  VCS fields were added for packages lacking them.  Other changes are as follows:\n\n- alt-ergo: Correct the License fields; do configuration in %conf\n- apron: Add an upstream patch to fix segfaults in OCaml GC\n- coq: Update to version 8.20.0; see https://coq.inria.fr/doc/v8.20/refman/changes.html\n- frama-c: Add a patch for why3 1.8.0 compatibility\n- hevea: Install into %_texmf_main instead of %_texmf\n- ocaml-cairo: Update to version 0.6.5; see https://github.com/Chris00/ocaml-cairo/blob/master/CHANGES.md\n- ocaml-calendar: Add a patch to work around a test failure with OCaml 5.3.0\n- ocaml-camlbz2: Update the io.h patch for OCaml 5.3.0\n- ocaml-camlidl: Add an upstream patch to fix segfaults in OCaml GC\n- ocaml-camlp5: Update to version 8.03.01; see https://github.com/camlp5/camlp5/blob/master/CHANGES\n- ocaml-camlp5-buildscripts: Update to version 0.04; see https://github.com/camlp5/camlp5-buildscripts/blob/master/CHANGES\n- ocaml-cppo: Update to version 1.8.0\n- ocaml-cryptokit: Use zlib-ng instead of zlib\n- ocaml-csexp: Bump dune lang from 3.15 to 3.17\n- ocaml-dune: Update to version 3.17.1; see https://github.com/ocaml/dune/blob/main/CHANGES.md.  Also update the License field for changes in vendored dependencies and drop the upstreamed furo patch.\n- ocaml-extlib: Update to version 1.8.0; see https://github.com/ygrek/ocaml-extlib/blob/master/CHANGES\n- ocaml-fileutiles: Update to version 0.6.6\n- ocaml-findlib: Update to version 1.9.8; see https://github.com/ocaml/ocamlfind/blob/master/doc/README.xml.  Also change config name to findlib.conf to match upstream.\n- ocaml-gettext: Add patch for OCaml 5.3 support\n- ocaml-gsl: Update to version 1.25.1; see https://github.com/mmottl/gsl-ocaml/blob/master/CHANGES.md.  Also, drop upstreamed patch to link with flexiblas after gsl.\n- ocaml-jsonm: BR ocaml-compiler-libs for OCaml 5.3.0\n- ocaml-lacaml: Update to version 11.1.1; see https://github.com/mmottl/lacaml/blob/master/CHANGES.md\n- ocaml-lwt: Update to version 5.9.0; see https://github.com/ocsigen/lwt/blob/master/CHANGES\n- ocaml-mccs: Update to version 1.1+19; see https://github.com/ocaml-opam/ocaml-mccs/blob/master/CHANGES.md\n- ocaml-mdx: Update to version 2.5.0; see https://github.com/realworldocaml/mdx/blob/main/CHANGES.md\n- ocaml-merlin: Update to version 5.4-503; see https://github.com/ocaml/merlin/releases/tag/v5.4-503\n- ocaml-mlgmpidl: Remove dependency on ocaml-bigarray-compat\n- ocaml-mlmpfr: Add patches for OCaml 5.3.0 and dune 3.17 compatibility\n- ocaml-odoc: Update to version 2.4.4; see https://github.com/ocaml/odoc/blob/master/CHANGES.md\n- ocaml-omake: Update to version 0.10.7\n- ocaml-pcre: Update to version 8.0.2; see https://github.com/mmottl/pcre-ocaml/blob/master/CHANGES.md\n- ocaml-pcre2: Update to version 8.0.2; https://github.com/mmottl/pcre2-ocaml/blob/main/CHANGES.md\n- ocaml-postgresql: Update to version 5.1.3; drop all patches\n- ocaml-pp: Update to version 2.0.0; see https://github.com/ocaml-dune/pp/blob/master/CHANGES.md\n- ocaml-ppx-deriving: Update to version 6.0.3; see https://github.com/ocaml-ppx/ppx_deriving/blob/master/CHANGELOG.md\n- ocaml-ppx-deriving-yaml: Update to version 0.4.0; see https://github.com/patricoferris/ppx_deriving_yaml/blob/main/CHANGES.md\n- ocaml-ppx-deriving-yojson: Update to version 3.9.1; see https://github.com/ocaml-ppx/ppx_deriving_yojson/blob/master/CHANGELOG.md\n- ocaml-ppxlib: Update to version 0.34.0; see https://github.com/ocaml-ppx/ppxlib/blob/main/CHANGES.md.  Create a new tools subpackage.\n- ocaml-ppxlib-jane: Update to version 0.17.2\n- ocaml-pyml: Remove old obsoletes\n- ocaml-qcheck: Update to version 0.23; see https://github.com/c-cube/qcheck/blob/main/CHANGELOG.md\n- ocaml-res: Update to version 5.0.2; see https://github.com/mmottl/res/releases/tag/5.0.2\n- ocaml-sedlex: Update to version 3.3; see \n- ocaml-sqlite: Update to version 5.2.0; see https://github.com/mmottl/sqlite3-ocaml/releases/tag/5.2.0\n- ocaml-stdcompat: Update to git HEAD and add patch for OCaml 5.3.0 support\n- ocaml-version: Update to version 3.7.3; see https://github.com/ocurrent/ocaml-version/blob/master/CHANGES.md\n- ocaml-zip: Update to version 1.13; see https://github.com/xavierleroy/camlzip/blob/master/Changes.  Also, use zlib-ng instead of zlib.\n- opam: Update to version 2.3.0; see https://github.com/ocaml/opam/blob/master/CHANGES\n- utop: Update to version 2.15.0; see https://github.com/ocaml-community/utop/blob/master/CHANGES.md\n- why3: Update to version 1.8.0; see https://groupes.renater.fr/sympa/arc/why3-club/2024-12/msg00000.html\n- z3: Update to version 4.13.4; see https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": true, "critpath_groups": "critical-path-build critical-path-compose critical-path-kde", "close_bugs": true, "date_submitted": "2025-01-10 23:15:21", "date_modified": null, "date_approved": "2025-01-11 00:52:55", "date_testing": "2025-01-10 23:33:37", "date_stable": "2025-01-11 00:53:21", "alias": "FEDORA-2025-5fc7b516ce", "test_gating_status": "passed", "from_tag": "f42-build-side-103318", "date_pushed": "2025-01-11 00:53:21", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2025-5fc7b516ce", "title": "0install-2.18-2.fc42 alt-ergo-2.3.3-23.fc42 apron-0.9.15-5.fc42 brltty-6.7-4.fc42 coccinelle-1.3-2.fc42 coq-8.20.0-1.fc42 flocq-4.2.0-3.fc42 frama-c-30.0-2.fc42 freetennis-0.4.8-60.fc42 gappalib-coq-1.5.5-6.fc42 guestfs-tools-1.53.5-2.fc42 haxe-4.3.4-7.fc42 hevea-2.36-15.fc42 hivex-1.3.24-3.fc42 libguestfs-1.55.3-3.fc42 libnbd-1.21.6-2.fc42 nbdkit-1.41.9-2.fc42 not-ocamlfind-0.13-5.fc42 ocaml-5.3.0-1.fc42 ocaml-SDL-0.9.1-71.fc42 ocaml-alcotest-1.8.0-4.fc42 ocaml-astring-0.8.5-27.fc42 ocaml-atd-2.15.0-12.fc42 ocaml-augeas-0.6-37.fc42 ocaml-base-0.17.1-3.fc42 ocaml-base64-3.5.1-14.fc42 ocaml-benchmark-1.6-15.fc42 ocaml-bin-prot-0.17.0-3.fc42 ocaml-biniou-1.2.2-12.fc42 ocaml-bisect-ppx-2.8.3-14.fc42 ocaml-bos-0.2.1-24.fc42 ocaml-cairo-0.6.5-1.fc42 ocaml-calendar-3.0.0-15.fc42 ocaml-camlbz2-0.8.0-5.fc42 ocaml-camlidl-1.12-10.fc42 ocaml-camlimages-5.0.5-5.fc42 ocaml-camlp-streams-5.0.1-16.fc42 ocaml-camlp5-8.03.01-1.fc42 ocaml-camlp5-buildscripts-0.04-1.fc42 ocaml-camomile-2.0.0-14.fc42 ocaml-cinaps-0.15.1-22.fc42 ocaml-cmdliner-1.3.0-5.fc42 ocaml-compiler-libs-janestreet-0.17.0-5.fc42 ocaml-cppo-1.8.0-1.fc42 ocaml-crunch-3.3.1-12.fc42 ocaml-cryptokit-1.20.1-3.fc42 ocaml-csexp-1.5.2-13.fc42 ocaml-csv-2.4-24.fc42 ocaml-ctypes-0.23.0-3.fc42 ocaml-cudf-0.10-12.fc42 ocaml-curl-0.9.2-19.fc42 ocaml-curses-1.0.11-12.fc42 ocaml-dbus-0.30-58.fc42 ocaml-dose3-7.0.0-31.fc42 ocaml-dune-3.17.1-1.fc42 ocaml-easy-format-1.3.4-12.fc42 ocaml-expat-1.3.0-12.fc42 ocaml-extlib-1.8.0-1.fc42 ocaml-facile-1.1.4-13.fc42 ocaml-fieldslib-0.17.0-3.fc42 ocaml-fileutils-0.6.6-1.fc42 ocaml-findlib-1.9.8-1.fc42 ocaml-fmt-0.9.0-19.fc42 ocaml-fpath-0.7.3-24.fc42 ocaml-gen-1.1-13.fc42 ocaml-gettext-0.4.2-23.fc42 ocaml-graphics-5.1.2-21.fc42 ocaml-gsl-1.25.1-1.fc42 ocaml-integers-0.7.0-17.fc42 ocaml-intrinsics-kernel-0.17.1-2.fc42 ocaml-jane-street-headers-0.17.0-4.fc42 ocaml-jsonm-1.0.2-4.fc42 ocaml-jst-config-0.17.0-3.fc42 ocaml-lablgl-1.07-14.fc42 ocaml-lablgtk-2.18.13-15.fc42 ocaml-lablgtk3-3.1.5-4.fc42 ocaml-labltk-8.06.14-2.fc42 ocaml-lacaml-11.1.1-1.fc42 ocaml-lambda-term-3.3.2-13.fc42 ocaml-libvirt-0.6.1.7-13.fc42 ocaml-logs-0.7.0-24.fc42 ocaml-luv-0.5.12-16.fc42 ocaml-lwt-5.9.0-1.fc42 ocaml-markup-1.0.3-19.fc42 ocaml-mccs-1.1.19-1.fc42 ocaml-mdx-2.5.0-1.fc42 ocaml-menhir-20240715-2.fc42 ocaml-merlin-5.4-1.fc42 ocaml-mew-0.1.0-29.fc42 ocaml-mew-vi-0.5.0-29.fc42 ocaml-mlgmpidl-1.3.0-12.fc42 ocaml-mlmpfr-4.2.1-7.fc42 ocaml-mtime-2.1.0-3.fc42 ocaml-mysql-1.2.4-15.fc42 ocaml-num-1.5-10.fc42 ocaml-obuild-0.1.11-5.fc42 ocaml-ocamlbuild-0.15.0-2.fc42 ocaml-ocamlgraph-2.1.0-10.fc42 ocaml-ocamlnet-4.1.9-23.fc42 ocaml-ocp-indent-1.8.2-31.fc42 ocaml-ocplib-endian-1.2-19.fc42 ocaml-ocplib-simplex-0.4.1-10.fc42 ocaml-octavius-1.2.2-26.fc42 ocaml-odoc-2.4.4-1.fc42 ocaml-omake-0.10.7-1.fc42 ocaml-opam-0install-cudf-0.5.0-2.fc42 ocaml-opam-file-format-2.1.6-16.fc42 ocaml-ounit-2.2.7-13.fc42 ocaml-parmap-1.2.5-15.fc42 ocaml-parsexp-0.17.0-3.fc42 ocaml-pcre-8.0.2-1.fc42 ocaml-pcre2-8.0.2-1.fc42 ocaml-perl4caml-0.9.5-112.fc42 ocaml-postgresql-5.1.3-1.fc42 ocaml-pp-2.0.0-1.fc42 ocaml-ppx-assert-0.17.0-4.fc42 ocaml-ppx-base-0.17.0-4.fc42 ocaml-ppx-cold-0.17.0-4.fc42 ocaml-ppx-compare-0.17.0-4.fc42 ocaml-ppx-custom-printf-0.17.0-4.fc42 ocaml-ppx-derivers-1.2.1-39.fc42 ocaml-ppx-deriving-6.0.3-1.fc42 ocaml-ppx-deriving-yaml-0.4.0-1.fc42 ocaml-ppx-deriving-yojson-3.9.1-1.fc42 ocaml-ppx-enumerate-0.17.0-4.fc42 ocaml-ppx-expect-0.17.2-2.fc42 ocaml-ppx-fields-conv-0.17.0-4.fc42 ocaml-ppx-globalize-0.17.0-4.fc42 ocaml-ppx-hash-0.17.0-4.fc42 ocaml-ppx-here-0.17.0-4.fc42 ocaml-ppx-inline-test-0.17.0-4.fc42 ocaml-ppx-js-style-0.17.0-4.fc42 ocaml-ppx-let-0.17.0-4.fc42 ocaml-ppx-optcomp-0.17.0-4.fc42 ocaml-ppx-sexp-conv-0.17.0-4.fc42 ocaml-ppx-stable-witness-0.17.0-4.fc42 ocaml-ppx-variants-conv-0.17.0-4.fc42 ocaml-ppxlib-0.34.0-1.fc42 ocaml-ppxlib-jane-0.17.2-1.fc42 ocaml-psmt2-frontend-0.4.0-21.fc42 ocaml-ptime-1.2.0-3.fc42 ocaml-ptmap-2.0.5-23.fc42 ocaml-pyml-20231101-10.fc42 ocaml-qcheck-0.23-1.fc42 ocaml-qtest-2.11.2-24.fc42 ocaml-re-1.13.3-2.fc42 ocaml-react-1.2.2-13.fc42 ocaml-res-5.0.2-1.fc42 ocaml-result-1.5-27.fc42 ocaml-rresult-0.7.0-20.fc42 ocaml-sedlex-3.3-1.fc42 ocaml-sexplib-0.17.0-4.fc42 ocaml-sexplib0-0.17.0-3.fc42 ocaml-sha-1.15.4-12.fc42 ocaml-spdx-licenses-1.2.0-3.fc42 ocaml-sqlite-5.2.0-1.fc42 ocaml-ssl-0.7.0-12.20230714gitffc634d.fc42 ocaml-stdcompat-19^20240529.d53390d-1.fc42 ocaml-stdio-0.17.0-4.fc42 ocaml-stdlib-random-1.2.0-6.fc42 ocaml-swhid-core-0.1-3.fc42 ocaml-time-now-0.17.0-4.fc42 ocaml-topkg-1.0.7-14.fc42 ocaml-trie-1.0.0-28.fc42 ocaml-tyxml-4.6.0-14.fc42 ocaml-unionfind-20220122-9.fc42 ocaml-uucd-16.0.0-2.fc42 ocaml-uucp-16.0.0-2.fc42 ocaml-uunf-16.0.0-2.fc42 ocaml-uuseg-16.0.0-2.fc42 ocaml-uutf-1.0.3-18.fc42 ocaml-variantslib-0.17.0-3.fc42 ocaml-version-3.7.3-1.fc42 ocaml-xml-light-2.5-13.fc42 ocaml-xmlm-1.4.0-12.fc42 ocaml-xmlrpc-light-0.6.1-83.fc42 ocaml-yaml-3.2.0-14.fc42 ocaml-yojson-2.2.2-2.fc42 ocaml-zarith-1.14-4.fc42 ocaml-zed-3.2.3-12.fc42 ocaml-zip-1.13-1.fc42 ocaml-zmq-5.3.0-6.fc42 ocamlify-0.0.2-47.fc42 ocamlmod-0.0.9-43.fc42 opam-2.3.0-1.fc42 planets-0.1.13-46.fc42 prooftree-0.14-5.fc42 supermin-5.3.5-3.fc42 unison-2.53.5-4.fc42 utop-2.15.0-1.fc42 virt-top-1.1.1-22.fc42 virt-v2v-2.7.4-2.fc42 why3-1.8.0-1.fc42 xen-4.19.1-4.fc42 z3-4.13.4-1.fc42 zenon-0.8.5-29.fc42", "version_hash": "b31e0f7628c83e44d20cd3c9b31621b977c9ddaf", "release": {"name": "F42", "long_name": "Fedora 42", "version": "42", "id_prefix": "FEDORA", "branch": "rawhide", "dist_tag": "f42", "stable_tag": "f42", "testing_tag": "f42-updates-testing", "candidate_tag": "f42-updates-candidate", "pending_signing_tag": "f42-signing-pending", "pending_testing_tag": "f42-updates-testing-pending", "pending_stable_tag": "f42-updates-pending", "override_tag": "f42-override", "mail_template": "fedora_errata_template", "state": "pending", "composed_by_bodhi": false, "create_automatic_updates": true, "package_manager": "unspecified", "testing_repository": null, "released_on": null, "eol": null, "critpath_mandatory_days_in_testing": 0, "mandatory_days_in_testing": 0, "critpath_min_karma": 0, "min_karma": 0, "setting_status": "pre_beta"}, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2025-01-10 23:15:21", "update_id": 681614, "user_id": 91, "id": 3896773, "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's test gating status has been changed to 'waiting'.", "timestamp": "2025-01-10 23:15:51", "update_id": 681614, "user_id": 91, "id": 3896774, "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's test gating status has been changed to 'passed'.", "timestamp": "2025-01-11 00:51:29", "update_id": 681614, "user_id": 91, "id": 3896804, "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 bodhi", "timestamp": "2025-01-11 00:53:21", "update_id": 681614, "user_id": 91, "id": 3896805, "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": "0install-2.18-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "alt-ergo-2.3.3-23.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "apron-0.9.15-5.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "brltty-6.7-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "coccinelle-1.3-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "coq-8.20.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "flocq-4.2.0-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "frama-c-30.0-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "freetennis-0.4.8-60.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "gappalib-coq-1.5.5-6.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "guestfs-tools-1.53.5-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "haxe-4.3.4-7.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "hevea-2.36-15.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "hivex-1.3.24-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "libguestfs-1.55.3-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "libnbd-1.21.6-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "nbdkit-1.41.9-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "not-ocamlfind-0.13-5.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-5.3.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-alcotest-1.8.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-astring-0.8.5-27.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-atd-2.15.0-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-augeas-0.6-37.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-base-0.17.1-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-base64-3.5.1-14.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-benchmark-1.6-15.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-biniou-1.2.2-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bin-prot-0.17.0-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bisect-ppx-2.8.3-14.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bos-0.2.1-24.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cairo-0.6.5-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-calendar-3.0.0-15.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlbz2-0.8.0-5.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlidl-1.12-10.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlimages-5.0.5-5.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlp5-8.03.01-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlp5-buildscripts-0.04-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlp-streams-5.0.1-16.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camomile-2.0.0-14.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cinaps-0.15.1-22.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cmdliner-1.3.0-5.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-compiler-libs-janestreet-0.17.0-5.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cppo-1.8.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-crunch-3.3.1-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cryptokit-1.20.1-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-csexp-1.5.2-13.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-csv-2.4-24.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ctypes-0.23.0-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cudf-0.10-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-curl-0.9.2-19.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-curses-1.0.11-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-dbus-0.30-58.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-dose3-7.0.0-31.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-dune-3.17.1-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-easy-format-1.3.4-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-expat-1.3.0-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-extlib-1.8.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-facile-1.1.4-13.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fieldslib-0.17.0-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fileutils-0.6.6-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-findlib-1.9.8-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fmt-0.9.0-19.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fpath-0.7.3-24.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-gen-1.1-13.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-gettext-0.4.2-23.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-graphics-5.1.2-21.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-gsl-1.25.1-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocamlify-0.0.2-47.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-integers-0.7.0-17.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-intrinsics-kernel-0.17.1-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-jane-street-headers-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-jsonm-1.0.2-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-jst-config-0.17.0-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lablgl-1.07-14.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lablgtk-2.18.13-15.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lablgtk3-3.1.5-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-labltk-8.06.14-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lacaml-11.1.1-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lambda-term-3.3.2-13.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-libvirt-0.6.1.7-13.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-logs-0.7.0-24.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-luv-0.5.12-16.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lwt-5.9.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-markup-1.0.3-19.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mccs-1.1.19-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mdx-2.5.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-menhir-20240715-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-merlin-5.4-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mew-0.1.0-29.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mew-vi-0.5.0-29.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mlgmpidl-1.3.0-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mlmpfr-4.2.1-7.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocamlmod-0.0.9-43.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mtime-2.1.0-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mysql-1.2.4-15.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-num-1.5-10.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-obuild-0.1.11-5.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocamlbuild-0.15.0-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocamlgraph-2.1.0-10.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocamlnet-4.1.9-23.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocp-indent-1.8.2-31.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocplib-endian-1.2-19.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocplib-simplex-0.4.1-10.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-octavius-1.2.2-26.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-odoc-2.4.4-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-omake-0.10.7-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-opam-0install-cudf-0.5.0-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-opam-file-format-2.1.6-16.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ounit-2.2.7-13.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-parmap-1.2.5-15.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-parsexp-0.17.0-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-pcre2-8.0.2-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-pcre-8.0.2-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-perl4caml-0.9.5-112.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-postgresql-5.1.3-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-pp-2.0.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-assert-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-base-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-cold-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-compare-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-custom-printf-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-derivers-1.2.1-39.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-6.0.3-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-yaml-0.4.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-yojson-3.9.1-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-enumerate-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-expect-0.17.2-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-fields-conv-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-globalize-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-hash-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-here-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-inline-test-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-js-style-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-let-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppxlib-0.34.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppxlib-jane-0.17.2-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-optcomp-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-sexp-conv-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-stable-witness-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-variants-conv-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-psmt2-frontend-0.4.0-21.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ptime-1.2.0-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ptmap-2.0.5-23.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-pyml-20231101-10.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-qcheck-0.23-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-qtest-2.11.2-24.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-re-1.13.3-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-react-1.2.2-13.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-res-5.0.2-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-result-1.5-27.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-rresult-0.7.0-20.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-SDL-0.9.1-71.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sedlex-3.3-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sexplib0-0.17.0-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sexplib-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sha-1.15.4-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-spdx-licenses-1.2.0-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sqlite-5.2.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ssl-0.7.0-12.20230714gitffc634d.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-stdcompat-19^20240529.d53390d-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-stdio-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-stdlib-random-1.2.0-6.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-swhid-core-0.1-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-time-now-0.17.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-topkg-1.0.7-14.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-trie-1.0.0-28.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-tyxml-4.6.0-14.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-unionfind-20220122-9.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uucd-16.0.0-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uucp-16.0.0-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uunf-16.0.0-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uuseg-16.0.0-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uutf-1.0.3-18.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-variantslib-0.17.0-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-version-3.7.3-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-xml-light-2.5-13.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-xmlm-1.4.0-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-xmlrpc-light-0.6.1-83.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-yaml-3.2.0-14.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-yojson-2.2.2-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zarith-1.14-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zed-3.2.3-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zip-1.13-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zmq-5.3.0-6.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "opam-2.3.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "planets-0.1.13-46.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "prooftree-0.14-5.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "supermin-5.3.5-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "unison-2.53.5-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "utop-2.15.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "virt-top-1.1.1-22.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "virt-v2v-2.7.4-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.8.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "xen-4.19.1-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "z3-4.13.4-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "zenon-0.8.5-29.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2283027, "title": "ocaml-cmdliner-1.3.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2309021, "title": "ocaml-cppo-1.8.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2313723, "title": "ocaml-pp-2.0.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2314018, "title": "ocaml-5.3.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2314034, "title": "opam-2.3.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2315504, "title": "ocaml-version-3.7.3 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2315511, "title": "ocaml-ppxlib-jane-0.17.2 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2316524, "title": "ocaml-ppx-deriving-6.0.3 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2322701, "title": "ocaml-sedlex-3.3 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2326159, "title": "ocaml-lwt-5.9.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2326845, "title": "ocaml-ppx-deriving-yaml-0.4.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2328702, "title": "ocaml-dune-3.17.1 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2328722, "title": "utop-2.15.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2329013, "title": "ocaml-merlin-5.4-503 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2330619, "title": "ocaml-odoc-2.4.4 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2330967, "title": "ocaml-mdx-2.5.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2331682, "title": "why3-1.8.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2332208, "title": "ocaml-qcheck-0.23 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2332793, "title": "z3-4.13.4 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2333345, "title": "ocaml-ppx-deriving-yojson-3.9.1 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2333911, "title": "ocaml-pcre2-8.0.2 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2335812, "title": "ocaml-ppxlib-0.34.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2336532, "title": "ocaml-mccs-1.1+19 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2025-5fc7b516ce", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 7, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "See https://frama-c.com/html/news.html#2024-12-05 for changes in Frama-C 30.0 Zinc.", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-12-06 18:58:04", "date_modified": null, "date_approved": "2024-12-14 07:25:51", "date_testing": "2024-12-07 07:24:17", "date_stable": "2024-12-15 02:26:27", "alias": "FEDORA-2024-f70587f186", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-12-15 02:26:27", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-f70587f186", "title": "frama-c-30.0-1.fc41", "version_hash": "e0c9c60d141f2bab30d7149d125a91e4b2981c99", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by jjames. ", "timestamp": "2024-12-06 18:58:04", "update_id": 674443, "user_id": 91, "id": 3857646, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-12-06 18:58:04", "update_id": 674443, "user_id": 91, "id": 3857647, "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": "2024-12-07 07:25:51", "update_id": 674443, "user_id": 91, "id": 3858343, "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 bodhi. ", "timestamp": "2024-12-14 07:25:51", "update_id": 674443, "user_id": 91, "id": 3867582, "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": "2024-12-15 02:27:59", "update_id": 674443, "user_id": 91, "id": 3868227, "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": "frama-c-30.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2324714, "title": "frama-c-30.0 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-f70587f186", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for frama-c-30.0-1.fc42.\n\n##### **Changelog**\n\n```\n* Fri Dec  6 2024 Jerry James <loganjerry@gmail.com> - 30.0-1\n- Version 30.0\n- Move configuration steps to %conf\n- Remove empty opam files\n- Link, rather than copy, duplicate files\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-12-06 18:04:00", "date_modified": null, "date_approved": "2024-12-06 18:06:19", "date_testing": "2024-12-06 18:06:03", "date_stable": "2024-12-06 18:06:20", "alias": "FEDORA-2024-dbea0e20fa", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-12-06 18:06:20", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-dbea0e20fa", "title": "frama-c-30.0-1.fc42", "version_hash": "9e8847470b55a9dbd89ebab0108b0263fda61e63", "release": {"name": "F42", "long_name": "Fedora 42", "version": "42", "id_prefix": "FEDORA", "branch": "rawhide", "dist_tag": "f42", "stable_tag": "f42", "testing_tag": "f42-updates-testing", "candidate_tag": "f42-updates-candidate", "pending_signing_tag": "f42-signing-pending", "pending_testing_tag": "f42-updates-testing-pending", "pending_stable_tag": "f42-updates-pending", "override_tag": "f42-override", "mail_template": "fedora_errata_template", "state": "pending", "composed_by_bodhi": false, "create_automatic_updates": true, "package_manager": "unspecified", "testing_repository": null, "released_on": null, "eol": null, "critpath_mandatory_days_in_testing": 0, "mandatory_days_in_testing": 0, "critpath_min_karma": 0, "min_karma": 0, "setting_status": "pre_beta"}, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2024-12-06 18:04:00", "update_id": 674433, "user_id": 91, "id": 3857606, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-12-06 18:04:11", "update_id": 674433, "user_id": 91, "id": 3857607, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-12-06 18:06:03", "update_id": 674433, "user_id": 91, "id": 3857608, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-12-06 18:06:03", "update_id": 674433, "user_id": 91, "id": 3857609, "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 bodhi", "timestamp": "2024-12-06 18:06:20", "update_id": 674433, "user_id": 91, "id": 3857610, "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": "frama-c-30.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-dbea0e20fa", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "ocaml-lwt updated to 5.8.0 and dependent packages rebuilt.\n", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-10-08 09:19:27", "date_modified": "2024-10-08 09:20:03", "date_approved": "2024-10-08 09:26:44", "date_testing": "2024-10-08 09:23:42", "date_stable": "2024-10-08 09:26:44", "alias": "FEDORA-2024-0409b4cb71", "test_gating_status": "passed", "from_tag": "f42-build-side-97872", "date_pushed": "2024-10-08 09:26:44", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-0409b4cb71", "title": "frama-c-29.0-10.fc42 ocaml-alcotest-1.8.0-3.fc42 ocaml-bos-0.2.1-23.fc42 ocaml-csv-2.4-23.fc42 ocaml-ctypes-0.23.0-2.fc42 ocaml-curl-0.9.2-18.fc42 ocaml-dune-3.16.0-4.fc42 ocaml-lambda-term-3.3.2-12.fc42 ocaml-logs-0.7.0-23.fc42 ocaml-lwt-5.8.0-1.fc42 ocaml-markup-1.0.3-18.fc42 ocaml-mdx-2.4.1-7.fc42 ocaml-ounit-2.2.7-12.fc42 ocaml-ppx-deriving-yaml-0.3.0-6.fc42 ocaml-yaml-3.2.0-13.fc42 ocaml-zmq-5.3.0-5.fc42 utop-2.14.0-6.fc42", "version_hash": "f63f25159192f516eea16d8fc9fc05b3dc9d7f5f", "release": {"name": "F42", "long_name": "Fedora 42", "version": "42", "id_prefix": "FEDORA", "branch": "rawhide", "dist_tag": "f42", "stable_tag": "f42", "testing_tag": "f42-updates-testing", "candidate_tag": "f42-updates-candidate", "pending_signing_tag": "f42-signing-pending", "pending_testing_tag": "f42-updates-testing-pending", "pending_stable_tag": "f42-updates-pending", "override_tag": "f42-override", "mail_template": "fedora_errata_template", "state": "pending", "composed_by_bodhi": false, "create_automatic_updates": true, "package_manager": "unspecified", "testing_repository": null, "released_on": null, "eol": null, "critpath_mandatory_days_in_testing": 0, "mandatory_days_in_testing": 0, "critpath_min_karma": 0, "min_karma": 0, "setting_status": "pre_beta"}, "user": {"name": "rjones", "email": "rjones@redhat.com", "id": 141, "avatar": "https://seccdn.libravatar.org/avatar/6bc2ebbc861c9a4776b76939247a95d742d150e3feb2878a3b1ffd4d950329db?s=24&d=retro", "openid": "rjones.id.stg.fedoraproject.org", "groups": [{"name": "provenpackager"}, {"name": "packager"}, {"name": "virtmaint-sig"}, {"name": "giterlang"}, {"name": "fedorabugs"}, {"name": "cla_redhat"}, {"name": "gitvirt-v2v"}, {"name": "gitvirt-tools"}, {"name": "signed_fpca"}, {"name": "ipausers"}, {"name": "gitcdupgrader"}, {"name": "gitfedora-ocaml"}, {"name": "fedora-contributor"}, {"name": "hosted-content"}, {"name": "gitautobuildrequires"}, {"name": "risc-v"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-10-08 09:19:29", "update_id": 656524, "user_id": 91, "id": 3761462, "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's test gating status has been changed to 'passed'.", "timestamp": "2024-10-08 09:19:46", "update_id": 656524, "user_id": 91, "id": 3761466, "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": "rjones edited this update.", "timestamp": "2024-10-08 09:20:02", "update_id": 656524, "user_id": 91, "id": 3761468, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-10-08 09:23:42", "update_id": 656524, "user_id": 91, "id": 3761475, "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's test gating status has been changed to 'passed'.", "timestamp": "2024-10-08 09:23:42", "update_id": 656524, "user_id": 91, "id": 3761476, "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 bodhi", "timestamp": "2024-10-08 09:26:46", "update_id": 656524, "user_id": 91, "id": 3761479, "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": "frama-c-29.0-10.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-alcotest-1.8.0-3.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bos-0.2.1-23.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-csv-2.4-23.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ctypes-0.23.0-2.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-curl-0.9.2-18.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-dune-3.16.0-4.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lambda-term-3.3.2-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-logs-0.7.0-23.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lwt-5.8.0-1.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-markup-1.0.3-18.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mdx-2.4.1-7.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ounit-2.2.7-12.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-yaml-0.3.0-6.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-yaml-3.2.0-13.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zmq-5.3.0-5.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}, {"nvr": "utop-2.14.0-6.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2229326, "title": "ocaml-lwt-5.8.0 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-0409b4cb71", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for frama-c-29.0-9.fc42.\n\n##### **Changelog**\n\n```\n* Sun Oct  6 2024 Jerry James <loganjerry@gmail.com> - 29.0-9\n- Rebuild for ocaml-re 1.13.3\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-10-06 22:17:35", "date_modified": null, "date_approved": "2024-10-06 22:20:42", "date_testing": "2024-10-06 22:20:25", "date_stable": "2024-10-06 22:20:42", "alias": "FEDORA-2024-986270e154", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-10-06 22:20:42", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-986270e154", "title": "frama-c-29.0-9.fc42", "version_hash": "e9fee54fd9430d1edd1fc499aeecc6c057f76040", "release": {"name": "F42", "long_name": "Fedora 42", "version": "42", "id_prefix": "FEDORA", "branch": "rawhide", "dist_tag": "f42", "stable_tag": "f42", "testing_tag": "f42-updates-testing", "candidate_tag": "f42-updates-candidate", "pending_signing_tag": "f42-signing-pending", "pending_testing_tag": "f42-updates-testing-pending", "pending_stable_tag": "f42-updates-pending", "override_tag": "f42-override", "mail_template": "fedora_errata_template", "state": "pending", "composed_by_bodhi": false, "create_automatic_updates": true, "package_manager": "unspecified", "testing_repository": null, "released_on": null, "eol": null, "critpath_mandatory_days_in_testing": 0, "mandatory_days_in_testing": 0, "critpath_min_karma": 0, "min_karma": 0, "setting_status": "pre_beta"}, "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2024-10-06 22:17:35", "update_id": 655907, "user_id": 91, "id": 3758549, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-10-06 22:17:50", "update_id": 655907, "user_id": 91, "id": 3758550, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-10-06 22:20:25", "update_id": 655907, "user_id": 91, "id": 3758551, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-10-06 22:20:25", "update_id": 655907, "user_id": 91, "id": 3758552, "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 bodhi", "timestamp": "2024-10-06 22:20:42", "update_id": 655907, "user_id": 91, "id": 3758553, "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": "frama-c-29.0-9.fc42", "signed": true, "release_id": 84, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-986270e154", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "See https://github.com/yallop/ocaml-ctypes/blob/master/CHANGES.md for changes in ocaml-ctypes 0.23.0.  The other builds are simple rebuilds due to the ocaml-ctypes update.\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-08-13 04:18:45", "date_modified": null, "date_approved": "2024-08-13 04:24:03", "date_testing": "2024-08-13 04:21:35", "date_stable": "2024-08-13 04:24:03", "alias": "FEDORA-2024-cd3ae2861d", "test_gating_status": "ignored", "from_tag": "f41-build-side-94062", "date_pushed": "2024-08-13 04:24:03", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-cd3ae2861d", "title": "frama-c-29.0-8.fc41 ocaml-ctypes-0.23.0-1.fc41 ocaml-luv-0.5.12-15.fc41 ocaml-yaml-3.2.0-12.fc41", "version_hash": "4020391bdb6f5a7a558b939e834d2dafa34ecd31", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-08-13 04:18:45", "update_id": 636645, "user_id": 91, "id": 3658104, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-08-13 04:19:01", "update_id": 636645, "user_id": 91, "id": 3658105, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-08-13 04:21:35", "update_id": 636645, "user_id": 91, "id": 3658106, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-08-13 04:21:35", "update_id": 636645, "user_id": 91, "id": 3658107, "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 bodhi", "timestamp": "2024-08-13 04:24:05", "update_id": 636645, "user_id": 91, "id": 3658108, "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": "frama-c-29.0-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ctypes-0.23.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-luv-0.5.12-15.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-yaml-3.2.0-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2304225, "title": "ocaml-ctypes-0.23.0 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-cd3ae2861d", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in ocaml-menhir 20240715:\n\n- Fix a bug that could in principle cause `menhir --list-errors` to produce incorrect output in some cases.  This bug was never observed in real life.  (Contributed by Fr\u00e9d\u00e9ric Bour.)\n- `menhir --coq` now generates `From Coq.extraction Require Extraction.`, which is required for compatibility with future versions of Coq.  (Requested by Xavier Leroy; implemented by Jacques-Henri Jourdan.)\n\nChanges in ocaml-ppx-deriving-yojson 3.9.0:\n\n- Expose `Deriving.t` values to allow definition of external `Deriving` aliases ([#159](https://github.com/ocaml-ppx/ppx_deriving_yojson/pull/159))\n\nChanges in ocaml-ppxlib 0.33.0:\n\n- Fix a bug where `Code_path.main_module_name` would not properly remove extensions from the filename and therefore return an invalid module name.  ([#512](https://github.com/ocaml-ppx/ppxlib/pull/512))\n- Add `-unused-type-warnings` flag to the driver to allow users to disable only the generation of warning 34 silencing structure items when using `[@@deriving ...]` on type declarations. ([#511](https://github.com/ocaml-ppx/ppxlib/pull/511))\n- Make `-unused-code-warnings` flag to the driver also control the generation of warning 34 silencing structure items when using `[@@deriving ...]` on type declarations. ([#510](https://github.com/ocaml-ppx/ppxlib/pull/510))\n- Driver: Add `-unused-code-warnings=force` command-line flag argument. ([#490](https://github.com/ocaml-ppx/ppxlib/pull/490))\n- new functions `Ast_builder.{e,p}list_tail` that take an extra tail expression/pattern argument parameter compared to `Ast_builder.{e,p}list`, so they can build ASTs like `a :: b :: c` instead of only `[ a; b ]`.  ([#498](https://github.com/ocaml-ppx/ppxlib/pull/498), [#502](https://github.com/ocaml-ppx/ppxlib/pull/502))\n- Fix `Longident.parse` so it also handles indexing operators such as `.!()`, `.%(;..)<-`, or `Vec.(.%())` ([#494](https://github.com/ocaml-ppx/ppxlib/pull/494))\n- Add a `special_function'` variant which directly takes a `Longident.t` argument to avoid the issue that `Longident.t` covers distinct syntactic classes which cannot be easily parsed by a common parser ([#496](https://github.com/ocaml-ppx/ppxlib/pull/496)).\n- Keep location ranges consistent when migrating `Pexp_function` nodes from 5.2+ to older versions ([#504](https://github.com/ocaml-ppx/ppxlib/pull/504))\n- Fix `-locations-check` behavior so it is no longer required to pass `-check` as well to enable location checks. ([#506](https://github.com/ocaml-ppx/ppxlib/pull/506))\n\nChanges in ocaml-yojson 2.2.0, 2.2.1, and 2.2.2:\n\n- Added support for JSON5 ([#152](https://github.com/ocaml-community/yojson/pull/152))\n- Remove CPPO dependency to make the Yojson installation lighter ([#175](https://github.com/ocaml-community/yojson/pull/175))\n- Do not expose `Yojson_five` internals anymore ([#180](https://github.com/ocaml-community/yojson/pull/180))\n- Add locations in the JSON5 parser error messages ([#182](https://github.com/ocaml-community/yojson/pull/182))\n\nChanges in ocaml-zip 1.12:\n\n- [#35](https://github.com/xavierleroy/camlzip/issues/35), [#43](https://github.com/xavierleroy/camlzip/pull/43): add full support for ZIP64 archives [Jules Villard and Xavier Leroy]\n- [#41](https://github.com/xavierleroy/camlzip/issues/41), [#42](https://github.com/xavierleroy/camlzip/pull/42): fix memory leak when a `Zlib.stream` is finalized and `Zlib.deflate_end` / `Zlib.inflate_end` was not called before\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-08-05 20:31:30", "date_modified": null, "date_approved": "2024-08-05 20:39:01", "date_testing": "2024-08-05 20:36:54", "date_stable": "2024-08-05 20:39:01", "alias": "FEDORA-2024-67da26c16e", "test_gating_status": "ignored", "from_tag": "f41-build-side-93583", "date_pushed": "2024-08-05 20:39:01", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-67da26c16e", "title": "alt-ergo-2.3.3-22.fc41 coccinelle-1.2-8.fc41 frama-c-29.0-7.fc41 ocaml-atd-2.15.0-10.fc41 ocaml-bisect-ppx-2.8.3-13.fc41 ocaml-lwt-5.7.0-13.fc41 ocaml-menhir-20240715-1.fc41 ocaml-merlin-5.1-3.fc41 ocaml-odoc-2.4.2-5.fc41 ocaml-ppx-assert-0.17.0-3.fc41 ocaml-ppx-base-0.17.0-3.fc41 ocaml-ppx-cold-0.17.0-3.fc41 ocaml-ppx-compare-0.17.0-3.fc41 ocaml-ppx-custom-printf-0.17.0-3.fc41 ocaml-ppx-deriving-6.0.2-6.fc41 ocaml-ppx-deriving-yaml-0.3.0-5.fc41 ocaml-ppx-deriving-yojson-3.9.0-1.fc41 ocaml-ppx-enumerate-0.17.0-3.fc41 ocaml-ppx-expect-0.17.0-3.fc41 ocaml-ppx-fields-conv-0.17.0-3.fc41 ocaml-ppx-globalize-0.17.0-3.fc41 ocaml-ppx-hash-0.17.0-3.fc41 ocaml-ppx-here-0.17.0-3.fc41 ocaml-ppx-import-1.11.0-6.fc41 ocaml-ppx-inline-test-0.17.0-3.fc41 ocaml-ppx-js-style-0.17.0-3.fc41 ocaml-ppx-let-0.17.0-3.fc41 ocaml-ppx-optcomp-0.17.0-3.fc41 ocaml-ppx-sexp-conv-0.17.0-3.fc41 ocaml-ppx-stable-witness-0.17.0-3.fc41 ocaml-ppx-variants-conv-0.17.0-3.fc41 ocaml-ppxlib-0.33.0-1.fc41 ocaml-ppxlib-jane-0.17.0-3.fc41 ocaml-psmt2-frontend-0.4.0-20.fc41 ocaml-qcheck-0.22-4.fc41 ocaml-sedlex-3.2-14.fc41 ocaml-tyxml-4.6.0-12.fc41 ocaml-yojson-2.2.2-1.fc41 ocaml-zip-1.12-1.fc41 why3-1.7.2-8.fc41", "version_hash": "977df60beab4ef1896170322cfd80dbc5a2806b9", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-08-05 20:31:30", "update_id": 634839, "user_id": 91, "id": 3648955, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-08-05 20:36:54", "update_id": 634839, "user_id": 91, "id": 3648968, "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 bodhi", "timestamp": "2024-08-05 20:39:06", "update_id": 634839, "user_id": 91, "id": 3648969, "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-2.3.3-22.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "coccinelle-1.2-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "frama-c-29.0-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-atd-2.15.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bisect-ppx-2.8.3-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lwt-5.7.0-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-menhir-20240715-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-merlin-5.1-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-odoc-2.4.2-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-assert-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-base-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-cold-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-compare-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-custom-printf-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-6.0.2-6.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-yaml-0.3.0-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-yojson-3.9.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-enumerate-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-expect-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-fields-conv-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-globalize-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-hash-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-here-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-import-1.11.0-6.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-inline-test-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-js-style-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-let-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppxlib-0.33.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppxlib-jane-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-optcomp-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-sexp-conv-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-stable-witness-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-variants-conv-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-psmt2-frontend-0.4.0-20.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-qcheck-0.22-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sedlex-3.2-14.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-tyxml-4.6.0-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-yojson-2.2.2-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zip-1.12-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.7.2-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2243689, "title": "ocaml-yojson-2.2.2 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2297993, "title": "ocaml-menhir-20240715 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2299416, "title": "ocaml-ppxlib-0.33.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2301436, "title": "ocaml-ppx-deriving-yojson-3.9.0 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-67da26c16e", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in flocq 4.2.0:\n\n- added SF2B' as a proof-free variant of SF2B\n- fixed installation of Pff2Flocq\n- ensured compatibility from Coq 8.12 to 8.20\n\nChanges in ocaml-cryptokit 1.20.1:\n\n- Name space depollution: make C implementations of ciphers local to the OCaml/C stub code, so that they do not conflict with other C libraries implementing crypto functions with the same names ([#35](https://github.com/xavierleroy/cryptokit/pull/35), [#36](https://github.com/xavierleroy/cryptokit/pull/36))\n\nSee https://github.com/ocaml/Zarith/releases/tag/release-1.14 for changes in ocaml-zarith 1.14.\n\nAll other 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": "", "close_bugs": true, "date_submitted": "2024-07-16 18:27:56", "date_modified": null, "date_approved": "2024-07-16 18:36:25", "date_testing": "2024-07-16 18:34:02", "date_stable": "2024-07-16 18:36:25", "alias": "FEDORA-2024-3118c57920", "test_gating_status": "ignored", "from_tag": "f41-build-side-92658", "date_pushed": "2024-07-16 18:36:25", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-3118c57920", "title": "alt-ergo-2.3.3-20.fc41 coq-8.18.0-9.fc41 flocq-4.2.0-1.fc41 frama-c-29.0-5.fc41 gappalib-coq-1.5.5-4.fc41 ocaml-cryptokit-1.20.1-1.fc41 ocaml-zarith-1.14-1.fc41 why3-1.7.2-6.fc41 z3-4.13.0-5.fc41", "version_hash": "2a3fd2c3b9f7f71bb8922382840af802df91efbf", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-07-16 18:27:56", "update_id": 627717, "user_id": 91, "id": 3613023, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-07-16 18:28:16", "update_id": 627717, "user_id": 91, "id": 3613024, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-07-16 18:34:02", "update_id": 627717, "user_id": 91, "id": 3613026, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-07-16 18:34:02", "update_id": 627717, "user_id": 91, "id": 3613027, "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 bodhi", "timestamp": "2024-07-16 18:36:27", "update_id": 627717, "user_id": 91, "id": 3613031, "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-2.3.3-20.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "coq-8.18.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "flocq-4.2.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "frama-c-29.0-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "gappalib-coq-1.5.5-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cryptokit-1.20.1-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zarith-1.14-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.7.2-6.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "z3-4.13.0-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2263346, "title": "gappalib-coq-1.5.5 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2298088, "title": "ocaml-zarith-1.14 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-3118c57920", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Mass update of the Jane Street OCaml packages from version 0.16.x to 0.17.x.  Several other packages had to be rebuilt as a consequence.\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-07-04 00:42:31", "date_modified": null, "date_approved": "2024-07-04 00:50:24", "date_testing": "2024-07-04 00:48:35", "date_stable": "2024-07-04 00:50:24", "alias": "FEDORA-2024-28a5abd17a", "test_gating_status": "ignored", "from_tag": "f41-build-side-92005", "date_pushed": "2024-07-04 00:50:24", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-28a5abd17a", "title": "frama-c-29.0-4.fc41 ocaml-base-0.17.1-1.fc41 ocaml-bin-prot-0.17.0-1.fc41 ocaml-bisect-ppx-2.8.3-11.fc41 ocaml-fieldslib-0.17.0-1.fc41 ocaml-intrinsics-kernel-0.17.0-1.fc41 ocaml-jane-street-headers-0.17.0-1.fc41 ocaml-jst-config-0.17.0-1.fc41 ocaml-lwt-5.7.0-11.fc41 ocaml-parsexp-0.17.0-1.fc41 ocaml-ppx-assert-0.17.0-1.fc41 ocaml-ppx-base-0.17.0-1.fc41 ocaml-ppx-cold-0.17.0-1.fc41 ocaml-ppx-compare-0.17.0-1.fc41 ocaml-ppx-custom-printf-0.17.0-1.fc41 ocaml-ppx-deriving-6.0.2-4.fc41 ocaml-ppx-deriving-yaml-0.3.0-3.fc41 ocaml-ppx-deriving-yojson-3.8.0-4.fc41 ocaml-ppx-enumerate-0.17.0-1.fc41 ocaml-ppx-expect-0.17.0-1.fc41 ocaml-ppx-fields-conv-0.17.0-1.fc41 ocaml-ppx-globalize-0.17.0-1.fc41 ocaml-ppx-hash-0.17.0-1.fc41 ocaml-ppx-here-0.17.0-1.fc41 ocaml-ppx-import-1.11.0-4.fc41 ocaml-ppx-inline-test-0.17.0-1.fc41 ocaml-ppx-js-style-0.17.0-1.fc41 ocaml-ppx-let-0.17.0-1.fc41 ocaml-ppx-optcomp-0.17.0-1.fc41 ocaml-ppx-sexp-conv-0.17.0-1.fc41 ocaml-ppx-stable-witness-0.17.0-1.fc41 ocaml-ppx-variants-conv-0.17.0-1.fc41 ocaml-ppxlib-0.32.1-4.fc41 ocaml-ppxlib-jane-0.17.0-1.fc41 ocaml-qcheck-0.21.3-9.fc41 ocaml-sedlex-3.2-12.fc41 ocaml-sexplib-0.17.0-1.fc41 ocaml-sexplib0-0.17.0-1.fc41 ocaml-stdio-0.17.0-1.fc41 ocaml-time-now-0.17.0-1.fc41 ocaml-tyxml-4.6.0-10.fc41 ocaml-variantslib-0.17.0-1.fc41 ocaml-yaml-3.2.0-9.fc41 why3-1.7.2-5.fc41", "version_hash": "655df951dfa9ef6f2274d344e191da898ab1f773", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-07-04 00:42:32", "update_id": 625234, "user_id": 91, "id": 3599043, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-07-04 00:48:36", "update_id": 625234, "user_id": 91, "id": 3599044, "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 bodhi", "timestamp": "2024-07-04 00:50:29", "update_id": 625234, "user_id": 91, "id": 3599045, "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": "frama-c-29.0-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-base-0.17.1-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bin-prot-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bisect-ppx-2.8.3-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fieldslib-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-intrinsics-kernel-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-jane-street-headers-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-jst-config-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lwt-5.7.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-parsexp-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-assert-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-base-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-cold-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-compare-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-custom-printf-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-6.0.2-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-yaml-0.3.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-yojson-3.8.0-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-enumerate-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-expect-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-fields-conv-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-globalize-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-hash-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-here-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-import-1.11.0-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-inline-test-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-js-style-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-let-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppxlib-0.32.1-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppxlib-jane-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-optcomp-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-sexp-conv-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-stable-witness-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-variants-conv-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-qcheck-0.21.3-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sedlex-3.2-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sexplib0-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sexplib-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-stdio-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-time-now-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-tyxml-4.6.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-variantslib-0.17.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-yaml-3.2.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.7.2-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2236576, "title": "ocaml-jane-street-headers-0.17-preview-with-extensions is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2236658, "title": "ocaml-parsexp-0.17-preview-with-extensions is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2236688, "title": "ocaml-ppx-cold-0.17-preview-with-extensions is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2236689, "title": "ocaml-ppx-globalize-0.17-preview-with-extensions is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2236690, "title": "ocaml-ppx-stable-witness-0.17-preview-with-extensions is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2236794, "title": "ocaml-sexplib0-0.17.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2236904, "title": "ocaml-base-0.17.1 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-28a5abd17a", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "OCaml 5.2.0 including a fix for a ppc64le code generation problem.\n\nhttps://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/ETQQVA4PKUMRRJOHRWFEZFH3QSMJNQPF/", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": true, "critpath_groups": "critical-path-compose critical-path-kde", "close_bugs": true, "date_submitted": "2024-06-19 19:32:11", "date_modified": null, "date_approved": "2024-06-19 21:17:22", "date_testing": "2024-06-19 19:53:22", "date_stable": "2024-06-19 21:17:22", "alias": "FEDORA-2024-35d249636b", "test_gating_status": "passed", "from_tag": "f41-build-side-91297", "date_pushed": "2024-06-19 21:17:22", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-35d249636b", "title": "alt-ergo-2.3.3-19.fc41 apron-0.9.15-2.fc41 brltty-6.6-17.fc41 coccinelle-1.2-6.fc41 coq-8.18.0-7.fc41 emacs-common-tuareg-3.0.1-9.fc41 flocq-4.1.4-3.fc41 frama-c-29.0-3.fc41 gappalib-coq-1.5.5-3.fc41 graphviz-11.0.0-7.fc41 guestfs-tools-1.53.1-3.fc41 haxe-4.3.4-3.fc41 hevea-2.36-14.fc41 hivex-1.3.23-22.fc41 libguestfs-1.53.2-6.fc41 libnbd-1.20.1-4.fc41 nbdkit-1.39.7-6.fc41 not-ocamlfind-0.13-2.fc41 ocaml-5.2.0-2.fc41 ocaml-SDL-0.9.1-69.fc41 ocaml-alcotest-1.7.0-11.fc41 ocaml-astring-0.8.5-25.fc41 ocaml-atd-2.15.0-8.fc41 ocaml-augeas-0.6-35.fc41 ocaml-autoconf-1.1-42.fc41 ocaml-base-0.16.3-9.fc41 ocaml-base64-3.5.1-12.fc41 ocaml-benchmark-1.6-13.fc41 ocaml-bigarray-compat-1.1.0-16.fc41 ocaml-bin-prot-0.16.0-10.fc41 ocaml-biniou-1.2.2-10.fc41 ocaml-bisect-ppx-2.8.3-10.fc41 ocaml-bos-0.2.1-20.fc41 ocaml-cairo-0.6.4-13.fc41 ocaml-calendar-3.0.0-12.fc41 ocaml-camlbz2-0.8.0-3.fc41 ocaml-camlidl-1.12-8.fc41 ocaml-camlimages-5.0.5-3.fc41 ocaml-camlp-streams-5.0.1-14.fc41 ocaml-camlp5-8.03.00-3.fc41 ocaml-camlp5-buildscripts-0.03-10.fc41 ocaml-camomile-2.0.0-12.fc41 ocaml-cinaps-0.15.1-20.fc41 ocaml-cmdliner-1.3.0-3.fc41 ocaml-compiler-libs-janestreet-0.17.0-3.fc41 ocaml-cppo-1.6.9-10.fc41 ocaml-crunch-3.3.1-8.fc41 ocaml-cryptokit-1.19-3.fc41 ocaml-csexp-1.5.2-12.fc41 ocaml-csv-2.4-21.fc41 ocaml-ctypes-0.22.0-3.fc41 ocaml-cudf-0.10-10.fc41 ocaml-curl-0.9.2-16.fc41 ocaml-curses-1.0.11-10.fc41 ocaml-dbus-0.30-56.fc41 ocaml-dose3-7.0.0-26.fc41 ocaml-dune-3.16.0-2.fc41 ocaml-easy-format-1.3.4-10.fc41 ocaml-expat-1.3.0-10.fc41 ocaml-extlib-1.7.9-10.fc41 ocaml-facile-1.1.4-11.fc41 ocaml-fieldslib-0.16.0-10.fc41 ocaml-fileutils-0.6.4-10.fc41 ocaml-findlib-1.9.6-13.fc41 ocaml-fmt-0.9.0-17.fc41 ocaml-fpath-0.7.3-22.fc41 ocaml-gen-1.1-11.fc41 ocaml-gettext-0.4.2-21.fc41 ocaml-graphics-5.1.2-19.fc41 ocaml-gsl-1.25.0-3.fc41 ocaml-integers-0.7.0-15.fc41 ocaml-jane-street-headers-0.16.0-10.fc41 ocaml-jst-config-0.16.0-10.fc41 ocaml-lablgl-1.07-12.fc41 ocaml-lablgtk-2.18.13-13.fc41 ocaml-lablgtk3-3.1.5-2.fc41 ocaml-labltk-8.06.13-12.fc41 ocaml-lacaml-11.0.10-11.fc41 ocaml-lambda-term-3.3.2-9.fc41 ocaml-libvirt-0.6.1.7-11.fc41 ocaml-logs-0.7.0-20.fc41 ocaml-luv-0.5.12-13.fc41 ocaml-lwt-5.7.0-10.fc41 ocaml-markup-1.0.3-16.fc41 ocaml-mccs-1.1-51.17.fc41 ocaml-mdx-2.4.1-3.fc41 ocaml-menhir-20231231-5.fc41 ocaml-merlin-5.0-3.fc41 ocaml-mew-0.1.0-27.fc41 ocaml-mew-vi-0.5.0-27.fc41 ocaml-mlgmpidl-1.3.0-10.fc41 ocaml-mlmpfr-4.2.1-5.fc41 ocaml-mtime-2.0.0-12.fc41 ocaml-mysql-1.2.4-13.fc41 ocaml-num-1.5-8.fc41 ocaml-obuild-0.1.11-3.fc41 ocaml-ocamlbuild-0.14.3-5.fc41 ocaml-ocamlgraph-2.1.0-8.fc41 ocaml-ocamlnet-4.1.9-21.fc41 ocaml-ocp-indent-1.8.2-28.fc41 ocaml-ocplib-endian-1.2-17.fc41 ocaml-ocplib-simplex-0.4.1-8.fc41 ocaml-octavius-1.2.2-24.fc41 ocaml-odoc-2.4.2-3.fc41 ocaml-omake-0.10.6-12.fc41 ocaml-opam-file-format-2.1.6-13.fc41 ocaml-ounit-2.2.7-10.fc41 ocaml-parmap-1.2.5-13.fc41 ocaml-parsexp-0.16.0-12.fc41 ocaml-pcre-7.5.0-20.fc41 ocaml-pcre2-7.5.2-8.fc41 ocaml-perl4caml-0.9.5-111.fc41 ocaml-postgresql-5.0.0-11.fc41 ocaml-pp-1.2.0-8.fc41 ocaml-ppx-assert-0.16.0-11.fc41 ocaml-ppx-base-0.16.0-11.fc41 ocaml-ppx-cold-0.16.0-11.fc41 ocaml-ppx-compare-0.16.0-11.fc41 ocaml-ppx-custom-printf-0.16.0-11.fc41 ocaml-ppx-derivers-1.2.1-37.fc41 ocaml-ppx-deriving-6.0.2-3.fc41 ocaml-ppx-deriving-yaml-0.3.0-2.fc41 ocaml-ppx-deriving-yojson-3.8.0-3.fc41 ocaml-ppx-enumerate-0.16.0-11.fc41 ocaml-ppx-expect-0.16.0-11.fc41 ocaml-ppx-fields-conv-0.16.0-11.fc41 ocaml-ppx-globalize-0.16.0-13.fc41 ocaml-ppx-hash-0.16.0-11.fc41 ocaml-ppx-here-0.16.0-11.fc41 ocaml-ppx-import-1.11.0-3.fc41 ocaml-ppx-inline-test-0.16.1-6.fc41 ocaml-ppx-js-style-0.16.0-11.fc41 ocaml-ppx-let-0.16.0-11.fc41 ocaml-ppx-optcomp-0.16.0-11.fc41 ocaml-ppx-sexp-conv-0.16.0-11.fc41 ocaml-ppx-stable-witness-0.16.0-13.fc41 ocaml-ppx-variants-conv-0.16.0-11.fc41 ocaml-ppxlib-0.32.1-3.fc41 ocaml-psmt2-frontend-0.4.0-18.fc41 ocaml-ptime-1.1.0-9.fc41 ocaml-ptmap-2.0.5-21.fc41 ocaml-pyml-20231101-8.fc41 ocaml-qcheck-0.21.3-8.fc41 ocaml-qtest-2.11.2-22.fc41 ocaml-re-1.11.0-8.fc41 ocaml-react-1.2.2-11.fc41 ocaml-res-5.0.1-16.fc41 ocaml-result-1.5-25.fc41 ocaml-rresult-0.7.0-18.fc41 ocaml-sedlex-3.2-11.fc41 ocaml-sexplib-0.16.0-13.fc41 ocaml-sexplib0-0.16.0-10.fc41 ocaml-sha-1.15.4-10.fc41 ocaml-sqlite-5.1.0-15.fc41 ocaml-ssl-0.7.0-10.20230714gitffc634d.fc41 ocaml-stdcompat-19-17.fc41 ocaml-stdio-0.16.0-10.fc41 ocaml-stdlib-random-1.2.0-3.fc41 ocaml-time-now-0.16.0-10.fc41 ocaml-topkg-1.0.7-12.fc41 ocaml-trie-1.0.0-26.fc41 ocaml-tyxml-4.6.0-9.fc41 ocaml-unionfind-20220122-6.fc41 ocaml-uucd-15.1.0-9.fc41 ocaml-uucp-15.1.0-9.fc41 ocaml-uunf-15.1.0-9.fc41 ocaml-uuseg-15.1.0-9.fc41 ocaml-uutf-1.0.3-16.fc41 ocaml-variantslib-0.16.0-10.fc41 ocaml-version-3.6.7-3.fc41 ocaml-xml-light-2.5-11.fc41 ocaml-xmlm-1.4.0-10.fc41 ocaml-xmlrpc-light-0.6.1-81.fc41 ocaml-yaml-3.2.0-8.fc41 ocaml-yojson-2.1.2-7.fc41 ocaml-zarith-1.13-8.fc41 ocaml-zed-3.2.3-9.fc41 ocaml-zip-1.11-17.fc41 ocaml-zmq-5.3.0-3.fc41 ocamlify-0.0.2-45.fc41 ocamlmod-0.0.9-41.fc41 opam-2.1.6-3.fc41 planets-0.1.13-44.fc41 prooftree-0.14-3.fc41 supermin-5.3.4-4.fc41 utop-2.14.0-3.fc41 virt-top-1.1.1-20.fc41 virt-v2v-2.5.4-3.fc41 why3-1.7.2-4.fc41 z3-4.13.0-4.fc41 zenon-0.8.5-27.fc41", "version_hash": "dd400b7674a345d97227b1fb9dddd6e35da3a7f1", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "setting_status": null}, "user": {"name": "rjones", "email": "rjones@redhat.com", "id": 141, "avatar": "https://seccdn.libravatar.org/avatar/6bc2ebbc861c9a4776b76939247a95d742d150e3feb2878a3b1ffd4d950329db?s=24&d=retro", "openid": "rjones.id.stg.fedoraproject.org", "groups": [{"name": "provenpackager"}, {"name": "packager"}, {"name": "virtmaint-sig"}, {"name": "giterlang"}, {"name": "fedorabugs"}, {"name": "cla_redhat"}, {"name": "gitvirt-v2v"}, {"name": "gitvirt-tools"}, {"name": "signed_fpca"}, {"name": "ipausers"}, {"name": "gitcdupgrader"}, {"name": "gitfedora-ocaml"}, {"name": "fedora-contributor"}, {"name": "hosted-content"}, {"name": "gitautobuildrequires"}, {"name": "risc-v"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-06-19 19:32:12", "update_id": 619910, "user_id": 91, "id": 3572110, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-06-19 19:32:45", "update_id": 619910, "user_id": 91, "id": 3572112, "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's test gating status has been changed to 'failed'.", "timestamp": "2024-06-19 20:30:26", "update_id": 619910, "user_id": 91, "id": 3572142, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-06-19 21:16:04", "update_id": 619910, "user_id": 91, "id": 3572149, "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's test gating status has been changed to 'passed'.", "timestamp": "2024-06-19 21:16:04", "update_id": 619910, "user_id": 91, "id": 3572150, "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 bodhi", "timestamp": "2024-06-19 21:17:45", "update_id": 619910, "user_id": 91, "id": 3572152, "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-2.3.3-19.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "apron-0.9.15-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "brltty-6.6-17.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "coccinelle-1.2-6.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "coq-8.18.0-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "emacs-common-tuareg-3.0.1-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "flocq-4.1.4-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "frama-c-29.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "gappalib-coq-1.5.5-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "graphviz-11.0.0-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "guestfs-tools-1.53.1-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "haxe-4.3.4-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "hevea-2.36-14.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "hivex-1.3.23-22.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "libguestfs-1.53.2-6.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "libnbd-1.20.1-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "nbdkit-1.39.7-6.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "not-ocamlfind-0.13-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-5.2.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-alcotest-1.7.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-astring-0.8.5-25.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-atd-2.15.0-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-augeas-0.6-35.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-autoconf-1.1-42.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-base-0.16.3-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-base64-3.5.1-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-benchmark-1.6-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bigarray-compat-1.1.0-16.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-biniou-1.2.2-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bin-prot-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bisect-ppx-2.8.3-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bos-0.2.1-20.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cairo-0.6.4-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-calendar-3.0.0-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlbz2-0.8.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlidl-1.12-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlimages-5.0.5-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlp5-8.03.00-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlp5-buildscripts-0.03-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlp-streams-5.0.1-14.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camomile-2.0.0-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cinaps-0.15.1-20.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cmdliner-1.3.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-compiler-libs-janestreet-0.17.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cppo-1.6.9-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-crunch-3.3.1-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cryptokit-1.19-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-csexp-1.5.2-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-csv-2.4-21.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ctypes-0.22.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cudf-0.10-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-curl-0.9.2-16.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-curses-1.0.11-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-dbus-0.30-56.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-dose3-7.0.0-26.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-dune-3.16.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-easy-format-1.3.4-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-expat-1.3.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-extlib-1.7.9-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-facile-1.1.4-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fieldslib-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fileutils-0.6.4-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-findlib-1.9.6-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fmt-0.9.0-17.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fpath-0.7.3-22.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-gen-1.1-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-gettext-0.4.2-21.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-graphics-5.1.2-19.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-gsl-1.25.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocamlify-0.0.2-45.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-integers-0.7.0-15.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-jane-street-headers-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-jst-config-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lablgl-1.07-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lablgtk-2.18.13-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lablgtk3-3.1.5-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-labltk-8.06.13-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lacaml-11.0.10-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lambda-term-3.3.2-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-libvirt-0.6.1.7-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-logs-0.7.0-20.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-luv-0.5.12-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lwt-5.7.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-markup-1.0.3-16.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mccs-1.1-51.17.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mdx-2.4.1-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-menhir-20231231-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-merlin-5.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mew-0.1.0-27.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mew-vi-0.5.0-27.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mlgmpidl-1.3.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mlmpfr-4.2.1-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocamlmod-0.0.9-41.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mtime-2.0.0-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mysql-1.2.4-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-num-1.5-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-obuild-0.1.11-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocamlbuild-0.14.3-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocamlgraph-2.1.0-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocamlnet-4.1.9-21.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocp-indent-1.8.2-28.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocplib-endian-1.2-17.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocplib-simplex-0.4.1-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-octavius-1.2.2-24.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-odoc-2.4.2-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-omake-0.10.6-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-opam-file-format-2.1.6-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ounit-2.2.7-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-parmap-1.2.5-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-parsexp-0.16.0-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-pcre2-7.5.2-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-pcre-7.5.0-20.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-perl4caml-0.9.5-111.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-postgresql-5.0.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-pp-1.2.0-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-assert-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-base-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-cold-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-compare-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-custom-printf-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-derivers-1.2.1-37.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-6.0.2-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-yaml-0.3.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-yojson-3.8.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-enumerate-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-expect-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-fields-conv-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-globalize-0.16.0-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-hash-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-here-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-import-1.11.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-inline-test-0.16.1-6.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-js-style-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-let-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppxlib-0.32.1-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-optcomp-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-sexp-conv-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-stable-witness-0.16.0-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-variants-conv-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-psmt2-frontend-0.4.0-18.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ptime-1.1.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ptmap-2.0.5-21.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-pyml-20231101-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-qcheck-0.21.3-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-qtest-2.11.2-22.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-re-1.11.0-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-react-1.2.2-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-res-5.0.1-16.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-result-1.5-25.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-rresult-0.7.0-18.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-SDL-0.9.1-69.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sedlex-3.2-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sexplib0-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sexplib-0.16.0-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sha-1.15.4-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sqlite-5.1.0-15.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ssl-0.7.0-10.20230714gitffc634d.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-stdcompat-19-17.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-stdio-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-stdlib-random-1.2.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-time-now-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-topkg-1.0.7-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-trie-1.0.0-26.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-tyxml-4.6.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-unionfind-20220122-6.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uucd-15.1.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uucp-15.1.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uunf-15.1.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uuseg-15.1.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uutf-1.0.3-16.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-variantslib-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-version-3.6.7-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-xml-light-2.5-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-xmlm-1.4.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-xmlrpc-light-0.6.1-81.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-yaml-3.2.0-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-yojson-2.1.2-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zarith-1.13-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zed-3.2.3-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zip-1.11-17.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zmq-5.3.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "opam-2.1.6-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "planets-0.1.13-44.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "prooftree-0.14-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "supermin-5.3.4-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "utop-2.14.0-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "virt-top-1.1.1-20.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "virt-v2v-2.5.4-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.7.2-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "z3-4.13.0-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "zenon-0.8.5-27.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-35d249636b", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for frama-c-29.0-2.fc41.\n\n##### **Changelog**\n\n```\n* Mon Jun 17 2024 Jerry James <loganjerry@gmail.com> - 29.0-2\n- Rebuild for ocaml-dune 3.16.0\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-06-17 19:22:45", "date_modified": null, "date_approved": "2024-06-17 20:11:31", "date_testing": "2024-06-17 20:11:01", "date_stable": "2024-06-17 20:11:31", "alias": "FEDORA-2024-c0a3bcc7cd", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-06-17 20:11:31", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-c0a3bcc7cd", "title": "frama-c-29.0-2.fc41", "version_hash": "d63498cfc85ef0629cd268eda39bbc663211d0e6", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2024-06-17 19:22:45", "update_id": 619444, "user_id": 91, "id": 3569638, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-06-17 19:22:57", "update_id": 619444, "user_id": 91, "id": 3569639, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-06-17 20:11:01", "update_id": 619444, "user_id": 91, "id": 3569673, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-06-17 20:11:01", "update_id": 619444, "user_id": 91, "id": 3569674, "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 bodhi", "timestamp": "2024-06-17 20:11:31", "update_id": 619444, "user_id": 91, "id": 3569680, "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": "frama-c-29.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-c0a3bcc7cd", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 7, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "See https://www.frama-c.com/#latest_events for changes in version 29.0 Copper.\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-06-13 22:29:43", "date_modified": null, "date_approved": "2024-06-21 02:05:31", "date_testing": "2024-06-14 02:03:26", "date_stable": "2024-06-22 02:25:59", "alias": "FEDORA-2024-0ccadd231b", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-06-22 02:25:59", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-0ccadd231b", "title": "frama-c-29.0-1.fc40", "version_hash": "02dfa6788dedf012f11dd03618b5db393c178dd1", "release": {"name": "F40", "long_name": "Fedora 40", "version": "40", "id_prefix": "FEDORA", "branch": "f40", "dist_tag": "f40", "stable_tag": "f40-updates", "testing_tag": "f40-updates-testing", "candidate_tag": "f40-updates-candidate", "pending_signing_tag": "f40-signing-pending", "pending_testing_tag": "f40-updates-testing-pending", "pending_stable_tag": "f40-updates-pending", "override_tag": "f40-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-05-13", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by jjames. ", "timestamp": "2024-06-13 22:29:44", "update_id": 617794, "user_id": 91, "id": 3561034, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-06-13 22:29:44", "update_id": 617794, "user_id": 91, "id": 3561035, "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": "2024-06-14 02:04:21", "update_id": 617794, "user_id": 91, "id": 3561271, "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 bodhi. ", "timestamp": "2024-06-21 02:05:31", "update_id": 617794, "user_id": 91, "id": 3584315, "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": "2024-06-22 02:26:38", "update_id": 617794, "user_id": 91, "id": 3585890, "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": "frama-c-29.0-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-0ccadd231b", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in apron 0.9.15:\n\n- BREAKING CHANGE FOR OCAML: remove polymorphic compare functions and renamed compare functions that do not implement a total order, documentation clarification ([#108](https://github.com/antoinemine/apron/pull/108))\n- Autodetect library in configure for Mac ARM with Homebrew ([#107](https://github.com/antoinemine/apron/pull/107))\n- Support for PPLite 0.12 [Michele Spotti, Enea Zaffanella] ([#105](https://github.com/antoinemine/apron/pull/105))\n- Disable PPL and PPLite when no C++ compiler is detected ([#104](https://github.com/antoinemine/apron/pull/104))\n- Various fixes ([#101](https://github.com/antoinemine/apron/pull/101), [#97](https://github.com/antoinemine/apron/pull/97), [#90](https://github.com/antoinemine/apron/pull/90))\n\nChanges in ocaml-ppx-deriving-yaml 0.3.0:\n\n- Fix bug with unused infix operators ([#56](https://github.com/patricoferris/ppx_deriving_yaml/pull/56))\n- `Stdlib.( = )` is also used now so other stdlibs work ([#55](https://github.com/patricoferris/ppx_deriving_yaml/pull/55))\n\nChanges in pplite 0.12:\n\n- The library no longer depends on the C++ interface of GMP (this change mainly affects classes `pplite::Integer` and `pplite::Rational`).\n- Support for conditional thread safety is now enabled by default.\n\nSee https://www.frama-c.com/#latest_events for changes in frama-c 29.0.\n\nThe why3 build is a simple rebuild due to the apron update.\n", "type": "enhancement", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-06-13 21:28:41", "date_modified": null, "date_approved": "2024-06-13 22:41:20", "date_testing": "2024-06-13 22:38:29", "date_stable": "2024-06-13 22:41:20", "alias": "FEDORA-2024-fbac221672", "test_gating_status": "ignored", "from_tag": "f41-build-side-91087", "date_pushed": "2024-06-13 22:41:20", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-fbac221672", "title": "apron-0.9.15-1.fc41 frama-c-29.0-1.fc41 ocaml-ppx-deriving-yaml-0.3.0-1.fc41 pplite-0.12-2.fc41 why3-1.7.2-3.fc41", "version_hash": "2d62e2eb37e48b15e7091e14f1f419938737b2cd", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-06-13 21:28:42", "update_id": 617787, "user_id": 91, "id": 3561017, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-06-13 21:28:55", "update_id": 617787, "user_id": 91, "id": 3561018, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-06-13 22:38:29", "update_id": 617787, "user_id": 91, "id": 3561051, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-06-13 22:38:30", "update_id": 617787, "user_id": 91, "id": 3561052, "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 bodhi", "timestamp": "2024-06-13 22:41:21", "update_id": 617787, "user_id": 91, "id": 3561055, "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": "apron-0.9.15-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "frama-c-29.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-yaml-0.3.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "pplite-0.12-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.7.2-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2274464, "title": "pplite-0.12 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2277535, "title": "ocaml-ppx-deriving-yaml-0.3.0 is available", "security": false, "parent": false, "feedback": []}, {"bug_id": 2291005, "title": "apron-0.9.15 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-fbac221672", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "OCaml 5.2.0 rebuild for Fedora 41.\n", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": true, "critpath_groups": "critical-path-build critical-path-compose critical-path-kde", "close_bugs": true, "date_submitted": "2024-05-30 10:48:58", "date_modified": "2024-05-30 10:49:48", "date_approved": "2024-05-30 11:56:21", "date_testing": "2024-05-30 11:09:53", "date_stable": "2024-05-30 11:56:21", "alias": "FEDORA-2024-938c868961", "test_gating_status": "passed", "from_tag": "f41-build-side-90189", "date_pushed": "2024-05-30 11:56:21", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-938c868961", "title": "alt-ergo-2.3.3-18.fc41 apron-0.9.14-8.fc41 brltty-6.6-14.fc41 coccinelle-1.2-4.fc41 coq-8.18.0-5.fc41 emacs-common-tuareg-3.0.1-8.fc41 flocq-4.1.4-2.fc41 frama-c-28.1-4.fc41 gappalib-coq-1.5.5-2.fc41 graphviz-11.0.0-2.fc41 guestfs-tools-1.53.1-2.fc41 haxe-4.3.4-2.fc41 hevea-2.36-13.fc41 hivex-1.3.23-19.fc41 libguestfs-1.53.2-2.fc41 libnbd-1.20.1-2.fc41 nbdkit-1.39.7-3.fc41 not-ocamlfind-0.12-7.fc41 ocaml-5.2.0-1.fc41 ocaml-SDL-0.9.1-68.fc41 ocaml-alcotest-1.7.0-10.fc41 ocaml-astring-0.8.5-24.fc41 ocaml-atd-2.15.0-6.fc41 ocaml-augeas-0.6-34.fc41 ocaml-autoconf-1.1-41.fc41 ocaml-base-0.16.3-8.fc41 ocaml-base64-3.5.1-11.fc41 ocaml-benchmark-1.6-12.fc41 ocaml-bigarray-compat-1.1.0-15.fc41 ocaml-bin-prot-0.16.0-9.fc41 ocaml-biniou-1.2.2-9.fc41 ocaml-bisect-ppx-2.8.3-9.fc41 ocaml-bos-0.2.1-19.fc41 ocaml-cairo-0.6.4-12.fc41 ocaml-calendar-3.0.0-9.fc41 ocaml-camlbz2-0.8.0-2.fc41 ocaml-camlidl-1.12-7.fc41 ocaml-camlimages-5.0.5-2.fc41 ocaml-camlp-streams-5.0.1-13.fc41 ocaml-camlp5-8.03.00-2.fc41 ocaml-camlp5-buildscripts-0.03-9.fc41 ocaml-camomile-2.0.0-11.fc41 ocaml-cinaps-0.15.1-19.fc41 ocaml-cmdliner-1.3.0-2.fc41 ocaml-compiler-libs-janestreet-0.17.0-2.fc41 ocaml-cppo-1.6.9-9.fc41 ocaml-crunch-3.3.1-7.fc41 ocaml-cryptokit-1.19-2.fc41 ocaml-csexp-1.5.2-11.fc41 ocaml-csv-2.4-20.fc41 ocaml-ctypes-0.22.0-2.fc41 ocaml-cudf-0.10-9.fc41 ocaml-curl-0.9.2-15.fc41 ocaml-curses-1.0.11-9.fc41 ocaml-dbus-0.30-55.fc41 ocaml-dose3-7.0.0-25.fc41 ocaml-dune-3.15.3-2.fc41 ocaml-easy-format-1.3.4-9.fc41 ocaml-expat-1.3.0-9.fc41 ocaml-extlib-1.7.9-9.fc41 ocaml-facile-1.1.4-10.fc41 ocaml-fieldslib-0.16.0-9.fc41 ocaml-fileutils-0.6.4-9.fc41 ocaml-findlib-1.9.6-12.fc41 ocaml-fmt-0.9.0-16.fc41 ocaml-fpath-0.7.3-21.fc41 ocaml-gen-1.1-10.fc41 ocaml-gettext-0.4.2-20.fc41 ocaml-graphics-5.1.2-18.fc41 ocaml-gsl-1.25.0-2.fc41 ocaml-integers-0.7.0-14.fc41 ocaml-jane-street-headers-0.16.0-9.fc41 ocaml-jst-config-0.16.0-9.fc41 ocaml-lablgl-1.07-11.fc41 ocaml-lablgtk-2.18.13-12.fc41 ocaml-lablgtk3-3.1.4-2.fc41 ocaml-labltk-8.06.13-11.fc41 ocaml-lacaml-11.0.10-10.fc41 ocaml-lambda-term-3.3.2-8.fc41 ocaml-libvirt-0.6.1.7-10.fc41 ocaml-logs-0.7.0-19.fc41 ocaml-luv-0.5.12-12.fc41 ocaml-lwt-5.7.0-9.fc41 ocaml-markup-1.0.3-15.fc41 ocaml-mccs-1.1-50.17.fc41 ocaml-mdx-2.4.1-2.fc41 ocaml-menhir-20231231-4.fc41 ocaml-merlin-5.0-2.fc41 ocaml-mew-0.1.0-26.fc41 ocaml-mew-vi-0.5.0-26.fc41 ocaml-mlgmpidl-1.3.0-9.fc41 ocaml-mlmpfr-4.2.1-4.fc41 ocaml-mtime-2.0.0-11.fc41 ocaml-mysql-1.2.4-12.fc41 ocaml-num-1.5-7.fc41 ocaml-obuild-0.1.11-2.fc41 ocaml-ocamlbuild-0.14.3-4.fc41 ocaml-ocamlgraph-2.1.0-7.fc41 ocaml-ocamlnet-4.1.9-20.fc41 ocaml-ocp-indent-1.8.2-27.fc41 ocaml-ocplib-endian-1.2-16.fc41 ocaml-ocplib-simplex-0.4.1-7.fc41 ocaml-octavius-1.2.2-23.fc41 ocaml-odoc-2.4.2-2.fc41 ocaml-omake-0.10.6-11.fc41 ocaml-opam-file-format-2.1.6-12.fc41 ocaml-ounit-2.2.7-9.fc41 ocaml-parmap-1.2.5-12.fc41 ocaml-parsexp-0.16.0-11.fc41 ocaml-pcre-7.5.0-19.fc41 ocaml-pcre2-7.5.2-7.fc41 ocaml-perl4caml-0.9.5-109.fc41 ocaml-postgresql-5.0.0-10.fc41 ocaml-pp-1.2.0-7.fc41 ocaml-ppx-assert-0.16.0-10.fc41 ocaml-ppx-base-0.16.0-10.fc41 ocaml-ppx-cold-0.16.0-10.fc41 ocaml-ppx-compare-0.16.0-10.fc41 ocaml-ppx-custom-printf-0.16.0-10.fc41 ocaml-ppx-derivers-1.2.1-36.fc41 ocaml-ppx-deriving-6.0.2-2.fc41 ocaml-ppx-deriving-yaml-0.2.2-5.fc41 ocaml-ppx-deriving-yojson-3.8.0-2.fc41 ocaml-ppx-enumerate-0.16.0-10.fc41 ocaml-ppx-expect-0.16.0-10.fc41 ocaml-ppx-fields-conv-0.16.0-10.fc41 ocaml-ppx-globalize-0.16.0-12.fc41 ocaml-ppx-hash-0.16.0-10.fc41 ocaml-ppx-here-0.16.0-10.fc41 ocaml-ppx-import-1.11.0-2.fc41 ocaml-ppx-inline-test-0.16.1-5.fc41 ocaml-ppx-js-style-0.16.0-10.fc41 ocaml-ppx-let-0.16.0-10.fc41 ocaml-ppx-optcomp-0.16.0-10.fc41 ocaml-ppx-sexp-conv-0.16.0-10.fc41 ocaml-ppx-stable-witness-0.16.0-12.fc41 ocaml-ppx-variants-conv-0.16.0-10.fc41 ocaml-ppxlib-0.32.1-2.fc41 ocaml-psmt2-frontend-0.4.0-17.fc41 ocaml-ptime-1.1.0-8.fc41 ocaml-ptmap-2.0.5-20.fc41 ocaml-pyml-20231101-7.fc41 ocaml-qcheck-0.21.3-7.fc41 ocaml-qtest-2.11.2-21.fc41 ocaml-re-1.11.0-7.fc41 ocaml-react-1.2.2-10.fc41 ocaml-res-5.0.1-15.fc41 ocaml-result-1.5-24.fc41 ocaml-rresult-0.7.0-17.fc41 ocaml-sedlex-3.2-10.fc41 ocaml-sexplib-0.16.0-12.fc41 ocaml-sexplib0-0.16.0-9.fc41 ocaml-sha-1.15.4-9.fc41 ocaml-sqlite-5.1.0-14.fc41 ocaml-srpm-macros-10-1.fc41 ocaml-ssl-0.7.0-9.20230714gitffc634d.fc41 ocaml-stdcompat-19-16.fc41 ocaml-stdio-0.16.0-9.fc41 ocaml-stdlib-random-1.2.0-2.fc41 ocaml-time-now-0.16.0-9.fc41 ocaml-topkg-1.0.7-11.fc41 ocaml-trie-1.0.0-25.fc41 ocaml-tyxml-4.6.0-8.fc41 ocaml-unionfind-20220122-5.fc41 ocaml-uucd-15.1.0-8.fc41 ocaml-uucp-15.1.0-8.fc41 ocaml-uunf-15.1.0-8.fc41 ocaml-uuseg-15.1.0-8.fc41 ocaml-uutf-1.0.3-15.fc41 ocaml-variantslib-0.16.0-9.fc41 ocaml-version-3.6.7-2.fc41 ocaml-xml-light-2.5-10.fc41 ocaml-xmlm-1.4.0-9.fc41 ocaml-xmlrpc-light-0.6.1-80.fc41 ocaml-yaml-3.2.0-7.fc41 ocaml-yojson-2.1.2-6.fc41 ocaml-zarith-1.13-7.fc41 ocaml-zed-3.2.3-8.fc41 ocaml-zip-1.11-16.fc41 ocaml-zmq-5.3.0-2.fc41 ocamlify-0.0.2-44.fc41 ocamlmod-0.0.9-40.fc41 opam-2.1.6-2.fc41 planets-0.1.13-43.fc41 plplot-5.15.0-66.fc41 prooftree-0.14-2.fc41 supermin-5.3.4-3.fc41 swig-4.2.1-5.fc41 utop-2.14.0-2.fc41 virt-top-1.1.1-19.fc41 virt-v2v-2.5.4-2.fc41 why3-1.7.2-2.fc41 z3-4.13.0-2.fc41 zenon-0.8.5-26.fc41", "version_hash": "49b209829453578ba35df6aa2d2b9edbefdaa1ed", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "setting_status": null}, "user": {"name": "rjones", "email": "rjones@redhat.com", "id": 141, "avatar": "https://seccdn.libravatar.org/avatar/6bc2ebbc861c9a4776b76939247a95d742d150e3feb2878a3b1ffd4d950329db?s=24&d=retro", "openid": "rjones.id.stg.fedoraproject.org", "groups": [{"name": "provenpackager"}, {"name": "packager"}, {"name": "virtmaint-sig"}, {"name": "giterlang"}, {"name": "fedorabugs"}, {"name": "cla_redhat"}, {"name": "gitvirt-v2v"}, {"name": "gitvirt-tools"}, {"name": "signed_fpca"}, {"name": "ipausers"}, {"name": "gitcdupgrader"}, {"name": "gitfedora-ocaml"}, {"name": "fedora-contributor"}, {"name": "hosted-content"}, {"name": "gitautobuildrequires"}, {"name": "risc-v"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-05-30 10:48:58", "update_id": 614102, "user_id": 91, "id": 3541666, "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": "rjones edited this update.", "timestamp": "2024-05-30 10:49:47", "update_id": 614102, "user_id": 91, "id": 3541667, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-05-30 10:51:32", "update_id": 614102, "user_id": 91, "id": 3541668, "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's test gating status has been changed to 'failed'.", "timestamp": "2024-05-30 11:45:52", "update_id": 614102, "user_id": 91, "id": 3541735, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-05-30 11:54:07", "update_id": 614102, "user_id": 91, "id": 3541738, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-05-30 11:54:11", "update_id": 614102, "user_id": 91, "id": 3541739, "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's test gating status has been changed to 'passed'.", "timestamp": "2024-05-30 11:54:11", "update_id": 614102, "user_id": 91, "id": 3541740, "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 bodhi", "timestamp": "2024-05-30 11:56:45", "update_id": 614102, "user_id": 91, "id": 3541741, "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-2.3.3-18.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "apron-0.9.14-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "brltty-6.6-14.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "coccinelle-1.2-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "coq-8.18.0-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "emacs-common-tuareg-3.0.1-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "flocq-4.1.4-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "frama-c-28.1-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "gappalib-coq-1.5.5-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "graphviz-11.0.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "guestfs-tools-1.53.1-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "haxe-4.3.4-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "hevea-2.36-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "hivex-1.3.23-19.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "libguestfs-1.53.2-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "libnbd-1.20.1-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "nbdkit-1.39.7-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "not-ocamlfind-0.12-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-5.2.0-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-alcotest-1.7.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-astring-0.8.5-24.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-atd-2.15.0-6.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-augeas-0.6-34.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-autoconf-1.1-41.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-base-0.16.3-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-base64-3.5.1-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-benchmark-1.6-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bigarray-compat-1.1.0-15.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-biniou-1.2.2-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bin-prot-0.16.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bisect-ppx-2.8.3-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-bos-0.2.1-19.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cairo-0.6.4-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-calendar-3.0.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlbz2-0.8.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlidl-1.12-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlimages-5.0.5-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlp5-8.03.00-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlp5-buildscripts-0.03-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camlp-streams-5.0.1-13.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-camomile-2.0.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cinaps-0.15.1-19.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cmdliner-1.3.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-compiler-libs-janestreet-0.17.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cppo-1.6.9-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-crunch-3.3.1-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cryptokit-1.19-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-csexp-1.5.2-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-csv-2.4-20.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ctypes-0.22.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-cudf-0.10-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-curl-0.9.2-15.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-curses-1.0.11-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-dbus-0.30-55.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-dose3-7.0.0-25.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-dune-3.15.3-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-easy-format-1.3.4-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-expat-1.3.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-extlib-1.7.9-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-facile-1.1.4-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fieldslib-0.16.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fileutils-0.6.4-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-findlib-1.9.6-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fmt-0.9.0-16.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-fpath-0.7.3-21.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-gen-1.1-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-gettext-0.4.2-20.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-graphics-5.1.2-18.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-gsl-1.25.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocamlify-0.0.2-44.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-integers-0.7.0-14.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-jane-street-headers-0.16.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-jst-config-0.16.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lablgl-1.07-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lablgtk-2.18.13-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lablgtk3-3.1.4-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-labltk-8.06.13-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lacaml-11.0.10-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lambda-term-3.3.2-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-libvirt-0.6.1.7-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-logs-0.7.0-19.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-luv-0.5.12-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-lwt-5.7.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-markup-1.0.3-15.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mccs-1.1-50.17.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mdx-2.4.1-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-menhir-20231231-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-merlin-5.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mew-0.1.0-26.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mew-vi-0.5.0-26.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mlgmpidl-1.3.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mlmpfr-4.2.1-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocamlmod-0.0.9-40.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mtime-2.0.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-mysql-1.2.4-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-num-1.5-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-obuild-0.1.11-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocamlbuild-0.14.3-4.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocamlgraph-2.1.0-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocamlnet-4.1.9-20.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocp-indent-1.8.2-27.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocplib-endian-1.2-16.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ocplib-simplex-0.4.1-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-octavius-1.2.2-23.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-odoc-2.4.2-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-omake-0.10.6-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-opam-file-format-2.1.6-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ounit-2.2.7-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-parmap-1.2.5-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-parsexp-0.16.0-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-pcre2-7.5.2-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-pcre-7.5.0-19.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-perl4caml-0.9.5-109.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-postgresql-5.0.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-pp-1.2.0-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-assert-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-base-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-cold-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-compare-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-custom-printf-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-derivers-1.2.1-36.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-6.0.2-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-yaml-0.2.2-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-deriving-yojson-3.8.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-enumerate-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-expect-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-fields-conv-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-globalize-0.16.0-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-hash-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-here-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-import-1.11.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-inline-test-0.16.1-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-js-style-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-let-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppxlib-0.32.1-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-optcomp-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-sexp-conv-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-stable-witness-0.16.0-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ppx-variants-conv-0.16.0-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-psmt2-frontend-0.4.0-17.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ptime-1.1.0-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ptmap-2.0.5-20.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-pyml-20231101-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-qcheck-0.21.3-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-qtest-2.11.2-21.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-re-1.11.0-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-react-1.2.2-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-res-5.0.1-15.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-result-1.5-24.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-rresult-0.7.0-17.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-SDL-0.9.1-68.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sedlex-3.2-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sexplib0-0.16.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sexplib-0.16.0-12.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sha-1.15.4-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-sqlite-5.1.0-14.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-srpm-macros-10-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-ssl-0.7.0-9.20230714gitffc634d.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-stdcompat-19-16.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-stdio-0.16.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-stdlib-random-1.2.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-time-now-0.16.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-topkg-1.0.7-11.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-trie-1.0.0-25.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-tyxml-4.6.0-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-unionfind-20220122-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uucd-15.1.0-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uucp-15.1.0-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uunf-15.1.0-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uuseg-15.1.0-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-uutf-1.0.3-15.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-variantslib-0.16.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-version-3.6.7-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-xml-light-2.5-10.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-xmlm-1.4.0-9.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-xmlrpc-light-0.6.1-80.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-yaml-3.2.0-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-yojson-2.1.2-6.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zarith-1.13-7.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zed-3.2.3-8.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zip-1.11-16.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "ocaml-zmq-5.3.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "opam-2.1.6-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "planets-0.1.13-43.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "plplot-5.15.0-66.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "prooftree-0.14-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "supermin-5.3.4-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "swig-4.2.1-5.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "utop-2.14.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "virt-top-1.1.1-19.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "virt-v2v-2.5.4-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.7.2-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "z3-4.13.0-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "zenon-0.8.5-26.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2269805, "title": "ocaml-5.2.0-rc1 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-938c868961", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 7, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in why3 1.7.2:\n\n- restored the legacy shortcut for Alt-Ergo 2.5\n- fixed various bugs in the lexer of why3 doc\n- made prover detection more reliable when paths need escaping\n\nThe frama-c build is a simple rebuild due to the why3 update.\n", "type": "bugfix", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-04-18 19:29:21", "date_modified": null, "date_approved": "2024-04-26 02:33:45", "date_testing": "2024-04-19 02:32:31", "date_stable": "2024-04-27 00:56:42", "alias": "FEDORA-2024-baf7374b3b", "test_gating_status": "ignored", "from_tag": "f39-build-side-87987", "date_pushed": "2024-04-27 00:56:42", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-baf7374b3b", "title": "frama-c-28.1-2.fc39 why3-1.7.2-1.fc39", "version_hash": "1731dfb480625091a72c78422ba61bcd43bf2a49", "release": {"name": "F39", "long_name": "Fedora 39", "version": "39", "id_prefix": "FEDORA", "branch": "f39", "dist_tag": "f39", "stable_tag": "f39-updates", "testing_tag": "f39-updates-testing", "candidate_tag": "f39-updates-candidate", "pending_signing_tag": "f39-signing-pending", "pending_testing_tag": "f39-updates-testing-pending", "pending_stable_tag": "f39-updates-pending", "override_tag": "f39-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": "2024-11-26", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-04-18 19:29:22", "update_id": 605749, "user_id": 91, "id": 3495630, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-04-18 19:29:33", "update_id": 605749, "user_id": 91, "id": 3495631, "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 bodhi. ", "timestamp": "2024-04-18 19:53:00", "update_id": 605749, "user_id": 91, "id": 3495637, "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": "2024-04-19 02:33:18", "update_id": 605749, "user_id": 91, "id": 3495956, "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 bodhi. ", "timestamp": "2024-04-26 02:33:45", "update_id": 605749, "user_id": 91, "id": 3506163, "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": "2024-04-27 00:57:23", "update_id": 605749, "user_id": 91, "id": 3507194, "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": "frama-c-28.1-2.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.7.2-1.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2275927, "title": "why3-1.7.2 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-baf7374b3b", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 7, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in why3 1.7.2:\n\n- restored the legacy shortcut for Alt-Ergo 2.5\n- fixed various bugs in the lexer of why3 doc\n- made prover detection more reliable when paths need escaping\n\nThe frama-c build is a simple rebuild due to the why3 update.\n", "type": "bugfix", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-04-18 18:04:42", "date_modified": null, "date_approved": "2024-04-26 02:42:28", "date_testing": "2024-04-19 02:41:29", "date_stable": "2024-04-27 02:16:10", "alias": "FEDORA-2024-ad385373e8", "test_gating_status": "ignored", "from_tag": "f40-build-side-87983", "date_pushed": "2024-04-27 02:16:10", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-ad385373e8", "title": "frama-c-28.1-3.fc40 why3-1.7.2-1.fc40", "version_hash": "de9e1a90b3bd74948023c967c48def6d80755dd0", "release": {"name": "F40", "long_name": "Fedora 40", "version": "40", "id_prefix": "FEDORA", "branch": "f40", "dist_tag": "f40", "stable_tag": "f40-updates", "testing_tag": "f40-updates-testing", "candidate_tag": "f40-updates-candidate", "pending_signing_tag": "f40-signing-pending", "pending_testing_tag": "f40-updates-testing-pending", "pending_stable_tag": "f40-updates-pending", "override_tag": "f40-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-05-13", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-04-18 18:04:42", "update_id": 605736, "user_id": 91, "id": 3495577, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-04-18 18:04:58", "update_id": 605736, "user_id": 91, "id": 3495578, "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 bodhi. ", "timestamp": "2024-04-18 18:07:29", "update_id": 605736, "user_id": 91, "id": 3495579, "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": "2024-04-19 02:42:49", "update_id": 605736, "user_id": 91, "id": 3496027, "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 bodhi. ", "timestamp": "2024-04-26 02:42:28", "update_id": 605736, "user_id": 91, "id": 3506205, "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": "2024-04-27 02:17:05", "update_id": 605736, "user_id": 91, "id": 3507368, "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": "frama-c-28.1-3.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.7.2-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}], "bugs": [{"bug_id": 2275927, "title": "why3-1.7.2 is available", "security": false, "parent": false, "feedback": []}], "updateid": "FEDORA-2024-ad385373e8", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in why3 1.7.2:\n\n- restored the legacy shortcut for Alt-Ergo 2.5\n- fixed various bugs in the lexer of why3 doc\n- made prover detection more reliable when paths need escaping\n\nThe frama-c build is a simple rebuild due to the why3 update.\n", "type": "bugfix", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-04-18 16:47:56", "date_modified": null, "date_approved": "2024-04-18 16:51:23", "date_testing": "2024-04-18 16:50:56", "date_stable": "2024-04-18 16:51:23", "alias": "FEDORA-2024-182cdf00f1", "test_gating_status": "ignored", "from_tag": "f41-build-side-87977", "date_pushed": "2024-04-18 16:51:23", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-182cdf00f1", "title": "frama-c-28.1-3.fc41 why3-1.7.2-1.fc41", "version_hash": "a155d54ece5d15840fd2b171c82a2ae9f0c3ab2f", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update's test gating status has been changed to 'waiting'.", "timestamp": "2024-04-18 16:47:56", "update_id": 605725, "user_id": 91, "id": 3495539, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-04-18 16:49:29", "update_id": 605725, "user_id": 91, "id": 3495542, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-04-18 16:50:56", "update_id": 605725, "user_id": 91, "id": 3495543, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-04-18 16:50:56", "update_id": 605725, "user_id": 91, "id": 3495544, "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 bodhi", "timestamp": "2024-04-18 16:51:24", "update_id": 605725, "user_id": 91, "id": 3495545, "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": "frama-c-28.1-3.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}, {"nvr": "why3-1.7.2-1.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-182cdf00f1", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": false, "autotime": true, "stable_karma": 3, "stable_days": 0, "unstable_karma": -3, "require_bugs": false, "require_testcases": false, "display_name": "", "notes": "Automatic update for frama-c-28.1-2.fc41.\n\n##### **Changelog**\n\n```\n* Mon Mar 25 2024 Richard W.M. Jones <rjones@redhat.com> - 28.1-2\n- Use %{bash_completions_dir} macro\n\n```", "type": "unspecified", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-03-25 12:02:09", "date_modified": null, "date_approved": "2024-03-25 12:06:25", "date_testing": "2024-03-25 12:05:14", "date_stable": "2024-03-25 12:06:25", "alias": "FEDORA-2024-6d0c1b1cd7", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-03-25 12:06:25", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-6d0c1b1cd7", "title": "frama-c-28.1-2.fc41", "version_hash": "f53d067b9a311928b081f36b391c3d5a1b055308", "release": {"name": "F41", "long_name": "Fedora 41", "version": "41", "id_prefix": "FEDORA", "branch": "f41", "dist_tag": "f41", "stable_tag": "f41-updates", "testing_tag": "f41-updates-testing", "candidate_tag": "f41-updates-candidate", "pending_signing_tag": "f41-signing-pending", "pending_testing_tag": "f41-updates-testing-pending", "pending_stable_tag": "f41-updates-pending", "override_tag": "f41-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-11-11", "critpath_mandatory_days_in_testing": 14, "mandatory_days_in_testing": 7, "critpath_min_karma": 2, "min_karma": 1, "setting_status": null}, "user": {"name": "rjones", "email": "rjones@redhat.com", "id": 141, "avatar": "https://seccdn.libravatar.org/avatar/6bc2ebbc861c9a4776b76939247a95d742d150e3feb2878a3b1ffd4d950329db?s=24&d=retro", "openid": "rjones.id.stg.fedoraproject.org", "groups": [{"name": "provenpackager"}, {"name": "packager"}, {"name": "virtmaint-sig"}, {"name": "giterlang"}, {"name": "fedorabugs"}, {"name": "cla_redhat"}, {"name": "gitvirt-v2v"}, {"name": "gitvirt-tools"}, {"name": "signed_fpca"}, {"name": "ipausers"}, {"name": "gitcdupgrader"}, {"name": "gitfedora-ocaml"}, {"name": "fedora-contributor"}, {"name": "hosted-content"}, {"name": "gitautobuildrequires"}, {"name": "risc-v"}, {"name": "trust admins"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update was automatically created", "timestamp": "2024-03-25 12:02:09", "update_id": 599797, "user_id": 91, "id": 3464499, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-03-25 12:02:22", "update_id": 599797, "user_id": 91, "id": 3464500, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-03-25 12:05:14", "update_id": 599797, "user_id": 91, "id": 3464507, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-03-25 12:05:14", "update_id": 599797, "user_id": 91, "id": 3464508, "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 bodhi", "timestamp": "2024-03-25 12:06:25", "update_id": 599797, "user_id": 91, "id": 3464515, "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": "frama-c-28.1-2.fc41", "signed": true, "release_id": 80, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-6d0c1b1cd7", "karma": 0, "content_type": "rpm", "test_cases": []}, {"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 28.1:\n\n- Kernel: Fix `Cil.isConstant` on lvalues with offset.\n- Ivette: Fix Ivette shell wrapper on macOS.\n- WP: Fix interactive prover startup.\n", "type": "bugfix", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-03-04 17:55:06", "date_modified": null, "date_approved": "2024-03-12 01:08:25", "date_testing": "2024-03-05 01:07:42", "date_stable": "2024-03-13 01:22:43", "alias": "FEDORA-2024-76da7a4883", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-03-13 01:22:43", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-76da7a4883", "title": "frama-c-28.1-1.fc39", "version_hash": "ccefc6d05fe1e49f24784ff5b5054ea22902f815", "release": {"name": "F39", "long_name": "Fedora 39", "version": "39", "id_prefix": "FEDORA", "branch": "f39", "dist_tag": "f39", "stable_tag": "f39-updates", "testing_tag": "f39-updates-testing", "candidate_tag": "f39-updates-candidate", "pending_signing_tag": "f39-signing-pending", "pending_testing_tag": "f39-updates-testing-pending", "pending_stable_tag": "f39-updates-pending", "override_tag": "f39-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": "2024-11-26", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by jjames. ", "timestamp": "2024-03-04 17:55:07", "update_id": 594607, "user_id": 91, "id": 3436375, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-03-04 17:55:07", "update_id": 594607, "user_id": 91, "id": 3436376, "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": "2024-03-05 01:08:49", "update_id": 594607, "user_id": 91, "id": 3436843, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-03-10 03:06:35", "update_id": 594607, "user_id": 91, "id": 3444616, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-03-10 03:44:10", "update_id": 594607, "user_id": 91, "id": 3445349, "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 bodhi. ", "timestamp": "2024-03-12 01:08:25", "update_id": 594607, "user_id": 91, "id": 3447244, "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": "2024-03-13 01:25:06", "update_id": 594607, "user_id": 91, "id": 3449021, "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": "frama-c-28.1-1.fc39", "signed": true, "release_id": 70, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-76da7a4883", "karma": 0, "content_type": "rpm", "test_cases": []}, {"autokarma": true, "autotime": true, "stable_karma": 3, "stable_days": 3, "unstable_karma": -3, "require_bugs": true, "require_testcases": true, "display_name": "", "notes": "Changes in frama-c 28.1:\n\n- Kernel: Fix `Cil.isConstant` on lvalues with offset.\n- Ivette: Fix Ivette shell wrapper on macOS.\n- WP: Fix interactive prover startup.\n", "type": "bugfix", "status": "stable", "request": null, "severity": "unspecified", "suggest": "unspecified", "locked": false, "pushed": true, "critpath": false, "critpath_groups": "", "close_bugs": true, "date_submitted": "2024-03-04 17:55:05", "date_modified": null, "date_approved": "2024-03-08 01:59:39", "date_testing": "2024-03-05 01:57:09", "date_stable": "2024-03-23 00:20:56", "alias": "FEDORA-2024-262ff5ae46", "test_gating_status": "ignored", "from_tag": null, "date_pushed": "2024-03-23 00:20:56", "meets_testing_requirements": true, "url": "https://bodhi.stg.fedoraproject.org/updates/FEDORA-2024-262ff5ae46", "title": "frama-c-28.1-1.fc40", "version_hash": "5b1f7f659d6585c98410af1f111f76cd7161d988", "release": {"name": "F40", "long_name": "Fedora 40", "version": "40", "id_prefix": "FEDORA", "branch": "f40", "dist_tag": "f40", "stable_tag": "f40-updates", "testing_tag": "f40-updates-testing", "candidate_tag": "f40-updates-candidate", "pending_signing_tag": "f40-signing-pending", "pending_testing_tag": "f40-updates-testing-pending", "pending_stable_tag": "f40-updates-pending", "override_tag": "f40-override", "mail_template": "fedora_errata_template", "state": "current", "composed_by_bodhi": true, "create_automatic_updates": false, "package_manager": "dnf", "testing_repository": "updates-testing", "released_on": null, "eol": "2025-05-13", "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"}]}, "comments": [{"karma": 0, "karma_critpath": 0, "text": "This update has been submitted for testing by jjames. ", "timestamp": "2024-03-04 17:55:06", "update_id": 594606, "user_id": 91, "id": 3436373, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-03-04 17:55:06", "update_id": 594606, "user_id": 91, "id": 3436374, "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": "2024-03-05 01:59:01", "update_id": 594606, "user_id": 91, "id": 3437025, "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 bodhi. \n\nThere is an ongoing freeze; this will be pushed to stable after the freeze is over. ", "timestamp": "2024-03-08 01:59:40", "update_id": 594606, "user_id": 91, "id": 3441627, "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's test gating status has been changed to 'waiting'.", "timestamp": "2024-03-10 03:06:32", "update_id": 594606, "user_id": 91, "id": 3444615, "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's test gating status has been changed to 'ignored'.", "timestamp": "2024-03-10 03:44:10", "update_id": 594606, "user_id": 91, "id": 3445347, "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": "2024-03-23 00:42:02", "update_id": 594606, "user_id": 91, "id": 3461966, "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": "frama-c-28.1-1.fc40", "signed": true, "release_id": 76, "type": "rpm", "epoch": 0}], "bugs": [], "updateid": "FEDORA-2024-262ff5ae46", "karma": 0, "content_type": "rpm", "test_cases": []}], "page": 1, "pages": 8, "rows_per_page": 20, "total": 143, "chrome": true, "display_user": true, "display_request": true, "package": "frama-c"}