------------------------------------------------------------------- Thu Feb 28 09:10:36 UTC 2019 - Tomáš Chvátal - Update to 0.12.5: * various test fixes * few crasher fixes ------------------------------------------------------------------- Tue Dec 4 12:46:22 UTC 2018 - Matej Cepl - Remove superfluous devel dependency for noarch package ------------------------------------------------------------------- Fri Mar 23 15:11:34 UTC 2018 - tbechtold@suse.com - Initial packaging (version 0.12.4)