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
Dan
_______________________________________________
legal mailing list
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/legal
