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

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

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl5qPuUACgkQ808JdE6f
XdnFpg//Ws9P72McYhSmGCPDAgrjiB8c6twIoD9VK6XllXw7FAJIS50VX5fnZ8Mr
Sde16xRPvDTgGcn/J++8JQ/Gi0WrnIJ0v2YgfEJRFykG8dCT0qEu8RTZVqy4G2I4
Z9n7f8s9DtbK1UJ4bzLQQG9Q7tgVs08e1alK3qCqNa5J4jz7FMWgEYwIKp5iv30H
JemQvlnirlhw1z/W1CcgjZE/blX988s88US8EGL34DYjb8jn1a9+Y3/umtLkEONz
/F4Y4NQxUkaOisBdrQJ7BzD6NznpuH+jFudD1OHpgpHJJdlXZh+RurisgB/o+KYg
YwAdo8/HLTI79PMjTFqHW235hFt/YPZ9c+I2soCHi84XM+B/vk8UWjr3SiPoSGzO
QeyZO7uxC0yl4xkoAwtUOg7x56bRmtYaP0rISHuXOj1drOFj7h5thqzC+beTkXPn
umThjrVuHEjOuAIxU6nzGNtzu8BAZeHF6AEq3HjEb1xRFM1ZKzIUwm77z8m7Vfp/
N/UvhjbOEFNcYKLCNqV1ZdfqYGri8g6ETjbxGpypH1wbbt+P9CPfCRTgDKU5vmfl
8Z2IMwseYySh0uucX8VWCSYooMxMOlTecXyFNU+dC1gi1zhPh/WvSTzwFN2s+6mC
iwknzYvi2KoeJLI2MJNtbRlSgInWSw/Uob4Ohfn9pzu5Rd2bDvI=
=8fIL
-----END PGP SIGNATURE-----