-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.12-1build1
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
 2328382cf81ed4ce03caf467fc48b83d216186e2 2206 prooftree_0.12-1build1.debian.tar.gz
Checksums-Sha256: 
 952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723 103680 prooftree_0.12.orig.tar.gz
 db996948b4e83fd7613b8206c23683f38562f68b651a753bc8b2528f88ba8c1a 2206 prooftree_0.12-1build1.debian.tar.gz
Files: 
 1ccae43094ae52a85a52bff0f9e22495 103680 prooftree_0.12.orig.tar.gz
 813316e69176fde57bd9a9cb4d1773bd 2206 prooftree_0.12-1build1.debian.tar.gz

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

iEYEARECAAYFAlK4rhUACgkQStlRaw+TLJwBbACaAgzdRHZKAYXFqN20MqfIYrtl
b9wAn3XXiNu8+H4bkxKo3pWgBlBZtmgE
=x2XY
-----END PGP SIGNATURE-----