-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.12-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Hendrik Tews <hendrik@askra.de>
Homepage: http://askra.de/software/prooftree
Standards-Version: 3.9.4
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git
Build-Depends: debhelper (>= 9.0.0), dh-ocaml (>= 0.9~), ocaml-best-compilers, liblablgtk2-ocaml-dev
Package-List: 
 prooftree deb science optional
Checksums-Sha1: 
 ff838fd6ea7b32f382d955da4374b2d8a36458bc 103680 prooftree_0.12.orig.tar.gz
 76d7b647a1e0e3f3df4164363703e34a2ff19dc7 2120 prooftree_0.12-1.debian.tar.gz
Checksums-Sha256: 
 952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723 103680 prooftree_0.12.orig.tar.gz
 8b1c45107d0fe71909a2f9d85f0a877571e3a53dcfd6cac09b39351f72957adf 2120 prooftree_0.12-1.debian.tar.gz
Files: 
 1ccae43094ae52a85a52bff0f9e22495 103680 prooftree_0.12.orig.tar.gz
 a032ebd56fbdf031fa8163f23bfc2ef6 2120 prooftree_0.12-1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJRpPc/AAoJEHhT2k1JiBrTevQP/iY7In+/8dtzjkPllfyvmQa0
jd9khYQWH1Y1fOcJsD7MOiIRQDY1Th/+8lp/zeR7PwWdzC4SYlekM9YdC+y2X8Cz
ZLiiDs7NJ4i8p1NuUeY8dZtbmPeEZH6OkKxwWRMz6GyN+vI59KdszIQe6s1XIQUv
9J4BTCdlkp2fisoPoXSzRGZmNnLRov+cWVGABcE5+6ZM8g1QiAqpom6dPx87mWst
r06WUIKp/EgRSU/JshJkRokczVbHzqSI2Pdb0aR7wlSCf0tUNhqDgxUuYi5NuB0o
SHKH6LXofYuY6tCGn7K+5z9snCjkpkYUzPWuC0da5G0jDpg4lZYFayqF+zVoTuee
5WYtJaMlEuYfy/F1H459D1f9ZXyk/b5EuFAtJjoAFKR/x7qltsi0ChTN+XOf5Qbi
VJEGL9wfM9AeRbsVN1UuUtYt1fFH6RWhLwXP6MUhcL5MLrVPM8796mZnQLVD7eaq
QlfXR8Y3crRbCTCgisLU1fn5HqbqbdMu0vULkKEz72w70u2NesoRIp9cd/ug95QN
PAX1gQ7vpxnHiLmzrH4YKgRXn1/hobl8oF0NtEgSQcoj1M8ZOFe3EAA0W2WUSktF
NWGHnxFopVLv6DjiscgqZIFs2hZztRg9y/R478wckj1AcdG+sxtUXkrphTcDM/gk
hAISc0QnsZU1IhbHoCtB
=gtNu
-----END PGP SIGNATURE-----