4 changed files with 21 additions and 5 deletions
--- a/z3-4.13.3.tar.gz
+++ b/z3-4.13.3.tar.gz
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0
-size 5583533
--- a/z3-4.14.1.tar.gz
+++ b/z3-4.14.1.tar.gz
--- a/z3.changes
+++ b/z3.changes
@@ -1,3 +1,19 @@
+-------------------------------------------------------------------
+Fri Mar 28 09:24:36 UTC 2025 - Jiri Slaby <jslaby@suse.cz>
+
+- update to 4.14.1
+  * Add ubv_to_int, sbv_to_int, int_to_bv to SMTLIB2 API.
+  * Fix nuget package regression omitting Microsoft.Z3.* files
+  * SLS modulo theories engine v1 release.
+  * API for accessing term depth and groundness.
+  * Two fixes to relevancy propagation.
+  * A new API for solving LRA variables modulo constraints.
+  * Performance and bug fixes.
+  * several updates to emscripten including #7473
+  * add preliminary pyodie build
+  * address issues with Java bindings
+  * Include start of sls-smt functionality SLS modulo theories
+
 -------------------------------------------------------------------
 Mon Oct 14 09:42:25 UTC 2024 - Jiri Slaby <jslaby@suse.cz>

--- a/z3.spec
+++ b/z3.spec
@@ -16,9 +16,9 @@
 #


-%define sover 4_13
+%define sover 4_14
 Name:           z3
-Version:        4.13.3
+Version:        4.14.1
 Release:        0
 Summary:        Theorem prover from Microsoft Research
 License:        MIT