Package: prooftree
Version: 0.13-1build3
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Installed-Size: 4231
Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.17), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.31), libpango-1.0-0 (>= 1.14.0)
Section: science
Priority: optional
Homepage: http://askra.de/software/prooftree
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.
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
