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

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

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
This commit is contained in:
Fedora Release Engineering 2021-07-23 18:21:53 +00:00
parent 10727056b6
commit 59f9c21afa
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: 16%{?dist}
Release: 17%{?dist}
Summary: Constraint solver/decision procedure
License: MIT
@ -116,6 +116,9 @@ mv %{buildroot}%{_prefix}/man %{buildroot}%{_datadir}/man
%{python3_sitelib}/%{name}/
%changelog
* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-17
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Wed Jul 14 2021 Jerry James <loganjerry@gmail.com> - 2.3.3-16
- Add -private-libs patch to fix bz 1981466