On Fri, Mar 20, 2020 at 12:14 AM Richard W.M. Jones wrote:
>
> On Thu, Mar 19, 2020 at 11:25:19PM +0100, Fabio Valentini wrote:
> > Hi everybody,
> >
> > I can't seem to figure out why this happened, but there are now a lot
> > of OCaml packages in fedora 32 that have broken dependencies. I've
On Thu, Mar 19, 2020 at 11:25:19PM +0100, Fabio Valentini wrote:
> Hi everybody,
>
> I can't seem to figure out why this happened, but there are now a lot
> of OCaml packages in fedora 32 that have broken dependencies. I've CCd
> two of the maintainers that are impacted most by this (rjones and
>
On Thu, Mar 19, 2020 at 4:25 PM Fabio Valentini wrote:
> - coq{,-coqide}
This one needs a version update. For that, it needs several new
packages. I've been working through the reviews, and we're almost
there! Two more reviews to get through, and the new coq version can
be built.
> - frama-c
Hi everybody,
I can't seem to figure out why this happened, but there are now a lot
of OCaml packages in fedora 32 that have broken dependencies. I've CCd
two of the maintainers that are impacted most by this (rjones and
jjames).
Right now, the following packages have broken dependencies and are
