Rebuild for z3 4.8.17

2022-05-19 13:41:06 -06:00 · 2022-05-19 13:41:06 -06:00 · de87a1ef21
parent 170e2f6462
commit de87a1ef21
1 changed files with 4 additions and 1 deletions
--- a/cppcheck.spec
+++ b/cppcheck.spec
@ -2,7 +2,7 @@

 Name:           cppcheck
 Version:        2.7.4
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Tool for static C/C++ code analysis
 License:        GPLv3+
 URL:            http://cppcheck.wiki.sourceforge.net/
@ -113,6 +113,9 @@ cd %{_vpath_builddir}/bin
 %{_bindir}/cppcheck-htmlreport

 %changelog
+* Thu May 19 2022 Jerry James <loganjerry@gmail.com> - 2.7.4-2
+- Rebuild for z3 4.8.17
+
 * Fri Mar 25 2022 Wolfgang Stöggl <c72578@yahoo.de> - 2.7.4-1
 - Update to 2.7.4