Author: Ralf Treinen <treinen@debian.org>
Description: Accept newer version of frama-c

Index: why/configure.in
===================================================================
--- why.orig/configure.in	2014-02-04 13:43:45.271873700 +0100
+++ why/configure.in	2014-02-04 13:44:38.342418588 +0100
@@ -300,7 +300,7 @@
       FRAMACVERSION=`$FRAMAC -version | sed -n -e 's|Version: *\(.*\)$|\1|p' `
       AC_MSG_RESULT($FRAMACVERSION)
       case $FRAMACVERSION in
-        Fluorine-20130401) 
+        Fluorine-20130401|Fluorine-20130601) 
            FRAMAC=yes
            ;;
         *) FRAMACMSG="you need Frama-C version Fluorine-20130401"
