On Thu, 28 Aug 2014 13:45:24 +0800
Christopher Meng <cickumqt(a)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