stable

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

FEDORA-2024-67da26c16e created by jjames 4 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'.

4 months ago

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

4 months ago

This update has been submitted for stable by bodhi

4 months ago

Please login 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