diff --git a/cryptominisat.spec b/cryptominisat.spec
index 3389662..db908a6 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -1,6 +1,6 @@
 Name:           cryptominisat
 Version:        5.6.3
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        SAT solver
 
 License:        MIT
@@ -22,6 +22,10 @@ BuildRequires:  zlib-devel
 
 Requires:       %{name}-libs%{?_isa} = %{version}-%{release}
 
+# This can be removed once Fedora 28 reaches EOL
+Obsoletes:      cryptominisat4 < 4.5.4-1
+Provides:       cryptominisat4 = %{version}-%{release}
+
 %description
 CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT
 solver. Highlights:
@@ -37,12 +41,20 @@ Requires:       %{name}-libs%{?_isa} = %{version}-%{release}
 Requires:       m4ri-devel%{?_isa}
 Requires:       tbb-devel%{?_isa}
 
+# This can be removed once Fedora 28 reaches EOL
+Obsoletes:      cryptominisat4-devel < 4.5.4-1
+Provides:       cryptominisat4-devel = %{version}-%{release}
+
 %description devel
 Header files for developing applications that use %{name}.
 
 %package libs
 Summary:        Cryptominisat library
 
+# This can be removed once Fedora 28 reaches EOL
+Obsoletes:      cryptominisat4-libs < 4.5.4-1
+Provides:       cryptominisat4-libs = %{version}-%{release}
+
 %description libs
 The %{name} library.
 
@@ -52,6 +64,10 @@ Requires:       %{name}-libs%{?_isa} = %{version}-%{release}
 
 %{?python_provide:%python_provide python2-%{name}}
 
+# This can be removed once Fedora 28 reaches EOL
+Obsoletes:      python2-cryptominisat4 < 4.5.4-1
+Provides:       python2-cryptominisat4 = %{version}-%{release}
+
 %description -n python2-%{name}
 Python 2 interface to %{name}.
 
@@ -130,6 +146,9 @@ fi
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Sat Jul 21 2018 Jerry James <loganjerry@gmail.com> - 5.6.3-4
+- Add Obsoletes and Provides for cryptominisat4
+
 * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.3-3
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild