The following commit has been merged in the master branch:
commit 25fcb0fd34f818d28a803b8a1f75e71f9165df0b
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
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
-Debian.
-
- -- 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
--- 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 <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
--- a/debian/control
+++ b/debian/control
@@ -9,7 +9,7 @@ Build-Depends:
dh-ocaml (>= 0.9~),
ocaml-best-compilers,
liblablgtk2-ocaml-dev
-Standards-Version: 3.9.3
+Standards-Version: 3.9.4
Homepage: http://askra.de/software/prooftree
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git
@@ -17,16 +17,13 @@ Vcs-Browser:
http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git
Package: prooftree
Architecture: any
Depends:
- proofgeneral,
+ proofgeneral (>= 4.3~pre130510),
+ coq (>= 8.4),
${ocaml:Depends},
${shlibs:Depends},
${misc:Depends}
-Suggests:
- 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
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
