Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package stp for openSUSE:Factory checked in at 2026-08-06 16:22:56 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/stp (Old) and /work/SRC/openSUSE:Factory/.stp.new.16738 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "stp" Thu Aug 6 16:22:56 2026 rev:20 rq:1369667 version:2.4.1 Changes: -------- --- /work/SRC/openSUSE:Factory/stp/stp.changes 2026-07-28 18:19:30.621888563 +0200 +++ /work/SRC/openSUSE:Factory/.stp.new.16738/stp.changes 2026-08-06 16:24:18.460851038 +0200 @@ -1,0 +2,17 @@ +Wed Aug 05 06:51:57 UTC 2026 - Jiri Slaby <[email protected]> + +- Update to version 2.4.1: + * release: bump the version to 2.4.1 (#703) + * Seed the ground-path square root without overflowing (#702) + * Guard the multiplication column bounds against a shrunken column (#699) + * release: bump the version to 2.4.0 (#701) + * release: build the release binary in CI, and document the procedure (#700) + * cbitp: write derived constants back into the formula (#698) + * Build deps MiniSat static so installed stp is self-contained (#697) + * README: remove the readthedocs links + * README: generator-agnostic build and test commands in the testing section + * README: build in parallel, make the python example copy-pasteable (#694) + * Construct models for split extracts via the substitution map (#690) + * and a lot more + +------------------------------------------------------------------- Old: ---- stp-2.3.4+20260728.tar.xz New: ---- stp-2.4.1.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ stp.spec ++++++ --- /var/tmp/diff_new_pack.GmGOlp/_old 2026-08-06 16:24:19.364882610 +0200 +++ /var/tmp/diff_new_pack.GmGOlp/_new 2026-08-06 16:24:19.368882750 +0200 @@ -16,9 +16,9 @@ # -%define sover 2_3 +%define sover %(echo %{version} | sed 's@\\([0-9]*\\)\.\\([0-9]*\\).*@\\1_\\2@') Name: stp -Version: 2.3.4+20260728 +Version: 2.4.1 Release: 0 Summary: Constraint Solver License: MIT ++++++ _scmsync.obsinfo ++++++ --- /var/tmp/diff_new_pack.GmGOlp/_old 2026-08-06 16:24:19.408884147 +0200 +++ /var/tmp/diff_new_pack.GmGOlp/_new 2026-08-06 16:24:19.412884287 +0200 @@ -1,4 +1,4 @@ -mtime: 1785219475 -commit: 7c51bc8cf2404a5d7745c1c7a7260677ab6bea6749e677eca5ef70eeefc9cab3 +mtime: 1785913246 +commit: d57b458fb1badb7547f8bbff130ff8dede30e906c33f6d079eafb510221511eb url: https://src.opensuse.org/jirislaby/d-t-s-stp.git ++++++ _service ++++++ --- /var/tmp/diff_new_pack.GmGOlp/_old 2026-08-06 16:24:19.436885125 +0200 +++ /var/tmp/diff_new_pack.GmGOlp/_new 2026-08-06 16:24:19.444885405 +0200 @@ -3,7 +3,8 @@ <param name="url">https://github.com/stp/stp</param> <param name="scm">git</param> <param name="changesgenerate">enable</param> - <param name="versionformat">@PARENT_TAG@+%cd</param> + <param name="revision">@PARENT_TAG@</param> + <param name="versionformat">@PARENT_TAG@</param> <param name="match-tag">[0-9]*</param> </service> <service name="set_version" mode="manual" /> ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.GmGOlp/_old 2026-08-06 16:24:19.468886242 +0200 +++ /var/tmp/diff_new_pack.GmGOlp/_new 2026-08-06 16:24:19.472886382 +0200 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/stp/stp</param> - <param name="changesrevision">de855f3d02dc7368b0cb0ca4ac0373e3b7f66166</param></service></servicedata> + <param name="changesrevision">295953fc1f7424cc4822a02f5c7964e0aafbdf10</param></service></servicedata> (No newline at EOF) ++++++ build.specials.obscpio ++++++ ++++++ build.specials.obscpio ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/.gitignore new/.gitignore --- old/.gitignore 1970-01-01 01:00:00.000000000 +0100 +++ new/.gitignore 2026-08-05 09:00:46.000000000 +0200 @@ -0,0 +1 @@ +.osc ++++++ stp-2.3.4+20260728.tar.xz -> stp-2.4.1.tar.xz ++++++ /work/SRC/openSUSE:Factory/stp/stp-2.3.4+20260728.tar.xz /work/SRC/openSUSE:Factory/.stp.new.16738/stp-2.4.1.tar.xz differ: char 15, line 1
