[Bug 450323] Review Request: coq - Coq proof management system

[bugzilla at redhat.com]

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 at gmail.com  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.