[Bug 769958] Review Request: eqp - Automated theorem prover for first-order equational logic

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

--- Comment #13 from John C Peterson jcp@eskimo.com --- Hello,

I have taken a fresh look at the eqp package now that Fedora Legal has given the green light on the license (see comment 11 above).

I ran fedora-review, and it identified one small problem that I have corrected (added %{?_sparse_mflags} to the make command line to enable parallel builds). I also did some scratch builds (rawhide, f23) to verify that everything still builds correctly.

Mario: Do you still have time to review this package? No big hurry...

Here are the updated SPEC, SRPM files:

Spec URL: http://www.eskimo.com/~jcp/eqp.spec SRPM URL: http://www.eskimo.com/~jcp/eqp-09e-4.fc23.src.rpm