https://bugzilla.redhat.com/show_bug.cgi?id=1093521 Fedora Update System <updates(a)fedoraproject.org&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|DUPLICATE |ERRATA --- Comment #6 from Fedora Update System <updates(a)fedoraproject.org&gt; --- clingo-5.3.0-5.fc30 has been pushed to the Fedora 30 stable repository. If problems still persist, please make note of it in this bug report. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component