Import openSUSE:Leap:16.0 modifications

Automatic submission by obs-autosubmit

OBS-URL: https://build.opensuse.org/request/show/1185725
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/stp?expand=0&rev=16

_servicedata

@@ -1,4 +1,4 @@
 <servicedata>
 <service name="tar_scm">
                 <param name="url">https://github.com/stp/stp</param>
-              <param name="changesrevision">0510509a85b6823278211891cbb274022340fa5c</param></service></servicedata>
+              <param name="changesrevision">d70085462f07c8a5a2f1225f727cda3ef505b141</param></service></servicedata>

stp-2.3.3+20231214.obscpio

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:4cf5899303f95a25c6b07a7d3ed76a7573dd45f878f10be23cb1e3b5eb82f0e4
-size 9738765

stp-2.3.4+20240611.obscpio

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:906a3425faf53ee7683d6f273c8aac8357a80d7281dbac7d5bc84f8e117e9fd6
+size 9742861

stp.changes

@@ -1,3 +1,24 @@
+-------------------------------------------------------------------
+Mon Mar 10 10:26:08 UTC 2025 - Marius Grossu <marius.grossu@suse.com>
+
+- Add missing BuildRequires python3-setuptools 
+
+-------------------------------------------------------------------
+Fri Jun 28 06:06:35 UTC 2024 - jslaby@suse.cz
+
+- Update to version 2.3.4+20240611:
+  * use simple CNF encoding when simplifications are disabled
+  * Update ci.yml -- oops fix.
+  * Update ci.yml - hack to stop mystery failure.
+  * Allow it to more naturally create >64-bit constants
+  * Return >64 bit values properly
+  * fix CMS version. Disable CMS assertions
+  * Add new GMP dependency to dockerfile
+  * Get the current lastest CMS when building
+  * Add that we require GMP
+  * get later version to fix compiler error
+  * Install cadiback dependency (#482)
+
 -------------------------------------------------------------------
 Thu Feb 22 08:05:19 UTC 2024 - jslaby@suse.cz
 

stp.obsinfo

@@ -1,4 +1,4 @@
 name: stp
-version: 2.3.3+20231214
-mtime: 1702477235
-commit: 0510509a85b6823278211891cbb274022340fa5c
+version: 2.3.4+20240611
+mtime: 1718081604
+commit: d70085462f07c8a5a2f1225f727cda3ef505b141

stp.spec

@@ -18,7 +18,7 @@
 
 %define sover 2_3
 Name:           stp
-Version:        2.3.3+20231214
+Version:        2.3.4+20240611
 Release:        0
 Summary:        Constraint Solver
 License:        MIT
@@ -30,10 +30,12 @@ BuildRequires:  bison
 BuildRequires:  cmake
 BuildRequires:  flex
 BuildRequires:  gcc-c++
+BuildRequires:  gmp-devel
 BuildRequires:  libboost_program_options-devel
 BuildRequires:  minisat-devel
 BuildRequires:  ninja
 BuildRequires:  python3-base
+BuildRequires:  python3-setuptools
 BuildRequires:  xz
 
 %description