diff --git a/cryptominisat.spec b/cryptominisat.spec index 0c05d25..ec665db 100644 --- a/cryptominisat.spec +++ b/cryptominisat.spec @@ -21,10 +21,6 @@ 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: @@ -41,20 +37,12 @@ Requires: m4ri-devel%{?_isa} Requires: tbb-devel%{?_isa} Requires: cmake-filesystem -# 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. @@ -64,10 +52,6 @@ Requires: %{name}-libs%{?_isa} = %{version}-%{release} %{?python_provide:%python_provide python3-%{name}} -# This can be removed once Fedora 28 reaches EOL -Obsoletes: python2-cryptominisat4 < 4.5.4-1 -Provides: python2-cryptominisat4 = %{version}-%{release} - # This can be removed once Fedora 29 reaches EOL Obsoletes: python2-%{name} < 5.6.5 Provides: python2-%{name} = %{version}-%{release}