This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why.
commit 870626ce502bc54ec8cdccdda960df88a9743790 Author: Ralf Treinen <trei...@free.fr> Date: Fri Jan 17 20:29:52 2014 +0100 drop patch 0006-Fix-spelling-error-in-binary --- debian/changelog | 2 +- .../0006-Fix-spelling-error-in-binary.patch | 36 ---------------------- 2 files changed, 1 insertion(+), 37 deletions(-) diff --git a/debian/changelog b/debian/changelog index c180f92..2bebcf5 100644 --- a/debian/changelog +++ b/debian/changelog @@ -10,7 +10,7 @@ why (2.33-1) unstable; urgency=low - 0006-Fix-spelling-error-in-binary.patch - 0007-Replace-caduceus-invocation-by-Frama-C.patch - -- + -- Ralf Treinen <trei...@debian.org> Fri, 17 Jan 2014 20:36:07 +0100 why (2.30+dfsg-5) unstable; urgency=low diff --git a/debian/patches/0006-Fix-spelling-error-in-binary.patch b/debian/patches/0006-Fix-spelling-error-in-binary.patch deleted file mode 100644 index 31cbda9..0000000 --- a/debian/patches/0006-Fix-spelling-error-in-binary.patch +++ /dev/null @@ -1,36 +0,0 @@ -From: Mehdi Dogguy <me...@debian.org> -Date: Mon, 2 Jan 2012 15:57:10 +0100 -Subject: Fix spelling-error-in-binary - ---- - src/smtlib.ml | 2 +- - tools/dp.ml | 2 +- - 2 files changed, 2 insertions(+), 2 deletions(-) - -diff --git a/src/smtlib.ml b/src/smtlib.ml -index 7c99f9d..3dcfe16 100644 ---- a/src/smtlib.ml -+++ b/src/smtlib.ml -@@ -311,7 +311,7 @@ let print_obligation fmt loc _is_lemma _o s = - fprintf fmt "@]@\n@\n" - (* - -- useless since goals are splitted -+ useless since goals are split - (moreover, may trigger a bug with Z3: proves the lemma using the aussmption given after) - - if is_lemma then begin -diff --git a/tools/dp.ml b/tools/dp.ml -index c09f436..b672d8e 100644 ---- a/tools/dp.ml -+++ b/tools/dp.ml -@@ -72,7 +72,7 @@ let spec = - "-select", Arg.Set select_hypotheses, - "applies some selection of hypotheses (only Alt-Ergo)"; - "-simple", Arg.Set simple, "Print only Valid, I don't know, Invalid, Fail, Timeout"; -- "-split", Arg.Set split, "Create a directory wich contains all the goal splitted in different file"; -+ "-split", Arg.Set split, "Create a directory wich contains all the goal split in different file"; - "-prover", Arg.Symbol ( - ["Alt-Ergo";"CVC3";"CVCL";"Z3";"Yices";"Simplify";"Vampire"; "VeriT"],(fun s -> prover := Some s)), "Select the prover to use" - ] --- -- 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