https://bugzilla.redhat.com/show_bug.cgi?id=1530113 --- Comment #2 from Jerry James <loganjerry@xxxxxxxxx> --- 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 -- package-review@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx
