--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on October 2008 ---
Birger Kollstrand a ?crit : > It would be good if Frama-C considerd using the opensuse build service. > https://build.opensuse.org/ > The service is free and can build packages for all major distributions. Thanks for the hint. I will have a look at this service. Cheers, -- | Benjamin Monate | mailto:benjamin.monate@cea.fr | | Ing?nieur-Chercheur | CEA-LIST/DRT/DTSI/SOL/LSL | | B?t. 528 Pt. 115a | 91191 Gif-sur-Yvette CEDEX | | T?l. 01 69 08 94 09 | Fax : 01 69 08 83 95 |