--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on January 2010 ---
Can someone clarify the part about the Q modified license (licenses/Q_MODIFIED_LICENSE) included in the Frama C distribution? There are files that cite this license, but the beginning of its text doesn't seem to make sense in the context of these files. Looking at the license file, it describes two parts "the Library", a file standard.mly, which doesn't seem to be in the distribution, and "the Generator", which is "all files marked 'Copyright INRIA' in the main directory", which appears to be the Makefile and config files, despite the fact that these are marked as LGPL v2.1. Neither of these seems right. For reference I am referring to the Frama-C Beryllium 2 source distribution without Jessie. Thanks, - Alan