On 08/28/2014 02:27 AM, Dan Horák wrote:
> On Thu, 28 Aug 2014 13:45:24 +0800
> Christopher Meng <cickumqt@xxxxxxxxx> 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
null
_______________________________________________
legal mailing list
legal@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/legal
