[Pkg-ocaml-maint-commits] [why] 07/07: drop patch frama-c-versions

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository why.

commit ca29897a55d27d9a3df198c7e770f06e52a59ad4
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Apr 28 21:34:18 2014 +0200

    drop patch frama-c-versions
---
 debian/changelog                |  5 +++--
 debian/patches/frama-c-versions | 16 ----------------
 debian/patches/series           |  1 -
 3 files changed, 3 insertions(+), 19 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 9230d23..241bf8a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,10 +1,11 @@
-why (2.34-1) unstable; urgency=low
+why (2.34-1) UNRELEASED; urgency=low
 
   * New upstream release.
   * Drop deprecated patches:
     - deprecated-or
     - hashtbl
-  * Bump build-dependency on frama-c to version 20140301+neon+dfsg-1.
+    - frama-c-versions
+  * Bump build-dependency on frama-c to version 20140301+neon+dfsg.
   * Fix debian/tests/frama-c+jessie+alt-ergo: run why-config when there is
     no ${HOME}/.whyrc
 
diff --git a/debian/patches/frama-c-versions b/debian/patches/frama-c-versions
deleted file mode 100644
index 771e80f..0000000
--- a/debian/patches/frama-c-versions
+++ /dev/null
@@ -1,16 +0,0 @@
-Author: Ralf Treinen <treinen at 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"
diff --git a/debian/patches/series b/debian/patches/series
index d540ffa..72f8956 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1 @@
 atp-versions
-frama-c-versions

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git