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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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

_______________________________________________
Fedora-package-review mailing list
Fedora-package-review@xxxxxxxxxx
http://www.redhat.com/mailman/listinfo/fedora-package-review

[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]