Rebuild for readline 7.x

Signed-off-by: Igor Gnatenko <ignatenko@redhat.com>
2017-01-12 17:30:25 +01:00 · 2017-01-12 17:30:25 +01:00 · 0cb6d37c9b
commit 0cb6d37c9b
parent 867ad499eb
1 changed files with 4 additions and 1 deletions
--- a/cvc4.spec
+++ b/cvc4.spec
@ -3,7 +3,7 @@

 Name:           cvc4
 Version:        1.4
-Release:        11%{?dist}
+Release:        12%{?dist}
 Summary:        Automatic theorem prover for SMT problems

 # License breakdown:
@ -242,6 +242,9 @@ make check
 %{_jnidir}/%{name}/

 %changelog
+* Thu Jan 12 2017 Igor Gnatenko <ignatenko@redhat.com> - 1.4-12
+- Rebuild for readline 7.x
+
 * Tue May 17 2016 Jonathan Wakely <jwakely@redhat.com> - 1.4-11
 - Rebuilt for linker errors in boost (#1331983)