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

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.13-1build6
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
 ce59b8187d4e7d8c04024996cf464531c0853e6e 2624 prooftree_0.13-1build6.debian.tar.xz
Checksums-Sha256:
 b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz
 c686963d505b39882ec2ef8c97ea25ecbc29d51acb27c9e108a03184a412e1af 2624 prooftree_0.13-1build6.debian.tar.xz
Files:
 c6a984cbdb0c631a2fceda2541df02b2 113178 prooftree_0.13.orig.tar.gz
 c90fdd6b02be81050227bd2f189db6f5 2624 prooftree_0.13-1build6.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1dQ5MACgkQ808JdE6f
Xdm66A//SoHJ62sUKyJdvE/Buraw7Q5Mx3HYWCgFy1e+XoAHjoGewrDEbRL9kUm2
6iFUwrhza+7V0/P35KSz4ZsACsKyGqWN0IE3V1+/l3gBItCaJLswPty65SpdN9/v
v1WM1ilAgNkUAuRcFkxhWiC+qvOAqfBxI9L01SuI9BeVrtffBC7v5yRcSmdrdtdb
KMyYbbyIObcKWDuyzV07Vuet5Bq3BZQdmv9oNcXaQDQdLREt83TQx1swYSvnPBVA
1VYXLwI1EkPUJo0mM6t5M1A3ERpNvWDqW+wN0OEznEQ7YRSaNLBp/79nFBRbmkzs
/lw43Zbt0N+40zDZWc6rk8JPLLbbUtjyNS6MVcRb9OC4d1zdybf8ri5QGFh0G7n7
qpYRsxsjId6PaNIhvIdqCfmyW0KfUaS0erMJX8cz1obcb2elS6jk0UH9O1SMW5d1
bOyUsUvJht7HmCIoHva7ssRdcivrwZwZaCvkJ5Qcq8uJeWLQxMQTn3D6aG9OSQ3i
8YTpx/EfK3AeJhUAcBeCavubwxDsjmM8F0KAw+Nk/1yHkT3biH5Weo9zS/26+uPc
NOybowIDcROVrlE/LbcFxM3hGDvV6aWdeQYGt+s9Yf4ZOLyTZAIhFDZQpmiGzZOW
ytatG8gvk4IuzKKaaM0SV/fQFVb8id7iMA4mfnRqe6qeTCg+w2s=
=g2y2
-----END PGP SIGNATURE-----