https://bugzilla.redhat.com/show_bug.cgi?id=1599015
Jerry James <loganjerry(a)gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Version|29 |rawhide
--- Comment #3 from Jerry James <loganjerry(a)gmail.com> ---
As I predicted last summer, the entire coq stack is now broken in F29. If
something is not done about this bug soon, then it will also be broken in F30,
resulting in it being broken in all released versions of Fedora. What needs to
happen to get some movement here?
--
You are receiving this mail because:
You are on the CC list for the bug.