From 004cf953dfdaf2aad39b94581beaa221db0959be Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Thu, 1 Aug 2019 00:02:40 +0100
Subject: [PATCH] OCaml 4.08.1 (rc2) rebuild.

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

diff --git a/alt-ergo.spec b/alt-ergo.spec
index 661bf12..e013532 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -9,7 +9,7 @@
 
 Name:		alt-ergo
 Version:	2.0.0
-Release:	2%{?dist}
+Release:	3%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 License:	ASL 2.0
 
@@ -142,6 +142,9 @@ done
 %{_datadir}/icons/hicolor/*/apps/%{name}.png
 
 %changelog
+* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-3
+- OCaml 4.08.1 (rc2) rebuild.
+
 * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.0.0-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild