The following commit has been merged in the master branch:
Author: Hendrik Tews <hend...@askra.de>
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
@@ -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 <hend...@askra.de>, Tue, 15 May 2012 10:57:15 +0200
diff --git a/debian/changelog b/debian/changelog
index 6ebc29f..79eba4b 100644
@@ -1,5 +1,5 @@
-prooftree (0.10-1) unstable; urgency=low
+prooftree (0.12-1) unstable; urgency=low
* Initial release (Closes: #672480)
- -- Hendrik Tews <hend...@askra.de> Mon, 14 May 2012 23:42:16 +0200
+ -- Hendrik Tews <hend...@askra.de> Fri, 17 May 2013 16:53:01 +0200
diff --git a/debian/control b/debian/control
index a6ff5aa..e10b2ff 100644
@@ -9,7 +9,7 @@ Build-Depends:
dh-ocaml (>= 0.9~),
@@ -17,16 +17,13 @@ Vcs-Browser:
+ proofgeneral (>= 4.3~pre130510),
+ coq (>= 8.4),
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.
Pkg-ocaml-maint-commits mailing list