This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why.
commit c8219b1e13c90446da5ba6113229acf0e2407317 Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr> Date: Tue Feb 4 12:33:23 2014 +0100 accept new frama-c --- debian/changelog | 5 +++-- debian/patches/frama-c-versions | 16 ++++++++++++++++ debian/patches/series | 1 + 3 files changed, 20 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index d0fa082..7adfb7c 100644 --- a/debian/changelog +++ b/debian/changelog @@ -13,14 +13,15 @@ why (2.33-1) unstable; urgency=low * New patch deprecated-or to replace "or" by "||", needed for more strict checks in ocaml 4 * New patch hashtbl to fix compilation with ocaml 4.01, taken from fedora. - * Patch atp-versions: update accepted versions of external provers: + * New patch atp-versions: update accepted versions of external provers: alt-ergo, coq + * New patch frama-c-versions: update accepted version of frama-c * Add myself to uploaders. * Standards-Version 3.9.5 (no change) * Add DEP8-style package tests for why with alt-ergo, and why with cvc3. * Bump build-dependency on frama-c-base to the latest version. - -- Ralf Treinen <trei...@debian.org> Tue, 04 Feb 2014 09:50:48 +0100 + -- Ralf Treinen <trei...@debian.org> Tue, 04 Feb 2014 12:33:02 +0100 why (2.30+dfsg-5) unstable; urgency=low diff --git a/debian/patches/frama-c-versions b/debian/patches/frama-c-versions new file mode 100644 index 0000000..771e80f --- /dev/null +++ b/debian/patches/frama-c-versions @@ -0,0 +1,16 @@ +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 e509f90..0e7ff18 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,3 +1,4 @@ deprecated-or hashtbl 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