diff --git a/sources b/sources
index 11e3338..b7e20d2 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (z3-4.10.2.tar.gz) = d0e54036d403d124a7bbf4cf8de9fd9159bab5151f875b546474563811dfb259bc46650df950802031a180375745fb589acbc79d0065944f0631df378dd6d0c3
+SHA512 (z3-4.11.0.tar.gz) = a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905
diff --git a/z3.spec b/z3.spec
index d4fe24b..a538c8e 100644
--- a/z3.spec
+++ b/z3.spec
@@ -15,7 +15,7 @@
 %bcond_with test
 
 Name:           z3
-Version:        4.10.2
+Version:        4.11.0
 Release:        1%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
@@ -72,6 +72,10 @@ Header files for build applications that use z3.
 
 %package doc
 Summary:        API documentation for Z3
+# Two files in examples are GPL-3.0-or-later WITH Bison-exception 2.2:
+# examples/tptp/tptp5.tab.c
+# examples/tptp/tptp5.tab.c
+License:        MIT AND GPL-3.0-or-later WITH Bison-exception-2.2
 # FIXME: this should be noarch, but we end up with different numbers of inheritance
 # graphs on different architectures.  Why?
 
@@ -215,7 +219,7 @@ cd -
 
 %files libs
 %license LICENSE.txt
-%{_libdir}/libz3.so.4.10*
+%{_libdir}/libz3.so.4.11*
 
 %files devel
 %{_includedir}/z3/
@@ -251,6 +255,10 @@ cd -
 %{python3_sitelib}/z3/
 
 %changelog
+* Fri Aug 19 2022 Jerry James <loganjerry@gmail.com> - 4.11.0-1
+- Version 4.11.0
+- Clarify license of the doc subpackage
+
 * Mon Aug  8 2022 Jerry James <loganjerry@gmail.com> - 4.10.2-1
 - Version 4.10.2