Hello OCaml packagers,

I am going to update some packages in Rawhide today. 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. I don't know what the story is, but there are code changes, so I'm going to update them to the current set of 0.15.0 tags.

Other version updates: - coq 8.15.0 - flocq 3.4.3 - ocaml-gen 1.0 - ocaml-integers 0.6.0 - ocaml-menhir 20220210 - ocaml-mtime 1.4.0 - ocaml-qcheck 0.18.1 - ocaml-stdcompat 18 - ocaml-uutf 1.0.3 - why3 1.4.1

Also, I made a terrible, horrible, no good, very bad mistake with the last alt-ergo update. I uploaded the tarball for the version with a problematic license instead of the free version. I'm going to upload the correct tarball and rebuild.

The following packages need rebuilds due to the above changes: - frama-c - gappalib-coq - ocaml-alcotest - ocaml-luv - ocaml-lwt - ocaml-markup - ocaml-ppxlib - ocaml-pyml - ocaml-sedlex - ocaml-tyxml - zenon

I plan to repeat all of these builds for F36 if no problems arise in Rawhide. If you need to build any of these packages today, please build into the side tag:

fedpkg build --target=f37-build-side-51187

Thanks,