https://bugzilla.redhat.com/show_bug.cgi?id=769958 --- Comment #4 from John C Peterson <jcp@xxxxxxxxxx> --- (In reply to comment #3) > > Still one objection: The %defattr line is obsolete, even for EPEL 5. Please > remove. > > > 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? Hi Mario, 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 approve it. 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). John 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review