Some of the files distributed in Frama-C are under a modified form of the QPL: https://www.openproofs.org/packages/frama-c/Q_MODIFIED_LICENSE which needed, in my mind, some clarification from upstream, which you can find here: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2010-January/001755.html I wasn't quite sure whether a licensing modification of this form required legal review, but I thought it would be better to be safe and ask. - Alan _______________________________________________ legal mailing list legal@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/legal