-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.12-2b2
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
 334350ca3022e707d7baa4a8a312904462dfe2b8 3100 prooftree_0.12-2b2.debian.tar.xz
Checksums-Sha256:
 952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723 103680 prooftree_0.12.orig.tar.gz
 46e02ee9579e32ea4bd0de34aa98a5bb612148118ee17cf480d8b5a320470ba0 3100 prooftree_0.12-2b2.debian.tar.xz
Files:
 1ccae43094ae52a85a52bff0f9e22495 103680 prooftree_0.12.orig.tar.gz
 b77d8561cd358736c750fb6f5930a07d 3100 prooftree_0.12-2b2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXbPgUAAoJEKBN28suwKn/vFMQAK2Qfy0qvHMinN+QQBTnZZsU
D58N6OQS7di4Q1VhXxmgHwxvrh42qbzj8ZEjSjZK1yBGxmnv68QXjCKBL0OwcM6F
NyVHg82nA4x3RHixYzDXRe/dgK2p56ACbUGucnoJ4i3cCiK2ikc26LZe37jpCEva
c1i6A/tnDDCxfNmWiJofpYTC+frvNTv33b/Ao1XRvav/qgrgdTkrEKACwug89Ytn
2thz/9crOTn6hsd76D9aTMfu7myJPEROCxY32i915qs0T8p9fTvK3ktUk2kJlgbb
kukW5zZDk8nb8hm33mc6/MnVjfbReAwFym9Lp5pFf2DAUciK84UHq6BBbFEk1N9G
2J5hz4gbhOVsBPOhJPOqus6w/oIwlihJKdVqpYoBAoETWJ4Wtm9q0evoYMFlyK/X
Fttl9ARL/w+xwMCEBAsuyAOMtwq5AVCdTJvOh9SHxSBvDdmWUWl5s5HtniUy/qpY
2vlgynS2Aj+kt79D1QVlq8724ewuZt9jBEZ9GFKl9r2pDkAWJQX/Hy9lha0dP/0q
yXdAXMfcpXEvf9HnTNXw2AghBOBBx+yVo/AaN60yAEQ1/hocid2AgvHExwwgc6Gw
Ug07T0v4KRyj63e3jQPSy2oSwYpZcr+CItln6lGxbpcFb2eLVtJX4Sl5BDNMYSrS
TQ5Mqew7Oq3X9wY48Ly7
=R1SR
-----END PGP SIGNATURE-----