[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 kevin at tummy.com  2008-07-14 20:06 EST -------
Hey Alan. 

Is the spec link in comment #21 the current one? 
I can't seem to get it from the koji links. 
(Side note: it's best to bump the spec version and add a changelog entry for
changes in review, then everyone can be sure they have the latest version and
there is a history of changes). 

I would like to take a quick look before you import and see if I can suggest any
solutions to anything. In particular it sounds like you are disabling debuginfo,
but there may be some ways to get around that. Also, perhaps we can track down
the ppc64 issue real quick. 



-- 
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.