--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on August 2011 ---
Hello Pascal, 2011/8/30 Pascal Cuoq <pascal.cuoq at gmail.com>: > Fedora uses a different numbering scheme from ours. Surely the > conversion information is provided somewhere. I do not know about it. This information was mentioned previously: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2011-April/002599.html """ 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. """ Best regards, d.