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

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

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
This commit is contained in:
Fedora Release Engineering 2020-07-29 15:18:04 +00:00
parent 069e9003bb
commit 4c91858d05
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
z3.spec
View File

@ -1,6 +1,6 @@
Name: z3
Version: 4.8.8
Release: 4%{?dist}
Release: 5%{?dist}
Summary: Satisfiability Modulo Theories (SMT) solver
License: MIT
@ -216,6 +216,9 @@ rm -rf %{buildroot}%{_docdir}/Z3
%{python3_sitelib}/%{name}/
%changelog
* Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.8-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon Jul 27 2020 Jerry James <loganjerry@gmail.com> - 4.8.8-4
- Build with cmake
- Manually build the OCaml interface