diff --git a/sources b/sources
index 2eacbf6..efaf1df 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (z3-4.15.0.tar.gz) = 1e10d5e09611412b52dfd552d6b15eb1a819354ba074aa3427ce7b7431b0e3fff0f8bb7b84028c52ff7a6f01080e3d9cd1cacdc379c0dad1830fb7b36adeb445
+SHA512 (z3-4.15.4.tar.gz) = 3037a6c9077cf5b5bbc9db89973311e66233144ad6c8fc8da9fb2aa35bb34944068874868cf571b247130251a8361cbd1e24288768cc49e4166985cf0ca921a2
diff --git a/z3.spec b/z3.spec
index bff832a..f39fa34 100644
--- a/z3.spec
+++ b/z3.spec
@@ -14,7 +14,7 @@
 %global giturl  https://github.com/Z3Prover/z3
 
 Name:           z3
-Version:        4.15.0
+Version:        4.15.4
 Release:        %autorelease
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
@@ -66,11 +66,11 @@ Obsoletes:      java-z3 < 4.8.17-5
 Library for applications that use z3 functionality.
 
 %package devel
-Summary:        Header files for build applications that use z3
+Summary:        Header files for building applications that use z3
 Requires:       z3-libs%{?_isa} = %{version}-%{release}
 
 %description devel
-Header files for build applications that use z3.
+Header files for building applications that use z3.
 
 %package doc
 # The content is MIT.
@@ -147,6 +147,9 @@ Summary:        Python 3 interface to z3
 BuildArch:      noarch
 Requires:       z3-libs = %{version}-%{release}
 
+# Provide the PyPI name
+%py_provides python3-z3-solver
+
 %description -n python3-z3
 Python 3 interface to z3.