On Fri, Sep 24, 2021 at 12:00 PM Richard W.M. Jones <rjones(a)redhat.com> wrote:
https://caml.inria.fr/pub/distrib/ocaml-4.13/
https://bugzilla.redhat.com/show_bug.cgi?id=1893381
This will need a full rebuild which I can do next week.
There are various other packages which should be upgraded for which
bugs were filed already. I'll need to do a bugzilla search to
identify them. If there are other things that might need upgrading,
follow up to this email.
I am going to be traveling next week, so I won't be around to fix
problems with packages I maintain.
I filed a set of pull requests to upgrade opam, but haven't followed
up on them. I think you merged the one for ocaml-base64. The others
are:
- ocaml-dose3
- ocaml-mccs
- opam-file-format
- opam
I will try to look back at those before I leave town, but I've got a
lot to do between now and then.
Are you going to try building the coq stack on s390x? If so,
ExcludeArch tags will need to be removed from:
- coq
- flocq
- frama-c
- gappalib-coq
- why3
- zenon
Thanks for handling the OCaml upgrade. Regards,
--
Jerry James
http://www.jamezone.org/