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-06-20 12:02 EST ------- One can do slightly better on ppc64 - the bytecode version compiles, but it seems as though any compile fails for ppc64 on f10, I think some change was recently made that breaks compiles there - everything works fine on f9, and a build with a spec file that incorporates the modification to use bytecode on ppc64 is here: http://koji.fedoraproject.org/koji/taskinfo?taskID=671994 In any case, I believe all of the relevant issues people have raised have been addressed and that this package is ready for review for inclusion into the repository. -- 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