Rebuild for apron 1.1.

2014-04-30 07:52:14 -06:00 · 2014-04-30 07:52:14 -06:00 · efaaff9bc5
commit efaaff9bc5
parent 36b230e772
1 changed files with 4 additions and 1 deletions
--- a/apron.spec
+++ b/apron.spec
@ -4,7 +4,7 @@

 Name:           apron
 Version:        0.9.10
-Release:        15%{?dist}
+Release:        16%{?dist}
 Summary:        Numerical abstract domain library

 # The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of
@ -230,6 +230,9 @@ done
 %{_libdir}/ocaml/%{name}/*.mli

 %changelog
+* Wed Apr 30 2014 Jerry James <loganjerry@gmail.com> - 0.9.10-16
+- Rebuild for ppl 1.1
+
 * Fri Apr 18 2014 Jerry James <loganjerry@gmail.com> - 0.9.10-15
 - Ensure GNU extensions are enabled to fix build failure