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@xxxxxxxxx 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. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review