From 891375414613b0aae1bf64057df544e6234a1c84 Mon Sep 17 00:00:00 2001
From: Jonathan Wakely <jwakely@redhat.com>
Date: Fri, 29 May 2020 20:20:33 +0100
Subject: [PATCH] Rebuilt for Boost 1.73

---
 cvc4.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/cvc4.spec b/cvc4.spec
index 1575f3f..4c1d674 100644
--- a/cvc4.spec
+++ b/cvc4.spec
@@ -3,7 +3,7 @@
 
 Name:           cvc4
 Version:        1.7
-Release:        11%{?dist}
+Release:        12%{?dist}
 Summary:        Automatic theorem prover for SMT problems
 
 # License breakdown:
@@ -226,6 +226,9 @@ make check
 %{python3_sitearch}/__pycache__/CVC4.*
 
 %changelog
+* Fri May 29 2020 Jonathan Wakely <jwakely@redhat.com> - 1.7-12
+- Rebuilt for Boost 1.73
+
 * Tue May 26 2020 Miro Hrončok <mhroncok@redhat.com> - 1.7-11
 - Rebuilt for Python 3.9