2014-02-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* PRE_BUILD, 0001-fix-make-detection.patch: fix detection of
	  make in configure

2013-05-26 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* DEPENDS: added dependency on zarith

2012-09-09 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* DETAILS: version 8.4

2012-03-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* BUILD, DEPENDS, DETAILS, PRE_BUILD: spell created

