On 08/28/2014 02:27 AM, Dan Horák wrote:
On Thu, 28 Aug 2014 13:45:24 +0800
Christopher Meng <cickumqt(a)gmail.com> wrote:
> I'm packaging z3 prover from Microsfot Research and its license is
> 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.
¸.·´¯`·.´¯`·.¸¸.·´¯`·.¸><(((º> OSAS @ Red Hat
University Outreach || Fedora Special Projects || Fedora Legal