[apron] Rebuild for OCaml 4.00.0.

[Jerry James]

commit 85a0943e380eae1a02beb17f9507b7062d77c3e9
Author: Jerry James <loganjerry at gmail.com>
Date:   Sat Jun 9 19:44:24 2012 -0600

    Rebuild for OCaml 4.00.0.

 apron.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/apron.spec b/apron.spec
index c7436b1..0e3d4ff 100644
--- a/apron.spec
+++ b/apron.spec
@@ -4,7 +4,7 @@
 
 Name:           apron
 Version:        0.9.10
-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
@@ -241,6 +241,9 @@ done
 %endif
 
 %changelog
+* Sat Jun  9 2012 Jerry James <loganjerry at gmail.com> - 0.9.10-7
+- Rebuild for OCaml 4.00.0
+
 * Wed May  9 2012 Jerry James <loganjerry at gmail.com> - 0.9.10-6
 - Rebuild for new ocaml-mlgmpidl