Changelog for minisat-debuginfo-2.2.0+20130925-1.3.x86_64.rpm :

* Fri Feb 17 2017 jslabyAATTsuse.com- make the version the same as for stp, klee and others
* Thu Feb 16 2017 mpluskalAATTsuse.com- Adjust _service
* Thu Feb 16 2017 jengelhAATTinai.de- Trim description- Use version numbers based on those used by upstream
* Thu Oct 15 2015 jslabyAATTsuse.com- add LICENSE and README
* Fri Oct 09 2015 jslabyAATTsuse.com- add Makefile_lib_rule.patch: fix parallel build
* Tue Apr 14 2015 jslabyAATTsuse.com- switch to the git version- update to 20130925
* Thu Mar 19 2015 jslabyAATTsuse.com- initial package