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@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
