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

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-01-28 15:13:10 +00:00 · 2020-01-28 15:13:10 +00:00 · 4ec4a2980a
commit 4ec4a2980a
parent 410a09ea16
1 changed files with 4 additions and 1 deletions
--- a/cvc4.spec
+++ b/cvc4.spec
@ -3,7 +3,7 @@

 Name:           cvc4
 Version:        1.7
-Release:        7%{?dist}
+Release:        8%{?dist}
 Summary:        Automatic theorem prover for SMT problems

 # License breakdown:
@ -220,6 +220,9 @@ make check
 %{python3_sitearch}/__pycache__/CVC4.*

 %changelog
+* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7-8
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
+
 * Mon Nov 11 2019 Jerry James <loganjerry@gmail.com> - 1.7-7
 - Rebuild for cadical 1.2.1