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-07 15:10 EST ------- The preceding two issues have been addressed: - A new version of the spec file, which works with dist-f10, can be found through http://koji.fedoraproject.org/koji/taskinfo?taskID=700547 which includes the change to remove "make clean" from the %clean section as desired. I assume also that the version desired for commit to the repositories is the one that works with dist-f10, and thus must have ppc64 as an excluded architecture. - I am under the impression that the bug is supposed to be filed after the package is committed, as otherwise there's no way (that I can see) to indicate the package that has a bug - there's no coq package bugzilla page. However, I will file the bug with blocker FE-ExcludeArch-ppc64 when an appropriate page exists and this will have the following description: Exception raised during Koji ppc64 build of coq package. Problem is not fixed by restricting to byte-code compilation instead of native-code compilation. (Failed) Build logs with dist-f10 available at http://koji.fedoraproject.org/koji/taskinfo?taskID=700733 Build succeeds (with native-code compilation) for dist-f9, available at http://koji.fedoraproject.org/koji/taskinfo?taskID=699677 so error must be Fedora 10 specific. (Is it ok to reference the koji builds like that? Will they disappear after a while -> should duplicate/put the results somewhere else?) Are those acceptable resolutions? -- 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