File minisat.changes of Package minisat

Currently displaying revision 0aa45475f79f4db9360fdb13334e958e , Show latest

-------------------------------------------------------------------
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