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

Rebuilt for Boost 1.78

This commit is contained in:
Thomas Rodgers 2022-05-04 11:42:11 +02:00 committed by Miro Hrončok
parent 46c9fcda28
commit c19957fb7f
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
stp.spec
View File

@ -1,6 +1,6 @@
Name: stp
Version: 2.3.3
Release: 19%{?dist}
Release: 20%{?dist}
Summary: Constraint solver/decision procedure
License: MIT
@ -116,6 +116,9 @@ mv %{buildroot}%{_prefix}/man %{buildroot}%{_datadir}/man
%{python3_sitelib}/%{name}/
%changelog
* Wed May 04 2022 Thomas Rodgers <trodgers@redhat.com> - 2.3.3-20
- Rebuilt for Boost 1.78
* Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-19
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild