--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on August 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] windows version of carbon?



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.