On Thu, Jul 9, 2026 at 9:00 AM Jerry James <[email protected]> wrote:
> On Wed, Jul 8, 2026 at 2:21 PM Jerry James <[email protected]> wrote:
> > I've been working on an update to OCaml 5.5.0
> > (https://copr.fedorainfracloud.org/coprs/jjames/OCaml/) and am about
> > ready to pull the trigger.  All OCaml packages must be rebuilt.  I
> > would like to do the rebuilds in a side tag starting tomorrow.  In
> > addition to all packages whose names start with "ocaml", the following
> > packages must be rebuilt:
> >
> > 0install
> > alt-ergo
> > apron
> > atd
> > brltty
> > coccinelle
> > flocq
> > frama-c
> > freetennis
> > gappalib-coq
> > guestfs-tools
> > haxe
> > hevea
> > hivex
> > libguestfs
> > libnbd
> > nbdkit
> > opam
> > planets
> > plplot
> > rocq
> > rocq-stdlib
> > supermin
> > unison
> > utop
> > virt-top
> > virt-v2v
> > why3
> > xen
> > z3
> > zenon
> >
> > If this will collide with anybody else's builds, I can postpone until
> > after the mass rebuild, but my preference is to do it before.
>
> The builds are starting in f45-build-side-143496.  If you need to
> build one of the packages listed above, please do so in the side tag
> or coordinate with me.  I anticipate the builds requiring about 2
> days.  I hope to merge the side tag into Rawhide sometime on Friday.

The builds are complete and the side tag has been merged into Rawhide.
Let me know if you see any OCaml-related breakage.
-- 
Jerry James
http://www.jamezone.org/
-- 
_______________________________________________
devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Fedora Code of Conduct: 
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 
https://lists.fedoraproject.org/archives/list/[email protected]
Do not reply to spam, report it: 
https://forge.fedoraproject.org/infra/tickets/issues/new

Reply via email to