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:
Changes in ocaml-gen 1.0:
{of_seq,to_iter,persistent_to_seq,persistent_lazy_to_seq}Changes in ocaml-integers 0.6.0:
Changes in ocaml-menhir 20220210:
Changes in ocaml-mtime 1.4.0:
Changes in ocaml-qcheck 0.18.1:
Gen.{nat,pos}_split{2,}Changes in ocaml-stdcompat 18:
Changes in ocaml-uutf 1.0.3:
Changes in why3 1.4.1:
All packages not mentioned above are simple rebuilds due to the above changes.
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-2022-7cb15a5d59Please login to add feedback.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been submitted for testing by bodhi.
This update has been pushed to testing.
This update has been submitted for stable by bodhi.
This update has been pushed to stable.