Hi,
I'm packaging z3 prover[1] from Microsfot Research and its license is MSR-LA[2].
As I never hear of that before, I'd like to request help from list to see if it's acceptable for Fedora packaging.
Thanks.
[1]---http://z3.codeplex.com/ [2]---http://z3.codeplex.com/license
On Thu, 28 Aug 2014 13:45:24 +0800 Christopher Meng cickumqt@gmail.com wrote:
Hi,
I'm packaging z3 prover[1] from Microsfot Research and its license is MSR-LA[2].
As I never hear of that before, I'd like to request help from list to see if it's acceptable for Fedora packaging.
IMO non-free, it contains non-commercial use clause
Dan
On 08/28/2014 02:27 AM, Dan Horák wrote:
On Thu, 28 Aug 2014 13:45:24 +0800 Christopher Meng cickumqt@gmail.com wrote:
Hi,
I'm packaging z3 prover[1] from Microsfot Research and its license is MSR-LA[2].
As I never hear of that before, I'd like to request help from list to see if it's acceptable for Fedora packaging.
IMO non-free, it contains non-commercial use clause
Yeah, it is definitely non-free.
~tom
== ¸.·´¯`·.´¯`·.¸¸.·´¯`·.¸><(((º> OSAS @ Red Hat University Outreach || Fedora Special Projects || Fedora Legal
On Tue, Sep 2, 2014 at 11:35 AM, Tom Callaway tcallawa@redhat.com wrote:
Yeah, it is definitely non-free.
Thanks.
Yours sincerely, Christopher Meng