From 5fa8bce6e7816c3e71c7a27f8a2d32dab48124c4 Mon Sep 17 00:00:00 2001
From: Richard W.M. Jones <rjones@redhat.com>
Date: Jun 20 2018 09:37:01 +0000
Subject: OCaml 4.07.0-rc1 rebuild.


---

diff --git a/alt-ergo.spec b/alt-ergo.spec
index 927f026..bb77548 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -9,7 +9,7 @@
 
 Name:		alt-ergo
 Version:	1.30
-Release:	12%{?dist}
+Release:	13%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 License:	CeCILL-C
 
@@ -137,6 +137,9 @@ done
 %{_datadir}/icons/hicolor/*/apps/%{name}.png
 
 %changelog
+* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 1.30-13
+- OCaml 4.07.0-rc1 rebuild.
+
 * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.30-12
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild