This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository prooftree.
commit ece0febce920f08ec2b71e00bc2ed3104cd93f48 Author: Hendrik Tews <hend...@askra.de> Date: Tue Jan 3 16:54:23 2017 +0100 update packaging --- debian/changelog | 9 ++++ debian/control | 6 +-- .../0001-Fix-compilation-with-OCaml-4.02.patch | 60 ---------------------- debian/patches/series | 1 - 4 files changed, 12 insertions(+), 64 deletions(-) diff --git a/debian/changelog b/debian/changelog index aaf9d50..12ab1cd 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,12 @@ +prooftree (0.13-1) unstable; urgency=medium + + * Imported Upstream version 0.13 + * delete patch 0001-Fix-compilation-with-OCaml-4.02 (problem fixed upstream) + * push standards version to 3.9.8 + * fix some lintian warnings + + -- Hendrik Tews <hend...@askra.de> Tue, 03 Jan 2017 16:29:09 +0100 + prooftree (0.12-2) unstable; urgency=low [ Stéphane Glondu ] diff --git a/debian/control b/debian/control index 5f097ce..726c4fd 100644 --- a/debian/control +++ b/debian/control @@ -9,10 +9,10 @@ Build-Depends: dh-ocaml (>= 0.9~), ocaml-best-compilers, liblablgtk2-ocaml-dev -Standards-Version: 3.9.4 +Standards-Version: 3.9.8 Homepage: http://askra.de/software/prooftree -Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/prooftree.git -Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git +Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/prooftree.git +Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git Package: prooftree Architecture: any diff --git a/debian/patches/0001-Fix-compilation-with-OCaml-4.02.patch b/debian/patches/0001-Fix-compilation-with-OCaml-4.02.patch deleted file mode 100644 index d3f5f53..0000000 --- a/debian/patches/0001-Fix-compilation-with-OCaml-4.02.patch +++ /dev/null @@ -1,60 +0,0 @@ -From: Stephane Glondu <st...@glondu.net> -Date: Tue, 16 Jun 2015 09:30:01 +0200 -Subject: Fix compilation with OCaml 4.02 - ---- - input.ml | 12 ++++++------ - 1 file changed, 6 insertions(+), 6 deletions(-) - -diff --git a/input.ml b/input.ml -index 934943c..8188fce 100644 ---- a/input.ml -+++ b/input.ml -@@ -55,7 +55,7 @@ - - In the following list - of commands, ``%d'' stands for a positive integer and %s for a string -- which contains no white space. ``\{cheated|not-cheated\}'' denotes -+ which contains no white space. ... denotes - the alternative of either ``cheated'' or ``not-cheated''. An - integer following the keyword state is a state number. An integer - following some xxx-bytes denotes the number of bytes of the next -@@ -79,7 +79,7 @@ - the first message. - } - {- {v current-goals state %d current-sequent %s \ -- {cheated|not-cheated} {new-layer|current-layer} proof-name-bytes %d \ -+ ... ... proof-name-bytes %d \ - command-bytes %d sequent-text-bytes %d additional-id-bytes %d \ - existential-bytes %d\n\ - <data-proof-name>\n\ -@@ -162,7 +162,7 @@ - {- Full name of the proof} - } - } -- {- {v branch-finished state %d {cheated|not-cheated} \ -+ {- {v branch-finished state %d ... \ - proof-name-bytes %d command-bytes %d existential-bytes %d\n\ - <data-proof-name>\n\ - <data-command>\n\ -@@ -440,8 +440,8 @@ let parse_configure com_buf = - - (****************************************************************************** - ****************************************************************************** -- * current-goals state %d current-sequent %s {cheated|not-cheated} \ -- * {new-layer|current-layer} -+ * current-goals state %d current-sequent %s ... \ -+ * ... - * proof-name-bytes %d command-bytes %d sequent-text-bytes %d \ - * additional-id-bytes %d existential-bytes %d\n\ - * <data-proof-name>\n\ -@@ -625,7 +625,7 @@ let parse_switch_goal com_buf = - - - (****************************************************************************** -- * branch-finished state %d {cheated|not-cheated} \ -+ * branch-finished state %d ... \ - * proof-name-bytes %d command-bytes %d existential-bytes %d\n\ - * <data-proof-name>\n\ - * <data-command>\n\ --- diff --git a/debian/patches/series b/debian/patches/series index 7cd6a96..e69de29 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +0,0 @@ -0001-Fix-compilation-with-OCaml-4.02.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/prooftree.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