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

Rebuild for cryptominisat 5.8.0.

This commit is contained in:
Jerry James 2020-11-27 08:47:57 -07:00
parent f3e5c1802d
commit 21d85c88b7
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
stp.spec
View File

@ -1,6 +1,6 @@
Name: stp
Version: 2.3.3
Release: 10%{?dist}
Release: 11%{?dist}
Summary: Constraint solver/decision procedure
License: MIT
@ -20,6 +20,7 @@ BuildRequires: help2man
BuildRequires: make
BuildRequires: minisat2-devel
BuildRequires: perl(Getopt::Long)
BuildRequires: pkgconfig(sqlite3)
BuildRequires: python3-devel
%description
@ -105,6 +106,9 @@ mv %{buildroot}%{_prefix}/man %{buildroot}%{_datadir}/man
%{python3_sitelib}/%{name}/
%changelog
* Fri Nov 27 2020 Jerry James <loganjerry@gmail.com> - 2.3.3-11
- Rebuild for cryptominisat 5.8.0
* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-10
- Second attempt - Rebuilt for
https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild