https://bugzilla.redhat.com/show_bug.cgi?id=1733101
--- Comment #3 from Till Hofmann <thofmann(a)fedoraproject.org> ---
Spec URL:
https://thofmann.fedorapeople.org/clingo.spec
SRPM URL:
https://thofmann.fedorapeople.org/clingo-5.3.0-5.fc30.src.rpm
Thanks for your comments! I applied all your suggestions.
--
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