diff --git a/sources b/sources
index b7e20d2..8afe937 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (z3-4.11.0.tar.gz) = a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905
+SHA512 (z3-4.11.2.tar.gz) = be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
diff --git a/z3.spec b/z3.spec
index a538c8e..f7171af 100644
--- a/z3.spec
+++ b/z3.spec
@@ -15,7 +15,7 @@
 %bcond_with test
 
 Name:           z3
-Version:        4.11.0
+Version:        4.11.2
 Release:        1%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
@@ -255,6 +255,9 @@ cd -
 %{python3_sitelib}/z3/
 
 %changelog
+* Sun Sep  4 2022 Jerry James <loganjerry@gmail.com> - 4.11.2-1
+- Version 4.11.2
+
 * Fri Aug 19 2022 Jerry James <loganjerry@gmail.com> - 4.11.0-1
 - Version 4.11.0
 - Clarify license of the doc subpackage