stable

alt-ergo-2.3.3-22.fc41, coccinelle-1.2-8.fc41, & 38 more

FEDORA-2024-67da26c16e created by jjames 11 months ago for Fedora 41

Changes in ocaml-menhir 20240715:

  • 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édéric Bour.)
  • 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.)

Changes in ocaml-ppx-deriving-yojson 3.9.0:

  • Expose Deriving.t values to allow definition of external Deriving aliases (#159)

Changes in ocaml-ppxlib 0.33.0:

  • 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)
  • 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)
  • 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)
  • Driver: Add -unused-code-warnings=force command-line flag argument. (#490)
  • 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, #502)
  • Fix Longident.parse so it also handles indexing operators such as .!(), .%(;..)<-, or Vec.(.%()) (#494)
  • 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).
  • Keep location ranges consistent when migrating Pexp_function nodes from 5.2+ to older versions (#504)
  • Fix -locations-check behavior so it is no longer required to pass -check as well to enable location checks. (#506)

Changes in ocaml-yojson 2.2.0, 2.2.1, and 2.2.2:

  • Added support for JSON5 (#152)
  • Remove CPPO dependency to make the Yojson installation lighter (#175)
  • Do not expose Yojson_five internals anymore (#180)
  • Add locations in the JSON5 parser error messages (#182)

Changes in ocaml-zip 1.12:

  • #35, #43: add full support for ZIP64 archives [Jules Villard and Xavier Leroy]
  • #41, #42: fix memory leak when a Zlib.stream is finalized and Zlib.deflate_end / Zlib.inflate_end was not called before

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2024-67da26c16e

This update's test gating status has been changed to 'waiting'.

11 months ago

This update's test gating status has been changed to 'ignored'.

11 months ago

This update has been submitted for stable by bodhi

11 months ago

Please log in to add feedback.

BZ#2243689 ocaml-yojson-2.2.2 is available
0
0
BZ#2297993 ocaml-menhir-20240715 is available
0
0
BZ#2299416 ocaml-ppxlib-0.33.0 is available
0
0
BZ#2301436 ocaml-ppx-deriving-yojson-3.9.0 is available
0
0

Automated Test Results