--- layout: fc_discuss_archives title: Message 92 from Frama-C-discuss on October 2008 ---
Bonjour, Je crois qu'une release de Frama-C est pr?vue pour peu, mais je n'ai pas retrouv? la date retenue. A-t-elle ?t? arr?t?e ? Dans la n?gative, est il possible de diffuser soi m?me une partie de Frama-C ? Est il possible d'exclure les parties sous licence de mani?re ais?e ? Je pense que "make src-distrib" ne restreind pas la distribution aux seuls plug-in diffusables, non ? Merci de votre aide, Nicolas. -------------- section suivante -------------- Une pi?ce jointe non texte a ?t? nettoy?e... Nom: nicolas_stouls.vcf Type: text/x-vcard Taille: 469 octets Desc: non disponible Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081021/772d23d0/nicolas_stouls.vcf