upgrading package: z3 4.8.11b.20210711 -> 4.8.12.20210713

5 years ago · 71b709b16b
1 changed files with 3 additions and 3 deletions
--- a/z3/z3.spec
+++ b/z3/z3.spec
@ -22,8 +22,8 @@
 ##

 #   package version
-%define       V_z3_base 4.8.11b
-%define       V_z3_snap 20210711
+%define       V_z3_base 4.8.12
+%define       V_z3_snap 20210713

 #   package information
 Name:         z3
@ -36,7 +36,7 @@ Class:        EVAL
 Group:        Algorithm
 License:      MIT
 Version:      %{V_z3_base}.%{V_z3_snap}
-Release:      20210711
+Release:      20210713

 #   package options
 %option       with_python  no