--- Comment #4 from John C Peterson <jcp(a)eskimo.com> ---
(In reply to comment #3)
Still one objection: The %defattr line is obsolete, even for EPEL 5. Please
However, under normal circumstances I would assign this review request to me
and do a full review. But what's the current state of the licensing issue?
Is it safe now to accept the current license declaration as is, or does it
need some further action?
Thanks for taking the time to get involved with my package review.
The folks on fedora legal were not comfortable with parts of the EQP license.
They noted there was no specific mention of the right to distribute modified
copies of the software, and wanted clarification of that before they would
Sadly, the EQP author, Bill McCune passed away in May 2011. This certainly
makes it more difficult to resolve the copyright issues in question. However,
all is not lost. My suspicion is that the legal holder of the copyright is the
organization that funded his work.
I was initially a bit discourgaed about all this, but it is certainly worth
sending out a few emails to the right folks at Argonne National Labs where Bill
was working during most of the development of EQP to see if they can help us
with these issues.
For what it's worth, both EQP and Bill's other famous theorem prover, Otter,
are packaged in Debian (which takes copyright issues seriously).
P.S. I will modify the spec file to incorporate your recommended changes.
You are receiving this mail because:
You are on the CC list for the bug.