Is MSR-LA considered as free?
- First Post
- Replies
- Stats
-
Go to
- ----- 2024 -----
- April
- March
- February
- January
- ----- 2023 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2022 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2021 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2020 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2019 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2018 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2017 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2016 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2015 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2014 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2013 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2012 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2011 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2010 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2009 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2008 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2007 -----
- December
- November
- October
- September
- August
- July
- June
- May
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.
Thanks.
[1]---http://z3.codeplex.com/
[2]---http://z3.codeplex.com/license
--
Yours sincerely,
Christopher Meng
http://cicku.me
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
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:
> 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
On Tue, Sep 2, 2014 at 11:35 AM, Tom Callaway <tcallawa(a)redhat.com> wrote:
Yeah, it is definitely non-free.
Thanks.
Yours sincerely,
Christopher Meng
http://cicku.me
3502
days inactive
3522
days old
3 comments
3 participants
tags (0)
participants (3)
-
Christopher Meng -
Dan Horák -
Tom Callaway