[Pkg-ocaml-maint-commits] [prooftree] 03/03: update packaging

[Hendrik Tews]

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 <hendrik at 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 <hendrik at 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 <steph at 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