Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie patch available soon

  • Subject: [Frama-c-discuss] Jessie patch available soon
  • From: loic.correnson at cea.fr (Loïc Correnson)
  • Date: Wed Nov 12 10:48:51 2008
Dear Jessie users,

The Frama-C team will make available a patch for the Jessie plugin  
(Lithium-beta1) as soon as possible on next week.
A more precise delivery date will be announced on Friday, nov. 14.

Regards,
	Lo?c Correnson.