[Bug 459409] Review Request: E - Equational Theorem Prover

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


https://bugzilla.redhat.com/show_bug.cgi?id=459409





--- Comment #3 from David A. Wheeler <dwheeler at dwheeler.com>  2008-08-25 14:31:56 EDT ---
Good news, I now have evidence that this package works on all architectures!

Koji is back up, and a scratch build with dist-f9 works on all supported
architectures (i386, x86_64, ppc, ppc64).  Since this spec includes a %check
script, this is evidence that the package really does work on all
architectures.  Here's what I used:

$ koji build --scratch dist-f9 E-0.999.006-2.fc9.src.rpm 

...
  0 free  0 open  5 done  0 failed

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