--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on March 2010 ---
Dear Frama-C users, The webserver of Frama-C has been migrated to a new internet provider. This should solve previous issues you may have encountered while downloading large files. Please report any further problems. The official website is now http://frama-c.com You may update your bookmarks. The old address is now automatically redirected to this one. Thanks again for your patience and interest in Frama-C, -- | Benjamin Monate | | Head of Software Safety Lab. CEA-LIST/DRT/DTSI/SOL/LSL |