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