https://bugzilla.redhat.com/show_bug.cgi?id=1206826 --- Comment #3 from Jerry James <loganjerry@xxxxxxxxx> --- (In reply to Christopher Meng from comment #1) > I intended to package it in last August but at that time its license was not > free. > > Now it's Ok I think. Yes, the license was changed to MIT just a few days ago. (In reply to Eric Smith from comment #2) > I don't think I understand the issue with "NOTE: omitting examples due to > GPL-licensed code". > > Couldn't the examples be put into a z3-examples subpackage, which could be > GPL-licensed (or, if necessary, GPL and BSD, etc.)? Thanks for questioning that. I was completely wrong. The GPL marker is from bison, which also grants an exception: /* As a special exception, you may create a larger work that contains part or all of the Bison parser skeleton and distribute that work under terms of your choice, so long as that work isn't itself a parser generator using the skeleton or a modified version thereof as a parser skeleton. Alternatively, if you modify or redistribute the parser skeleton itself, you may (at your option) remove this special exception, which will cause the skeleton and the resulting Bison output files to be licensed under the GNU General Public License without this special exception. This special exception was added by the Free Software Foundation in version 2.2 of Bison. */ So that does not affect the MIT license on the work as a whole. I have included the examples in the -doc subpackage now, as well as pulled in one more git push. (It only changes the README.) New URLs: Spec URL: https://jjames.fedorapeople.org/z3/z3.spec SRPM URL: https://jjames.fedorapeople.org/z3/z3-4.3.2-2.20150329git.29606b5.fc23.src.rpm -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review