[apron] Rebuild for GCC 4.7 and Ocaml 3.12.1.

Jerry James jjames at fedoraproject.org
Fri Jan 6 22:13:55 UTC 2012


commit 57da74c5768105050d7148718088beaf3ce8c501
Author: Jerry James <loganjerry at gmail.com>
Date:   Fri Jan 6 15:13:41 2012 -0700

    Rebuild for GCC 4.7 and Ocaml 3.12.1.

 apron.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/apron.spec b/apron.spec
index f8df475..100c1e5 100644
--- a/apron.spec
+++ b/apron.spec
@@ -4,7 +4,7 @@
 
 Name:           apron
 Version:        0.9.10
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        Numerical abstract domain library
 
 # The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of
@@ -238,6 +238,9 @@ done
 %endif
 
 %changelog
+* Fri Jan  6 2012 Jerry James <loganjerry at gmail.com> - 0.9.10-5
+- Rebuild for GCC 4.7 and Ocaml 3.12.1
+
 * Tue Nov  8 2011 Jerry James <loganjerry at gmail.com> - 0.9.10-4
 - -devel also needs ocaml-camlidl-devel
 - Pass --as-needed to the linker to fix unused shared library dependencies


More information about the scm-commits mailing list