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

Rebuild for m4ri 20200115.

Browse Source
This commit is contained in:
Jerry James 2020-01-16 15:19:40 -07:00
parent 5dd889b1c3
commit 57b2265217
1 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
cryptominisat.spec
View File

@ -1,6 +1,6 @@
Name: cryptominisat
Version: 5.6.8
Release: 3%{?dist}
Release: 4%{?dist}
Summary: SAT solver
License: MIT
@ -14,10 +14,10 @@ BuildRequires: cmake
BuildRequires: gcc-c++
BuildRequires: gperftools-devel
BuildRequires: help2man
BuildRequires: m4ri-devel
BuildRequires: pkgconfig(m4ri)
BuildRequires: pkgconfig(tbb)
BuildRequires: pkgconfig(zlib)
BuildRequires: python3-devel
BuildRequires: tbb-devel
BuildRequires: zlib-devel
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
@ -52,10 +52,6 @@ Requires: %{name}-libs%{?_isa} = %{version}-%{release}
%{?python_provide:%python_provide python3-%{name}}
# This can be removed once Fedora 29 reaches EOL
Obsoletes: python2-%{name} < 5.6.5
Provides: python2-%{name} = %{version}-%{release}
%description -n python3-%{name}
Python 3 interface to %{name}.
@ -106,6 +102,9 @@ fi
%{python3_sitearch}/pycryptosat*
%changelog
* Thu Jan 16 2020 Jerry James <loganjerry@gmail.com> - 5.6.8-4
- Rebuild for m4ri 20200115
* Mon Aug 19 2019 Miro Hrončok <mhroncok@redhat.com> - 5.6.8-3
- Rebuilt for Python 3.8