https://bugzilla.redhat.com/show_bug.cgi?id=1596974
Jerry James loganjerry@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Blocks| |1639074
Referenced Bugs:
https://bugzilla.redhat.com/show_bug.cgi?id=1639074 [Bug 1639074] coq-8.8.2 is available