From efaaff9bc543a39f381f9095df374f2b6a685328 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Wed, 30 Apr 2014 07:52:14 -0600 Subject: [PATCH] Rebuild for apron 1.1. --- apron.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/apron.spec b/apron.spec index 560fa2b..62e1357 100644 --- 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 - 0.9.10-16 +- Rebuild for ppl 1.1 + * Fri Apr 18 2014 Jerry James - 0.9.10-15 - Ensure GNU extensions are enabled to fix build failure