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. -- 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
