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

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.12-2
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://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git
Vcs-Git: git://anonscm.debian.org/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 arch=any
Checksums-Sha1:
 ff838fd6ea7b32f382d955da4374b2d8a36458bc 103680 prooftree_0.12.orig.tar.gz
 c420e4fa2d81b5e21e2c2c244c88b829badb8ac1 2964 prooftree_0.12-2.debian.tar.xz
Checksums-Sha256:
 952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723 103680 prooftree_0.12.orig.tar.gz
 b064ce2b8b1d4c965d2ccb0831ce8f2884e00502e880f7703812294a66f3c094 2964 prooftree_0.12-2.debian.tar.xz
Files:
 1ccae43094ae52a85a52bff0f9e22495 103680 prooftree_0.12.orig.tar.gz
 7df1de10f306b4866829025439f91b86 2964 prooftree_0.12-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJWHg8CAAoJEHhT2k1JiBrTk9UQAJlUzVMBP0u5Ryb6S5V2jYLn
u94l0raRmpK1OJSa0Phz2t4m6wsrwnLWvWOCA3kbxFDrT+Wo+75xTLXlmwLU3p1K
I7q1EmiGOvqd89u10NdxoUz4NqID99cQ8A1qLRd6wdbv5eRUDy0nhDy+hR/QCuJl
IkvJ07qpx1AuI+5yjhb6kiivax0q5uGpLgkv5Bml8VsRUfO5B1YunSXbmsrsqlEz
hIaQSqOtNpVuYai5sD4oC3f5khvOzweuAuleeEngH0tGnA/mI1Q0/RZAk1gGBuja
mh0ADi7qtVo5w/dOgLJRotvD9BaLCFBmXj1tPocMahb9hrBlVkicI5Dx0xONpukO
MMy6X2am/XN+igHB56b1zhlRuPkhDiU83lD/TeY/WrBMYcUQW5nE5g+6+W6UEtG8
7uvjihIJDvl5cW661IcTKsgEK43AGOxYwLM7oXUABPxJ53i05bDMX2J5djRqBuv5
6zpVt2H9zJes6Amh8K43MzQ74Dp9GV0gv1tVuWAWE45MbQdoLpWcaej6XAdSYqxe
ZBmfhriXYHrpRd79MNniv8VKLUhh0iLxy8F9AK0DYaVwQI4oBOBW8LAy+bRR0vAo
pbybmykVD09tUUnszSS9h0cOxFJ81Wb/p/OAws321tuotr3NrKSHQHDgnn7g98WM
Cp1HgmqK1w3dcYBbEkK1
=vTLh
-----END PGP SIGNATURE-----