--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on May 2010 ---
On 05/07/2010 05:13 PM, Yannick Moy wrote: > > $ apt-cache show why [?] > Version: 2.18.dfsg-5 [?] > > > $ apt-cache show frama-c [?] > Version: 20081201.dfsg-2 [?] That's what I suspected. These versions are quite old (and not well tested). It should be fine with newer versions (e.g. in Lucid or Debian). If you experience new bugs with newer versions, I'd be happy to fix them. Note that you can use the Launchpad (or the command line tool reportbug) to report bugs against packages shipped by your current Linux distribution. Regards, -- Mehdi Dogguy ???? ????? http://dogguy.org/