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-03-23 20:18:50 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/stp (Old) and /work/SRC/openSUSE:Factory/.stp.new.25692 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "stp" Wed Mar 23 20:18:50 2022 rev:10 rq:964258 version:2.3.3+20220314 Changes: -------- --- /work/SRC/openSUSE:Factory/stp/stp.changes 2021-02-26 22:00:04.443853629 +0100 +++ /work/SRC/openSUSE:Factory/.stp.new.25692/stp.changes 2022-03-23 20:20:39.574540196 +0100 @@ -1,0 +2,17 @@ +Wed Mar 16 10:19:08 UTC 2022 - [email protected] + +- Update to version 2.3.3+20220314: + * doc: fix typo + * stop aig rewriting if the number of and nodes doesn't reduce. + * Add command line option to control whether size reducing simplifications fixed point. + * refactor. Order the user flags. + * remove unreachable option + * Enable the setting of more options via the command-line arguments. + * fixes 421 + * Trial assigning to flags at definition time. + * remove unused includes + * Fix. adaed499e3d24bcf906852a6c428df07b5a6cee2 shouldn't have turned on flattening when simplifications are disabled. + * Fix. Nodes that are complements shouldn't evaluate as being equal. + * and much more + +------------------------------------------------------------------- Old: ---- stp-2.3.3+20210104.obscpio New: ---- stp-2.3.3+20220314.obscpio ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ stp.spec ++++++ --- /var/tmp/diff_new_pack.WljEmV/_old 2022-03-23 20:20:40.334540625 +0100 +++ /var/tmp/diff_new_pack.WljEmV/_new 2022-03-23 20:20:40.338540628 +0100 @@ -1,7 +1,7 @@ # # spec file for package stp # -# Copyright (c) 2021 SUSE LLC +# Copyright (c) 2022 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -18,7 +18,7 @@ %define sover 2_3 Name: stp -Version: 2.3.3+20210104 +Version: 2.3.3+20220314 Release: 0 Summary: Constraint Solver License: MIT ++++++ _service ++++++ --- /var/tmp/diff_new_pack.WljEmV/_old 2022-03-23 20:20:40.374540648 +0100 +++ /var/tmp/diff_new_pack.WljEmV/_new 2022-03-23 20:20:40.378540650 +0100 @@ -1,6 +1,6 @@ <services> <service mode="disabled" name="obs_scm"> - <param name="url">git://github.com/stp/stp.git</param> + <param name="url">https://github.com/stp/stp</param> <param name="scm">git</param> <param name="filename">stp</param> <param name="changesgenerate">enable</param> ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.WljEmV/_old 2022-03-23 20:20:40.398540661 +0100 +++ /var/tmp/diff_new_pack.WljEmV/_new 2022-03-23 20:20:40.402540664 +0100 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> - <param name="url">git://github.com/stp/stp.git</param> - <param name="changesrevision">4ad235a90bbf7db6c31434fd36c278ad328da273</param></service></servicedata> + <param name="url">https://github.com/stp/stp</param> + <param name="changesrevision">51765ae90c1d2ce44fbcc51d72005a0a3fbd6324</param></service></servicedata> (No newline at EOF) ++++++ stp-2.3.3+20210104.obscpio -> stp-2.3.3+20220314.obscpio ++++++ /work/SRC/openSUSE:Factory/stp/stp-2.3.3+20210104.obscpio /work/SRC/openSUSE:Factory/.stp.new.25692/stp-2.3.3+20220314.obscpio differ: char 27, line 1 ++++++ stp.obsinfo ++++++ --- /var/tmp/diff_new_pack.WljEmV/_old 2022-03-23 20:20:40.450540691 +0100 +++ /var/tmp/diff_new_pack.WljEmV/_new 2022-03-23 20:20:40.454540694 +0100 @@ -1,6 +1,5 @@ name: stp -version: 2.3.3+20210104 -mtime: 1609787397 -commit: 9a59a72e82d67cefeb88d8baa34965f70acb5d1c - +version: 2.3.3+20220314 +mtime: 1647267533 +commit: 51765ae90c1d2ce44fbcc51d72005a0a3fbd6324
