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 <trei...@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 <trei...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits