prooftree - proof-tree visualization for Proof General

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename prooftree_0.13-1+b3_i386.deb
Package name prooftree
Package version 0.13
Package release 1+b3
Package architecture i386
Package type deb
Category science uitoolkit::gtk
License -
Maintainer Debian OCaml Maintainers <>
Download size 729.64 KB
Installed size 3.34 MB


Package Version Architecture Repository
prooftree_0.13-1+b3_amd64.deb 0.13 amd64 Debian Main
prooftree - - -


Name Value
coq >= 8.4
libc6 >= 2.28
libgdk-pixbuf2.0-0 >= 2.22.0
libglib2.0-0 >= 2.35.9
libgtk2.0-0 >= 2.24.32
libpango-1.0-0 >= 1.22.0
proofgeneral >= 4.3~pre130510


Type URL
Binary Package prooftree_0.13-1+b3_i386.deb
Source Package prooftree

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install prooftree deb package:
    # sudo apt-get install prooftree




2017-01-03 - Hendrik Tews <>
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
2015-10-14 - St├ęphane Glondu <>
prooftree (0.12-2) unstable; urgency=low
[ St├ęphane Glondu ]
* Team upload
* Fix compilation with OCaml 4.02
[ Hendrik Tews ]
* lintian canonical vcs
2013-05-17 - Hendrik Tews <>
prooftree (0.12-1) unstable; urgency=low
* Initial release (Closes: #672480)

See Also

Package Description
proot_5.1.0-1.3_i386.deb emulate chroot, bind mount and binfmt_misc for non-root users
propaganda-debian_13.5.10_all.deb Propaganda background image volume for Debian
propellor_5.9.1-1_i386.deb property-based host configuration management in haskell
prosody-modules_0.0~hg20190203.b54e98d5c4a1+dfsg-1_all.deb Selection of community modules for Prosody
prosody_0.11.2-1_i386.deb Lightweight Jabber/XMPP server
prospector_0.12.7-2.1_all.deb comprehensive static Python code analyzer
prosper_2018.20190227-2_all.deb TeX Live: transitional dummy package
protobuf-c-compiler_1.3.2-1+b1_i386.deb Protocol Buffers C compiler (protobuf-c)
protobuf-compiler-grpc_1.16.1-1+b1_i386.deb high performance general RPC framework - protobuf plugin
protobuf-compiler_3.6.1.3-2_i386.deb compiler for protocol buffer definition files
protoc-gen-yarpc_0.0.1-1_i386.deb Yet Another RPC for Go - command-line utility
protracker_2.3d.r191-1_i386.deb Music tracker clone of ProTracker v2.3D for modern computers
prottest_3.4.2+dfsg-3_all.deb selection of best-fit models of protein evolution
prov-tools_1.5.2-2_all.deb tools for prov
prover9-doc_0.0.200902a-2_all.deb documentation for Prover9 and associated programs