On Sun, Mar 08, 2020 at 08:58:37PM -0600, Jerry James wrote:
> On Sun, Mar 8, 2020 at 7:02 AM Richard W.M. Jones wrote:
> > I've just built the new camlp5 in Fedora Rawhide (only, not F32):
> > https://koji.fedoraproject.org/koji/taskinfo?taskID=42313992
> >
> > This may break the following
On Sun, Mar 8, 2020 at 7:02 AM Richard W.M. Jones wrote:
> I've just built the new camlp5 in Fedora Rawhide (only, not F32):
> https://koji.fedoraproject.org/koji/taskinfo?taskID=42313992
>
> This may break the following dependencies (and dependencies of these,
> but I don't have an easy way to
I've just built the new camlp5 in Fedora Rawhide (only, not F32):
https://koji.fedoraproject.org/koji/taskinfo?taskID=42313992
This may break the following dependencies (and dependencies of these,
but I don't have an easy way to calculate that):
coq
flocq
gappalib-coq
why
why3
I would normally