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

- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
This commit is contained in:
Fedora Release Engineering 2022-01-22 01:44:49 +00:00
parent 6e9e1c6c81
commit 46c9fcda28
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: 18%{?dist}
Release: 19%{?dist}
Summary: Constraint solver/decision procedure
License: MIT
@ -116,6 +116,9 @@ mv %{buildroot}%{_prefix}/man %{buildroot}%{_datadir}/man
%{python3_sitelib}/%{name}/
%changelog
* Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-19
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Sat Aug 07 2021 Jonathan Wakely <jwakely@redhat.com> - 2.3.3-18
- Rebuilt for Boost 1.76