rpms
/
cryptominisat
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Drop obsoletes for EOL versions of Fedora.

This commit is contained in:
Jerry James 2019-07-20 12:01:45 -06:00
parent 061b0c2cde
commit 4db5494d5a
1 changed files with 0 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
cryptominisat.spec
View File

@ -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}