2020-09-30 Thomas Orgis <sobukus@sourcemage.org>
	* BUILD: unset JAVA_HOME as that breaks the build

2020-09-26 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* CONFLICTS, DEPENDS, FINAL, INSTALL, PRE_BUILD, PROVIDES: add
	  missing files

2020-07-18 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* DETAILS, BUILD: version 13.0.4+8

2020-01-26 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* BUILD, CONFLICTS, DEPENDS, DETAILS, FINAL, INSTALL, PRE_BUILD,
	  PRE_INSTALL, PREPARE, PROVIDES: spell created


.