2018-11-01 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* DETAILS, DEPENDS: version 0.4.2.3
	* PRE_BUILD, 0001-fix-compatibility-with-ghc-8.6.1.patch: fix
	  compatibility with ghc 8.6.1

2018-01-29 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* DEPENDS, DETAILS: spell created


.