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

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 #19 from Fedora Update System [EMAIL PROTECTED] 2008-09-10 02:35:30 EDT --- E-0.999.006-2.fc9 has been pushed

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

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 #20 from Fedora Update System [EMAIL PROTECTED] 2008-09-10 02:48:38 EDT --- E-0.999.006-2.fc8 has been pushed

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

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 Fedora Update System [EMAIL PROTECTED] changed: What|Removed |Added

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

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 #18 from Fedora Update System [EMAIL PROTECTED] 2008-09-05 08:20:19 EDT --- E-0.999.006-2.fc8 has been pushed

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

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 #17 from Fedora Update System [EMAIL PROTECTED] 2008-08-28 11:21:13 EDT --- E-0.999.006-2.fc9 has been

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

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 #16 from Fedora Update System [EMAIL PROTECTED] 2008-08-28 11:21:10 EDT --- E-0.999.006-2.fc8 has been

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

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 #15 from Richard W.M. Jones [EMAIL PROTECTED] 2008-08-27 03:25:41 EDT --- I would suggest leaving it for a few

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

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 Richard W.M. Jones [EMAIL PROTECTED] changed: What|Removed |Added

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

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 Richard W.M. Jones [EMAIL PROTECTED] changed: What|Removed |Added

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

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 #11 from David A. Wheeler [EMAIL PROTECTED] 2008-08-26 16:31:03 EDT --- Wow! Thanks for the quick turnaround!

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

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 #12 from David A. Wheeler [EMAIL PROTECTED] 2008-08-26 16:37:20 EDT --- New Package CVS Request

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

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 Jason Tibbitts [EMAIL PROTECTED] changed: What|Removed |Added

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

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 #13 from Kevin Fenzi [EMAIL PROTECTED] 2008-08-26 19:30:31 EDT --- cvs done. -- Configure bugmail:

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

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 #14 from David A. Wheeler [EMAIL PROTECTED] 2008-08-26 20:20:47 EDT --- Help! Can't build; is the build env

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

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 [EMAIL PROTECTED] 2008-08-25 14:31:56 EDT --- Good news, I now have evidence that

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

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 #4 from David A. Wheeler [EMAIL PROTECTED] 2008-08-25 17:46:53 EDT --- Anyone willing to do a review? Clean

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

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 #5 from David A. Wheeler [EMAIL PROTECTED] 2008-08-25 17:47:35 EDT --- (I'm hoping to get this in before the

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

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 #6 from Jason Tibbitts [EMAIL PROTECTED] 2008-08-25 17:52:07 EDT --- The Fedora 10 no more stuff deadline

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

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 #7 from David A. Wheeler [EMAIL PROTECTED] 2008-08-25 18:02:19 EDT --- Regarding comment #6: Fair enough; I

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

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 #8 from Richard W.M. Jones [EMAIL PROTECTED] 2008-08-25 18:22:19 EDT --- I can probably pick this up tomorrow

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

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 #1 from Jason Tibbitts [EMAIL PROTECTED] 2008-08-20 14:56:40 EDT --- Wow, this one builds with -O6! Without

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

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 [EMAIL PROTECTED] 2008-08-20 20:31:40 EDT --- Excellent, thanks for the feedback.

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

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 Richard W.M. Jones [EMAIL PROTECTED] changed: What|Removed |Added