Rebuild for ocaml-mlgmpidl 1.2.14.

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≤x+y≤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.

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