[why] Rebuild for frama-c Fluorine 20130601.

[Jerry James]

commit 190a227280f0c9c80480f5946fbdea0de3af4692
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Fri Jun 21 13:55:54 2013 -0600

    Rebuild for frama-c Fluorine 20130601.

 why.spec |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/why.spec b/why.spec
index 6a47508..00d00fa 100644
--- a/why.spec
+++ b/why.spec
@@ -20,7 +20,7 @@
 
 Name:           why
 Version:        2.33
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Software verification platform
 
 Group:          Applications/Engineering
@@ -260,7 +260,7 @@ sed -e "s|-I +apron|-I +apron -I +gmp|" \
     -i configure
 
 # Allow use of the fixed frama-c Fluorine release
-sed -i 's/Fluorine-20130401/Fluorine-20130501/' configure
+sed -i 's/Fluorine-20130401/Fluorine-20130601/' configure
 
 %build
 %if ! %{opt}
@@ -438,6 +438,9 @@ diff -u min.why min_why.why.result  # Show differences from correct result.
 
 
 %changelog
+* Fri Jun 21 2013 Jerry James <loganjerry at gmail.com> - 2.33-3
+- Rebuild for frama-c Fluorine 20130601
+
 * Thu May 23 2013 Jerry James <loganjerry at gmail.com> - 2.33-2
 - Rebuild for new frama-c and why3 builds