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-07-14 21:35 EST ------- I realize this in retrospect (re: versions during review), though I originally thought that was only after the original version was committed. The links in 21 are current, though it seems to me that there is still a link in the Koji build (here: http://koji.fedoraproject.org/koji/getfile?taskID=699678&name=coq-8.1pl3-1.fc9.src.rpm however, oddly enough, it seems that the system only stores a link to the source rpm in one of the build branches each time, I believe the one that is listed first.) It is true that I'm disabling debuginfo, as otherwise bytecode OCaml executables are stripped and rendered inoperable. If there's a better way to do that, like finding a way to selectively disable stripping from the debuginfo scripts, then I can certainly change things to get that to work. The ppc64 build error was pretty odd - the build logs were not much help at all in figuring out the problem - I think one would really need access to a ppc64 system (which I don't have) to make progress on that front. (In reply to comment #32) > 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