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

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.12-2build1
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
 6d03dafe1ebcbcf04709cccd67d13b42658aab8c 3048 prooftree_0.12-2build1.debian.tar.xz
Checksums-Sha256:
 952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723 103680 prooftree_0.12.orig.tar.gz
 e4cffd99bf2ceee86a81584375a9d174350c6053dc94c98fc49390168e60c543 3048 prooftree_0.12-2build1.debian.tar.xz
Files:
 1ccae43094ae52a85a52bff0f9e22495 103680 prooftree_0.12.orig.tar.gz
 8b52de3ee1a7ab3fbcbd07d080da1a77 3048 prooftree_0.12-2build1.debian.tar.xz

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

iQEcBAEBAgAGBQJWOpJNAAoJEAIZyhnQNDMMMy0H/i9zDXfq20hFN5Gyf9CQH8Jn
wmjYsi5BCBYew/cgm3VM4q2v+KZZ34WLyoppFki+jGMj0CWHT5cXYSaeiTfvBQSP
RWrNa21aTyvcT/05vQJbXaZHE5HnIv0IMYYZfIqsdRchYEuxMOXntDNOTKVEngwZ
9TvV2aNf97TO10O8EoxSLPjVka4KB4I+U8Sp7xE0DyvV9i7daBpmPco5CnFZ69LO
wwcT/4lCQ4el53iJBSD1dHMYeFLqMAri16fkJi6z5PFxj9SLMOMlCHNITedXDBfo
V/zpZbjl9xWLhrlZsvwtpXX4tCaYLIhmo/E2hSLGcpugCUOgEihuOirXLNJGPuk=
=FuQI
-----END PGP SIGNATURE-----