https://bugzilla.redhat.com/show_bug.cgi?id=1530113
--- Comment #2 from Jerry James <[email protected]> --- Thank you for the review. I have added a -doc subpackage, fixed the end of line encodings, and fixed permissions on a generated file. New URLs: Spec URL: https://jjames.fedorapeople.org/yices/yices.spec SRPM URL: https://jjames.fedorapeople.org/yices/yices-2.5.4-2.fc28.src.rpm -- 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 _______________________________________________ package-review mailing list -- [email protected] To unsubscribe send an email to [email protected]
