2023-11-12 Thomas Orgis * DEPENDS: handle atk deprecation (half-automated) 2013-05-31 Florian Franzmann * PRE_BUILD: fix incompatibility with frama-c Fluorine-20130501 2013-05-26 Florian Franzmann * BUILD, DEPENDS, DETAILS: spell created