Most of the Jane Street packages had releases of version 0.15.0 in late November, and we updated them in early December ... except that maybe they weren't really released. All of the 0.15.0 tags were moved to a later commit 2 weeks ago. This update moves each package to the current set of 0.15.0 tags.

I inadvertently uploaded the wrong tarball for the last alt-ergo build. This update corrects that error.

Changes in coq 8.15.0:

Changes in flocq flocq 3.4.3:

  • Ensure compatibility from Coq 8.7 to 8.15

Changes in ocaml-gen 1.0:

  • add {of_seq,to_iter,persistent_to_seq,persistent_lazy_to_seq}
  • depend on seq
  • manual use of qtest, remove the qtestlib backend (more robust)

Changes in ocaml-integers 0.6.0:

  • Add dependency on stdlib-shims (@kit-ty-kate, #38)

Changes in ocaml-menhir 20220210:

Changes in ocaml-mtime 1.4.0:

Changes in ocaml-qcheck 0.18.1:

  • fix Gen.{nat,pos}_split{2,}
  • fix stack overflow in #156

Changes in ocaml-stdcompat 18:

Changes in ocaml-uutf 1.0.3:

  • Support for OCaml 5.00, thanks to Kate (@kit-ty-kate) for the patch

Changes in why3 1.4.1:

  • fixed usage of various dependencies: menhir, camlzip, ppx_deriving, coq-flocq, mlmpfr
  • support for Alt-Ergo 2.4.1 (released July 28, 2021)

All packages not mentioned above are simple rebuilds due to the above changes.

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-37f11e2484

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

9 months ago

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

9 months ago

This update has been submitted for stable by bodhi

9 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
0 days
Dates
submitted
9 months ago
in testing
9 months ago
in stable
9 months ago
BZ#2043689 ocaml-luv-0.5.11 is available
0
0
BZ#2043927 ocaml-gen-1.0 is available
0
0
BZ#2050485 ocaml-uutf-1.0.3 is available
0
0
BZ#2050716 ocaml-qcheck-0.18.1 is available
0
0
BZ#2051101 ocaml-integers-0.6.0 is available
0
0
BZ#2052714 ocaml-stdcompat-18 is available
0
0
BZ#2055704 ocaml-mtime-1.4.0 is available
0
0

Automated Test Results