Package: prooftree
Architecture: amd64
Version: 0.13-2build4
Priority: optional
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5150
Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.34), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.22.0)
Filename: pool/universe/p/prooftree/prooftree_0.13-2build4_amd64.deb
Size: 1312732
MD5sum: d1804081f31fa9e500c441ff5fa8f15c
SHA1: c154e35f001adb77e620654c764915f1bc9ba868
SHA256: 00d9579a7e3acde1c0e1c9deb717321b50717e987d2eac0561b2e36c4cfe5994
SHA512: afeb66aa85841bc7492c530d18fe1841de96ca889b7761e3f58124d52a4675c766c13f06d6f8a11b33f8cbe8f24d4720725248288b09b0e01e09ab90687b87f9
Homepage: http://askra.de/software/prooftree
Description: proof-tree visualization for Proof General
Description-md5: b27f2d4918792b35e6871a08a544fafa