With the latest release (building for Rawhide now), the license of cryptominisat changes from GPLv3+ to "MIT and BSD". I don't expect this to have any impact.
Regards, -- Jerry James http://www.jamezone.org/ -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
