From fa27403bfbfc12d788fe1a2e7a576d0ad13151f2 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Wed, 3 Mar 2021 12:13:33 -0700
Subject: [PATCH] Rebuild for coq 8.13.1 and ocaml-zarith 1.12.

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

diff --git a/why3.spec b/why3.spec
index 2fc4a72..68bc13e 100644
--- a/why3.spec
+++ b/why3.spec
@@ -9,7 +9,7 @@
 
 Name:           why3
 Version:        1.3.3
-Release:        7%{?dist}
+Release:        8%{?dist}
 Summary:        Software verification platform
 
 # See LICENSE for the terms of the exception
@@ -326,6 +326,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \
 %files all
 
 %changelog
+* Wed Mar  3 2021 Jerry James <loganjerry@gmail.com> - 1.3.3-8
+- Rebuild for coq 8.13.1 and ocaml-zarith 1.12
+
 * Tue Mar  2 11:18:12 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 1.3.3-7
 - OCaml 4.12.0 build