--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on April 2011 ---
> 2011/3/29 Zhao, Passion <passion.zhao at intel.com>: > > I install the frama-c 1.4 in Fedora 12, try to use it to scan some open > > source projects such as openssl, linux. David MENTRE <dmentre at linux-france.org>: > Strange version number for Frama-C! Frama-C is using atomic elements > names (Boron, Carbon, ...) for release number. Sadly, I know of no package manager which knows how to sort atomic element names. So we packagers of Frama-C on Fedora simply use "1." followed by the atomic number (= number of protons). Thus, Beryllium becomes "1.4", and so on. Then the package manager can figure out stuff like "is there a newer version available in the repository" easily. --- David A. Wheeler