[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 #2 from David A. Wheeler <dwheeler at dwheeler.com>  2008-08-20 20:31:40 EDT ---
Excellent, thanks for the feedback.   I've resolved everything you mentioned,
here's the new pair (any other comments?):

Spec URL: http://www.dwheeler.com/E.spec
SRPM URL: http://www.dwheeler.com/E-0.999.006-2.fc9.src.rpm

rpmlint reports no warnings or errors on i386.
I got mock to build this on an i386, and you reported on x86_64, so that's good
news.  koji build --scratch isn't running, so I don't know about ppc or ppc64,
though I have no reason to believe it _won't_ work.

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