[apron] Rebuild for OCaml 4.00.1.

[Jerry James]

commit 40ff9eca3c129f0903e193b7efc70eeeaef3007b
Author: Jerry James <loganjerry at gmail.com>
Date:   Wed Oct 17 17:20:08 2012 -0600

    Rebuild for OCaml 4.00.1.

 apron.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/apron.spec b/apron.spec
index 226368d..51d45fa 100644
--- a/apron.spec
+++ b/apron.spec
@@ -4,7 +4,7 @@
 
 Name:           apron
 Version:        0.9.10
-Release:        8%{?dist}
+Release:        9%{?dist}
 Summary:        Numerical abstract domain library
 
 # The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of
@@ -244,6 +244,9 @@ done
 %endif
 
 %changelog
+* Wed Oct 17 2012 Jerry James <loganjerry at gmail.com> - 0.9.10-9
+- Rebuild for OCaml 4.00.1
+
 * Wed Jul 18 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.9.10-8
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild