--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on December 2019 ---
ons 2019-12-04 klockan 18:00 +0100 skrev Andre Maroneze: > Dear list, > > It is with utmost pleasure that we celebrate the 153th birthday of > Vassily Kandinsky by announcing the release of *Frama-C 20.0 (Calcium)*. > > We take this opportunity to also announce the *opening of the > development branch of Frama-C*, > powered by Gitlab: > > https://git.frama-c.com/pub/frama-c Cool! The locals' reaction to this news was positive as well The cache mechanism also sounds great, a good reason to finally get something newer than what's in Debian stable up and running :) /Tomas