From 40ff9eca3c129f0903e193b7efc70eeeaef3007b Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Oct 17 2012 23:20:08 +0000
Subject: Rebuild for OCaml 4.00.1.


---

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@gmail.com> - 0.9.10-9
+- Rebuild for OCaml 4.00.1
+
 * Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-8
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild