diff --git a/z3/z3.spec b/z3/z3.spec index 7bd8dbbe96..ddbd2bdb24 100644 --- a/z3/z3.spec +++ b/z3/z3.spec @@ -22,8 +22,8 @@ ## # package version -%define V_z3_base 4.8.9 -%define V_z3_snap 20210101 +%define V_z3_base 4.8.10 +%define V_z3_snap 20210121 # package information Name: z3 @@ -36,7 +36,7 @@ Class: EVAL Group: Algorithm License: MIT Version: %{V_z3_base}.%{V_z3_snap} -Release: 20210101 +Release: 20210121 # package options %option with_python no