[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-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.