The following commit has been merged in the master branch:
commit 25fcb0fd34f818d28a803b8a1f75e71f9165df0b
Author: Hendrik Tews <>
Date:   Fri May 17 16:53:59 2013 +0200

    refresh packaging and dependencies

diff --git a/debian/README.Debian b/debian/README.Debian
deleted file mode 100644
index 1437f06..0000000
--- a/debian/README.Debian
+++ /dev/null
@@ -1,25 +0,0 @@
-Prooftree: proof-tree visualization for Proof General
-Prooftree does only work for Coq version 8.4beta or later. Currently
-you need to install Coq 8.4beta manually or by fetching packages from
-experimental. Once you have done this, you have to enable the
-prooftree support in Proof General by setting `proof-tree-configured'
-to t (either do M-x customize-variable proof-tree-configured or
-include (setq proof-tree-configured t) in your .emacs).
-Background: To properly work, prooftree needs support form the proof
-assistant and from Proof General. Generic and Coq specific support is
-included in the 4.2 prereleases of Proof General and thus present in
-Debian Wheezy. In Coq, prooftree support has been included in the
-development version before the 8.4beta release. It is therefore only
-included in 8.4beta or later versions. Because there has been no
-proper 8.4 release of Coq until now, prooftree support in Coq is
-currently missing in Debian Wheezy.
-There is work underway to get prooftree working for HOL Light.
-However, the current state is too preliminary to get included in
- -- Hendrik Tews <>, Tue, 15 May 2012 10:57:15 +0200
diff --git a/debian/changelog b/debian/changelog
index 6ebc29f..79eba4b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,5 @@
-prooftree (0.10-1) unstable; urgency=low
+prooftree (0.12-1) unstable; urgency=low
   * Initial release (Closes: #672480)
- -- Hendrik Tews <>  Mon, 14 May 2012 23:42:16 +0200
+ -- Hendrik Tews <>  Fri, 17 May 2013 16:53:01 +0200
diff --git a/debian/control b/debian/control
index a6ff5aa..e10b2ff 100644
--- a/debian/control
+++ b/debian/control
@@ -9,7 +9,7 @@ Build-Depends:
  dh-ocaml (>= 0.9~),
-Standards-Version: 3.9.3
+Standards-Version: 3.9.4
 Vcs-Git: git://
@@ -17,16 +17,13 @@ Vcs-Browser:
 Package: prooftree
 Architecture: any
- proofgeneral,
+ proofgeneral (>= 4.3~pre130510),
+ coq (>= 8.4),
- coq
 Description: proof-tree visualization for Proof General
  Prooftree draws proof trees during interactive proof development
  with Proof General. One can inspect goals and proof commands
  and check where existential variables were introduced and
  instantiated. Currently, Prooftree does only work for Coq.
- .
- To make use of this package you need Coq version 8.4beta or better.

prooftree packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to