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

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

 



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

--- Comment #6 from John C Peterson <jcp@xxxxxxxxxx> ---
Of course, it's not over until 'the fat lady sings", but a bit of encouraging
news on the license issue that is currently holding things up with legal.

I managed to get in contact with the group at Argonne National Laboratory where
the (now deceased) EQP author was employed during most of the time it was being
developed. We had a couple e-mail exchanges, and I think I sucessfully
communicated to them what the issues were regarding the copyright. I don't know
how long it will take to get clarification, but they have graciously agreed to
look into it.

In the meantime, I removed the defattr tag as requested.

Here are the updated SPEC, SRPM files:

Spec URL: http://jcp.fedorapeople.org/eqp.spec
SRPM URL: http://jcp.fedorapeople.org/eqp-09e-3.fc17.src.rpm

-- 
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



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