Changelog for stp-2.2+20161105-8.2.x86_64.rpm :
Mon Feb 27 13:00:00 2017 jslabyAATTsuse.com
- require only boost-program-options in tumbleweed

Sat Feb 18 13:00:00 2017 jslabyAATTsuse.com
- create libstp2_1 for library as required by policy

Sun Nov 20 13:00:00 2016 jslabyAATTsuse.com
- require minisat-devel and boost-devel in -devel

Fri Nov 18 13:00:00 2016 jslabyAATTsuse.com
- package also stp_simple, needed for cmake find_package
- Update to version 2.2+20161105:

* Improve performance by creating fewer strings.

* GitSHA1: really disable timestamp when requested

* ASTNode rvalue reference assignment and copy constructor.

* simplifier: use abort() after assert(false)

* bug fix.

* (1) fix building. (2) make index width / value width out of the base class. Saves 8 bytes in bvconst.

* Might fix the issue described in #235. Missing dependencies.

* oops. fix build.

Fri Oct 28 14:00:00 2016 jslabyAATTsuse.com
- update to 20161028
- remove simplifier-use-abort-instead-of-assert-false.patch
- remove GitSHA1-really-disable-timestamp-when-requested.patch

Wed Oct 19 14:00:00 2016 jslabyAATTsuse.com
- update to 20161005
- switch to ninja and %cmake macros
- disable timestamps
- add simplifier-use-abort-instead-of-assert-false.patch
- add GitSHA1-really-disable-timestamp-when-requested.patch

Fri Nov 27 13:00:00 2015 jslabyAATTsuse.com
- update to 20151122

Tue Nov 3 13:00:00 2015 jslabyAATTsuse.com
- update to 20151030
- package AUTHORS and LICENSE

Fri Sep 4 14:00:00 2015 jslabyAATTsuse.com
- update to 20150904

* remove: AST-simplify-FatalError-and-mark-as-noreturn.patch

Fri Sep 4 14:00:00 2015 jslabyAATTsuse.com
- remove: fix-no-return-in-nonvoid.patch
- add: AST-simplify-FatalError-and-mark-as-noreturn.patch

Thu Sep 3 14:00:00 2015 jslabyAATTsuse.com
- update to 20150828

* drop one hunk from fix-no-return-in-nonvoid.patch

Mon Apr 20 14:00:00 2015 jslabyAATTsuse.com
- update to 20150418

* remove: fix-install-paths.patch

* remove: no-build-timestamps.patch

Thu Apr 16 14:00:00 2015 jslabyAATTsuse.com
- update to 20150415

* drop one hunk from fix-no-return-in-nonvoid.patch

Thu Oct 30 13:00:00 2014 jslabyAATTsuse.com
- add no-build-timestamps.patch

Mon Oct 20 14:00:00 2014 jslabyAATTsuse.com
- update to 20140928

* many fixes

* remove-broken-functions.patch: remove, upstream

Tue Apr 15 14:00:00 2014 jslabyAATTsuse.com
- initial commit