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

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.13-2build3
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.8
Vcs-Browser: https://salsa.debian.org/ocaml-team/prooftree
Vcs-Git: https://salsa.debian.org/ocaml-team/prooftree.git
Build-Depends: debhelper (>= 9.0.0), dh-ocaml (>= 0.9~), coq, ocaml-best-compilers, liblablgtk2-ocaml-dev
Package-List:
 prooftree deb science optional arch=any
Checksums-Sha1:
 7a594f25f09301fb8318c2b84dba515fd3f6ae60 113178 prooftree_0.13.orig.tar.gz
 15972109d5715efbec408fde0e18529feab9eea9 2592 prooftree_0.13-2build3.debian.tar.xz
Checksums-Sha256:
 b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz
 5aab14406722cee2960894a770f26ced64b5f9f3de18df9bd546605c67c1e58f 2592 prooftree_0.13-2build3.debian.tar.xz
Files:
 c6a984cbdb0c631a2fceda2541df02b2 113178 prooftree_0.13.orig.tar.gz
 07b41be550e22eb59eb26ebf23b6e2b7 2592 prooftree_0.13-2build3.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmAFitIQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9UyPEACtf9WntTyLJBfHp2qDsMGaN2Lmh0s9yzMd
TOMeCuGQkGmAnunMZY05lhmYqoOvGCeE66WMDonkM0Ryi2mYVqOJ2fZWb3cYT0Xc
zHQxd8cLaWO+Ku1KcbYruMxYFQNBR8m+fK+t3hV384jXdknK9J7l1IkhqMe8PYS/
xlZTeoEJDcynaPH40Au0QVG4jTonk4flAAp4PcBeJEtboytoFTx3LNxsYEmn3Q4Y
vRNeBgB5u+5POn9REfwQ04tO/cXWP6Y2WcL4aeNqU2gAt8VNObNA0ia88LBfS+F6
7EwZ5gW+fYrCH4Pa01qQchH2u3d8GmfZ40RzmDJYsDIsvcPC0x1xz3K1VjKBd3y+
yOxZxCa3QKORfOS5aYrL4ickjq777LmfVfq5dmE+i+4dGXQlZfgKAWpAnFzv429E
YW7e6wP47B5wPmg49iPsT0wfD6isf+xnPrlfvViZgNGaXmuODxC5phVNKYzaYX7X
ltqeuXy2846RE+QPW6iZ9EOPLjT655PRreJ8xrSsWRLAnHhbRGwjA+bnZ/wbMqhu
3Yq65ALP4eiegQerl9sljr0KHgT7AmIKfoOzHOYQxdOxfsLMUEOUDq+U3qy69KgV
gD/LifxMSkIRdStjDQQTyBqfZgf/jpP4VRuCN+vq4c8z/w2KWI1a2zmLPSPjNLo2
833pRnWCHw==
=8xT/
-----END PGP SIGNATURE-----