2023-11-12 Thomas Orgis <sobukus@sourcemage.org>
	* DEPENDS: handle atk deprecation (half-automated)

2013-05-26 Florian Franzmann <bwlf@bandrate.org>
	* DETAILS: version Fluorine-20130501
	* DEPENDS: added dependencies on coq, zarith, ltl2ba

2012-02-09 Florian Franzmann <bwlf@bandrate.org>
	* DEPENDS, DETAILS: spell created

