[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 amdunn at gmail.com  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.