File minisat.changes of Package minisat
------------------------------------------------------------------- Fri Feb 17 11:47:53 UTC 2017 - jslaby@suse.com - make the version the same as for stp, klee and others ------------------------------------------------------------------- Thu Feb 16 12:58:57 UTC 2017 - mpluskal@suse.com - Adjust _service ------------------------------------------------------------------- Thu Feb 16 08:52:46 UTC 2017 - jengelh@inai.de - Trim description - Use version numbers based on those used by upstream ------------------------------------------------------------------- Thu Oct 15 10:00:40 UTC 2015 - jslaby@suse.com - add LICENSE and README ------------------------------------------------------------------- Fri Oct 9 12:19:51 UTC 2015 - jslaby@suse.com - add Makefile_lib_rule.patch: fix parallel build ------------------------------------------------------------------- Tue Apr 14 12:30:42 UTC 2015 - jslaby@suse.com - switch to the git version - update to 20130925 ------------------------------------------------------------------- Thu Mar 19 15:33:00 UTC 2015 - jslaby@suse.com - initial package
