Package Release Info

minisat-2.2.0+20130925-bp152.3.16

Update Info: Base Release
Available in Package Hub : 15 SP2

platforms

AArch64
ppc64le
s390x
x86-64

subpackages

libminisat2
minisat
minisat-devel

Change Logs

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