Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package stp for openSUSE:Factory checked in at 2024-02-29 21:50:10 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/stp (Old) and /work/SRC/openSUSE:Factory/.stp.new.1770 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "stp" Thu Feb 29 21:50:10 2024 rev:15 rq:1153133 version:2.3.3+20231214 Changes: -------- --- /work/SRC/openSUSE:Factory/stp/stp.changes 2023-03-22 22:32:07.402640454 +0100 +++ /work/SRC/openSUSE:Factory/.stp.new.1770/stp.changes 2024-02-29 21:50:30.390321869 +0100 @@ -1,0 +2,23 @@ +Thu Feb 22 08:05:19 UTC 2024 - [email protected] + +- Update to version 2.3.3+20231214: + * Partially fix Appveyor (windows) automated build. (#478) + * Trying again to get clang building the api tests + * fixes #476 + * Trying to get uint32_t found on clang. + * Partial revert previous checkin because some code needs this include. + * Improved word wrap. + * Update index.rst + * Update README.markdown + * Remove nonsensical sbrk usage + * fix compiler warnings. + * Build script for docker based on the quick install for Ubuntu 20 + * add extra test case for let, currently not functional + * Implement smtlib2 format "let" properly. Fixes #388 + * Adding let tests + * Update README.markdown + * Improve build instructions + * [gcc 13] include cstdint for *int*_t +- remove 0001-gcc-13-include-cstdint-for-int-_t.patch (upstream) + +------------------------------------------------------------------- Old: ---- 0001-gcc-13-include-cstdint-for-int-_t.patch stp-2.3.3+20220915.obscpio New: ---- stp-2.3.3+20231214.obscpio BETA DEBUG BEGIN: Old: * [gcc 13] include cstdint for *int*_t - remove 0001-gcc-13-include-cstdint-for-int-_t.patch (upstream) BETA DEBUG END: ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ stp.spec ++++++ --- /var/tmp/diff_new_pack.ouRPBd/_old 2024-02-29 21:50:31.658368616 +0100 +++ /var/tmp/diff_new_pack.ouRPBd/_new 2024-02-29 21:50:31.658368616 +0100 @@ -1,7 +1,7 @@ # # spec file for package stp # -# Copyright (c) 2023 SUSE LLC +# Copyright (c) 2024 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+20220915 +Version: 2.3.3+20231214 Release: 0 Summary: Constraint Solver License: MIT @@ -26,7 +26,6 @@ Source0: %{name}-%{version}.tar.xz Patch0: py3.patch Patch1: CMakeLists-use-absolute-libdir-in-rpath-handling.patch -Patch2: 0001-gcc-13-include-cstdint-for-int-_t.patch BuildRequires: bison BuildRequires: cmake BuildRequires: flex ++++++ _service ++++++ --- /var/tmp/diff_new_pack.ouRPBd/_old 2024-02-29 21:50:31.686369648 +0100 +++ /var/tmp/diff_new_pack.ouRPBd/_new 2024-02-29 21:50:31.690369795 +0100 @@ -1,5 +1,5 @@ <services> - <service mode="disabled" name="obs_scm"> + <service mode="manual" name="obs_scm"> <param name="url">https://github.com/stp/stp</param> <param name="scm">git</param> <param name="filename">stp</param> @@ -7,7 +7,7 @@ <param name="versionformat">@PARENT_TAG@+%cd</param> <param name="match-tag">[0-9]*</param> </service> - <service mode="disabled" name="set_version"/> + <service mode="manual" name="set_version"/> <service name="tar" mode="buildtime"/> <service name="recompress" mode="buildtime"> ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.ouRPBd/_old 2024-02-29 21:50:31.706370385 +0100 +++ /var/tmp/diff_new_pack.ouRPBd/_new 2024-02-29 21:50:31.710370533 +0100 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/stp/stp</param> - <param name="changesrevision">33b6355fe8b342d00a07f43c238b04a1ff884b2e</param></service></servicedata> + <param name="changesrevision">0510509a85b6823278211891cbb274022340fa5c</param></service></servicedata> (No newline at EOF) ++++++ stp-2.3.3+20220915.obscpio -> stp-2.3.3+20231214.obscpio ++++++ /work/SRC/openSUSE:Factory/stp/stp-2.3.3+20220915.obscpio /work/SRC/openSUSE:Factory/.stp.new.1770/stp-2.3.3+20231214.obscpio differ: char 48, line 1 ++++++ stp.obsinfo ++++++ --- /var/tmp/diff_new_pack.ouRPBd/_old 2024-02-29 21:50:31.758372303 +0100 +++ /var/tmp/diff_new_pack.ouRPBd/_new 2024-02-29 21:50:31.762372450 +0100 @@ -1,5 +1,5 @@ name: stp -version: 2.3.3+20220915 -mtime: 1663164057 -commit: 33b6355fe8b342d00a07f43c238b04a1ff884b2e +version: 2.3.3+20231214 +mtime: 1702477235 +commit: 0510509a85b6823278211891cbb274022340fa5c
