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

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.13-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders:  Hendrik Tews <hendrik@askra.de>
Homepage: http://askra.de/software/prooftree
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git
Vcs-Git: https://anonscm.debian.org/cgit/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:
 7a594f25f09301fb8318c2b84dba515fd3f6ae60 113178 prooftree_0.13.orig.tar.gz
 ddb00516acca9f43acb92eb6494ac453243d8757 2588 prooftree_0.13-1build3.debian.tar.xz
Checksums-Sha256:
 b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz
 8fcca3cc366bbc683ff83d8635a7b1642facfe12cea3e85cc25894677ecace6d 2588 prooftree_0.13-1build3.debian.tar.xz
Files:
 c6a984cbdb0c631a2fceda2541df02b2 113178 prooftree_0.13.orig.tar.gz
 cf4fb6abe7eb31e7ec23badb32f4b68b 2588 prooftree_0.13-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJZ9JL8AAoJEPNPCXROn13Z6dAQAMa9iXzQKrn8LdYwyLF7m/vI
B6aWCdDQWXiEgJNXr0v0na4dB+s8UrhjotRoYRevioLjIKE2EANhmzeSYmCdEGiJ
IhFaHnzykUkpavObFzUpE5qRTu6CRnl3KdGFP/99dFTzBBdVOm5fzvOFptFeRH1U
CWQVBhdk4/1tIb4bZMzHd8RK2lGOdoK+63bZcisR6AbzweF7TjqftBZGQzsrjHTF
YE3O9SQGRYy1Dbjur3TH2P2U8PmaMF8/lASaWlWSrHYo0T/WcJxR4juuG4o0tund
xTldpU77vIO4swBw8BkrxQVU/0RAK3R7Pz5N5jbOw+CLZXWSENurKn8upIFp9KT0
oTHi+xLkhMttRMRPx/gTmehIcetvWWIw9kEnjyGQbOpZ/pcHV0l+XSqG59r4BbVx
WhctfrsGUzDA+Sq/DJVaLWTsFaoEA0/nXgo4ra76+uoyBRzfdlRiF/LDtMHSVcgO
pN+eJRRiSP00JVssUiYLBDf+VreyXMgzCgDKbqIirPD2vfSwUotYOR9pg7I+4T/L
sPPa8QKcgAukLq15ob2lP+TRElXZ1xkfQbP1cf/bq7qQw7ImeiTBlk0MIuukTVbf
JEJEwPw15/odwEOs4Qj3765569h6ZZ52zXyTETwdOYPLt2nU38DBC6/z/p7kOfFp
Qa6Vr27oGa8H0+R/Xmz/
=UAk+
-----END PGP SIGNATURE-----