Happy holidays, OCaml packagers!
I've had new versions of various packages piling up for awhile now.
I've finally got time to deal with them, and have played the usual
game of "if I have to rebuild this anyway, I may as well update it to
its latest upstream version". I would like to do the following builds
some time this week, for Rawhide only. Let me know if that will
interfere with anything you have planned. You can see the planned
builds in this COPR repo:
https://copr.fedorainfracloud.org/coprs/jjames/OCaml/
Builds with existing pull requests:
- ocaml-biniou (
https://src.fedoraproject.org/rpms/ocaml-biniou/pull-request/1)
- ocaml-cppo (
https://src.fedoraproject.org/rpms/ocaml-cppo/pull-request/2)
- ocaml-yojson (
https://src.fedoraproject.org/rpms/ocaml-yojson/pull-request/1)
Updates for packages that I maintain or comaintain:
- alt-ergo 2.3.0
- ocaml-atd (same version, but extensive updates; also, claim this package)
- ocaml-bin-prot 0.15.0
- ocaml-lablgtk 2.18.12
- ocaml-lablgtk3 3.1.2
- ocaml-menhir 20211223
- ocaml-ppx-fields-conv 0.15.0
- ocaml-ppx-inline-test 0.15.0
- ocaml-ppx-variants-conv 0.15.0
- ocaml-ppxlib 0.24.0
- ocaml-psmt2-frontend 0.4.0
Updates for packages that I do not maintain:
- coccinelle (same version, but some spec file upgrades)
- ocaml-migrate-parsetree 2.3.0
- ocaml-mlgmpidl 1.2.14
- ocaml-pcre 7.5.0
- ocaml-sedlex 2.5
- ocaml-xml-light 2.4
- ocaml-xmlm 1.3.0
- ocaml-zip 1.11
Simple rebuilds for packages that I maintain or comaintain:
- apron
- coq
- frama-c
- ocaml-bisect-ppx
- ocaml-ocamlgraph
- ocaml-ppx-assert
- ocaml-ppx-base
- ocaml-ppx-cold
- ocaml-ppx-compare
- ocaml-ppx-custom-printf
- ocaml-ppx-deriving
- ocaml-ppx-deriving-yojson
- ocaml-ppx-enumerate
- ocaml-ppx-hash
- ocaml-ppx-here
- ocaml-ppx-js-style
- ocaml-ppx-optcomp
- ocaml-ppx-sexp-conv
- ocaml-time-now
- ocaml-tplib
- ocaml-tyxml (fixes FTI in Rawhide)
- why3
Simple rebuilds for packages that I do not maintain:
- ocaml-camlimages
- ocaml-dose3
- ocaml-lwt
- ocaml-ocamlnet
- opam
Regards,
--
Jerry James
http://www.jamezone.org/