Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package stp for openSUSE:Factory checked in at 2022-07-26 19:45:24 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/stp (Old) and /work/SRC/openSUSE:Factory/.stp.new.1533 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "stp" Tue Jul 26 19:45:24 2022 rev:12 rq:991176 version:2.3.3+20220722 Changes: -------- --- /work/SRC/openSUSE:Factory/stp/stp.changes 2022-05-18 17:48:18.662841050 +0200 +++ /work/SRC/openSUSE:Factory/.stp.new.1533/stp.changes 2022-07-26 19:45:35.169033989 +0200 @@ -1,0 +2,28 @@ +Tue Jul 26 04:31:49 UTC 2022 - Jiri Slaby <[email protected]> + +- fix rpath (don't use relative lib64) +- switch python to noarch +- Update to version 2.3.3+20220722: + * Added reviewer's suggestions + * Fixed the broken link on SMT-LIBv2 documentation. + * Fix cli to disable new simplifications with --disablesimplifications + * enable sharing-aware rewrites by default. + * Extra simplification rule. + * re-enabling removal of BVOR to evaluate how important it is. + * some more simplification rules. + * Improved simplifications + * Faster/better Always true identification + * First attempt at sharing aware rewrites. + * Create 100000... + * Nicer implementation of Always true. + * Remove the unnecessary use of a SCARY iterator that may break on older compilers + * Cleanup memory leaks. Nicer signed comparison on unsigned interval. + * Nicer domain analyis. + * extra test case for strength reduction. + * Strength reduction now iterates through. This should make it idempotent and deterministic. + * Make the new PropagateEqualities deterministic + * Find non-overlapping extracts of variables and replace them with fresh variables. + * Changes to how domain information about bit-vector nodes is stored. + * and some more. + +------------------------------------------------------------------- Old: ---- stp-2.3.3+20220507.obscpio New: ---- stp-2.3.3+20220722.obscpio ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ stp.spec ++++++ --- /var/tmp/diff_new_pack.3fKNxo/_old 2022-07-26 19:45:35.980908534 +0200 +++ /var/tmp/diff_new_pack.3fKNxo/_new 2022-07-26 19:45:35.988907298 +0200 @@ -18,7 +18,7 @@ %define sover 2_3 Name: stp -Version: 2.3.3+20220507 +Version: 2.3.3+20220722 Release: 0 Summary: Constraint Solver License: MIT @@ -75,6 +75,7 @@ %package -n python3-stp Summary: Python bindings for stp Requires: libstp%{sover} = %{version} +BuildArch: noarch %description -n python3-stp Python bindings for stp library. @@ -87,7 +88,9 @@ %cmake \ -DPython_ADDITIONAL_VERSIONS=3 \ -DALSO_BUILD_STATIC_LIB:BOOL="off" \ - -DSTP_TIMESTAMPS:BOOL="off" + -DSTP_TIMESTAMPS:BOOL="off" \ + -DCMAKE_INSTALL_LIBDIR:PATH=%{_prefix}/%{_lib} +# bug in CMakeLists.txt, it looks up absolute paths only ^^ %cmake_build %install ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.3fKNxo/_old 2022-07-26 19:45:36.040899264 +0200 +++ /var/tmp/diff_new_pack.3fKNxo/_new 2022-07-26 19:45:36.044898646 +0200 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/stp/stp</param> - <param name="changesrevision">98e800dc17a79bb37b1657a58328987f7c6e5ade</param></service></servicedata> + <param name="changesrevision">49a7dac043678680f222827c749a98cd60aed10e</param></service></servicedata> (No newline at EOF) ++++++ stp-2.3.3+20220507.obscpio -> stp-2.3.3+20220722.obscpio ++++++ /work/SRC/openSUSE:Factory/stp/stp-2.3.3+20220507.obscpio /work/SRC/openSUSE:Factory/.stp.new.1533/stp-2.3.3+20220722.obscpio differ: char 49, line 1 ++++++ stp.obsinfo ++++++ --- /var/tmp/diff_new_pack.3fKNxo/_old 2022-07-26 19:45:36.088891848 +0200 +++ /var/tmp/diff_new_pack.3fKNxo/_new 2022-07-26 19:45:36.092891230 +0200 @@ -1,5 +1,5 @@ name: stp -version: 2.3.3+20220507 -mtime: 1651929635 -commit: 98e800dc17a79bb37b1657a58328987f7c6e5ade +version: 2.3.3+20220722 +mtime: 1658445181 +commit: e8d153f196dcdf609add70e867f2188d58ffcc97
