Re: OCaml packages in Rawhide are broken for long time

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Mon, May 04, 2020 at 05:02:13PM +0200, Fabio Valentini wrote:
> For you, those broken packages are:
> 
> jjames     flocq
> jjames     frama-c
> jjames     gappalib-coq
> jjames     ocaml-lablgtk3
> jjames     ocaml-lablgtk3-devel
> jjames     ocaml-lablgtk3-gtkspell3
> jjames     ocaml-lablgtk3-gtkspell3-devel
> jjames     ocaml-lablgtk3-sourceview3
> jjames     ocaml-lablgtk3-sourceview3-devel
> jjames     ocaml-tplib-devel
> jjames     ocaml-why3
> jjames     ocaml-why3-devel
> jjames     why3

These were all broken directly or indirectly by the dependency on
camlp5.  They should all be fixed in the latest rebuild.

> For rjones, they are:
> 
> rjones     coccinelle

I'm looking at this one - I think there's an actual problem here.

> rjones     ocaml-camlp5
> rjones     ocaml-camlp5-devel
> rjones     ocaml-cil-devel

As above - camlp5 or dependency.

> rjones     ocaml-libguestfs
> rjones     ocaml-libguestfs-devel

This was broken because gnupg2 was broken in Rawhide last time I tried
to rebuild it.  gnupg2 is now fixed, and this will get rebuilt during
the ongoing OCaml rebuild.

> rjones     ocaml-json-wheel
> rjones     ocaml-json-wheel-devel
> rjones     ocaml-pxp
> rjones     ocaml-ulex

These ones should all be orphaned, I think.  They depended on the old
camlp4 (not 5) package which is dead upstream.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
libguestfs lets you edit virtual machines.  Supports shell scripting,
bindings from many languages.  http://libguestfs.org
_______________________________________________
devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
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/devel@xxxxxxxxxxxxxxxxxxxxxxx




[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Users]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]

  Powered by Linux