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