On 08/28/2014 02:27 AM, Dan Horák wrote:
> On Thu, 28 Aug 2014 13:45:24 +0800
> Christopher Meng <[email protected]> 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

<<attachment: tcallawa.vcf>>

_______________________________________________
legal mailing list
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/legal

Reply via email to