Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report. Summary: Review Request: coq - Coq proof management system https://bugzilla.redhat.com/show_bug.cgi?id=450323 ------- Additional Comments From amdunn@xxxxxxxxx 2008-06-17 17:14 EST ------- I created a new version of this package, available at http://www.duke.edu/~amd34/coq/coq.spec http://www.duke.edu/~amd34/coq/coq-8.1pl3-1.fc9.src.rpm Among the things changed: - Fixed tex, emacs directory issues (by changing BuildRequires) - Fixed bugs I noticed with stripping exactly when appropriate, documentation directory permissions In order to fix the stripping issue, I had to disable the creation of debug info and change the post install script (as indicated at the top of the spec file) - I didn't see any other way. - Made desktop icon, menu entry - Looked at Debian patches, applied when appropriate (documented in the spec file) This new version builds on Koji for i386: http://koji.fedoraproject.org/koji/taskinfo?taskID=666435 but appears to fail for ppc64 (as part of:) http://koji.fedoraproject.org/koji/taskinfo?taskID=666507 I'm working on this - the exact reason isn't clear to me. I've run rpmlint on all the packages - the main output is about non-stripped binaries that are bytecode compilations -> shouldn't really be stripped. Sorry things took so long! -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug, or are watching someone who is. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review