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-05-18 17:48:12 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/stp (Old) and /work/SRC/openSUSE:Factory/.stp.new.1538 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "stp" Wed May 18 17:48:12 2022 rev:11 rq:977898 version:2.3.3+20220507 Changes: -------- --- /work/SRC/openSUSE:Factory/stp/stp.changes 2022-03-23 20:20:39.574540196 +0100 +++ /work/SRC/openSUSE:Factory/.stp.new.1538/stp.changes 2022-05-18 17:48:18.662841050 +0200 @@ -1,0 +2,20 @@ +Wed May 11 08:48:14 UTC 2022 - jsl...@suse.cz + +- Update to version 2.3.3+20220507: + * Don't save a pointer to node factor in case it gets updated later + * Improved pure literal removal and unit test + * Simplify less than one to equal to zero. + * handle more cases and better testing of simplifying node factory + * refactor. Clean up initialisation of STP in a tool. + * Make initialising STP slightly easier. + * remove some more default functions. + * refactor. Remove substitition map out of simplifier class. + * Remove a flag that wasn't read. + * Remove a dead path and the associated flag. + * Refactor. Use node factory rather than STPMgr. + * Remove simplifier from substitution map. + * Make more things private in Simplifier + * refactor. Moving some code out of simplify + * deleting some default generated constructors + +------------------------------------------------------------------- Old: ---- stp-2.3.3+20220314.obscpio New: ---- stp-2.3.3+20220507.obscpio ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ stp.spec ++++++ --- /var/tmp/diff_new_pack.I2DSYr/_old 2022-05-18 17:48:19.502841763 +0200 +++ /var/tmp/diff_new_pack.I2DSYr/_new 2022-05-18 17:48:19.514841773 +0200 @@ -18,7 +18,7 @@ %define sover 2_3 Name: stp -Version: 2.3.3+20220314 +Version: 2.3.3+20220507 Release: 0 Summary: Constraint Solver License: MIT ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.I2DSYr/_old 2022-05-18 17:48:19.578841827 +0200 +++ /var/tmp/diff_new_pack.I2DSYr/_new 2022-05-18 17:48:19.582841831 +0200 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/stp/stp</param> - <param name="changesrevision">51765ae90c1d2ce44fbcc51d72005a0a3fbd6324</param></service></servicedata> + <param name="changesrevision">98e800dc17a79bb37b1657a58328987f7c6e5ade</param></service></servicedata> (No newline at EOF) ++++++ stp-2.3.3+20220314.obscpio -> stp-2.3.3+20220507.obscpio ++++++ /work/SRC/openSUSE:Factory/stp/stp-2.3.3+20220314.obscpio /work/SRC/openSUSE:Factory/.stp.new.1538/stp-2.3.3+20220507.obscpio differ: char 49, line 1 ++++++ stp.obsinfo ++++++ --- /var/tmp/diff_new_pack.I2DSYr/_old 2022-05-18 17:48:19.626841868 +0200 +++ /var/tmp/diff_new_pack.I2DSYr/_new 2022-05-18 17:48:19.630841871 +0200 @@ -1,5 +1,5 @@ name: stp -version: 2.3.3+20220314 -mtime: 1647267533 -commit: 51765ae90c1d2ce44fbcc51d72005a0a3fbd6324 +version: 2.3.3+20220507 +mtime: 1651929635 +commit: 98e800dc17a79bb37b1657a58328987f7c6e5ade