From 7996123ff294538310ab98c37f179549b5b79209 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Thu, 30 Dec 2021 14:54:43 -0700
Subject: [PATCH] Rebuild for ocaml-mlgmpidl 1.2.14.

---
 README.md  | 11 +++++++++++
 apron.spec |  5 ++++-
 2 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..e6074d8
--- /dev/null
+++ b/README.md
@@ -0,0 +1,11 @@
+# apron
+
+[The APRON library](https://antoinemine.github.io/Apron/doc/) is dedicated to
+the static analysis of the numerical variables of a program by Abstract
+Interpretation.  The aim of such an analysis is to infer invariants about
+these variables, like `1&le;x+y&le;z`, which holds during any execution of the
+program.
+
+The APRON library is intended to be a common interface to various underlying
+libraries/abstract domains and to provide additional services that can be
+implemented independently from the underlying library/abstract domain.
diff --git a/apron.spec b/apron.spec
index 4ecb444..9c98be7 100644
--- a/apron.spec
+++ b/apron.spec
@@ -1,6 +1,6 @@
 Name:           apron
 Version:        0.9.13
-Release:        6%{?dist}
+Release:        7%{?dist}
 Summary:        Numerical abstract domain library
 
 # The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of
@@ -232,6 +232,9 @@ test/ctest1
 %{_jnidir}/*.so
 
 %changelog
+* Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 0.9.13-7
+- Rebuild for ocaml-mlgmpidl 1.2.14
+
 * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-6
 - OCaml 4.13.1 build