2018-09-09 Florian Franzmann * DETAILS: version 0.3.0.5 * PRE_BUILD, 0001-fix-dependency-on-quickcheck.patch: removed 2018-01-26 Florian Franzmann * PRE_BUILD, 0001-fix-dependency-on-quickcheck.patch: fix dependency 2018-01-21 Florian Franzmann * DETAILS: version 0.3.0.4 * PRE_BUILD, 0001-depend-on-quickcheck-2.9.patch: remove obsolete patch 2015-08-05 Florian Franzmann * DEPENDS, DETAILS, PRE_BUILD, 0001-depend-on-quickcheck-2.9.patch: spell created .