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

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.13-2build4
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
 4093e77f7995acf5a67e641e23c869015d8aee87 2616 prooftree_0.13-2build4.debian.tar.xz
Checksums-Sha256:
 b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz
 ad3edee324c3794bcd55f9500807a585922598e94c5588b3edd9efec41b19fa7 2616 prooftree_0.13-2build4.debian.tar.xz
Files:
 c6a984cbdb0c631a2fceda2541df02b2 113178 prooftree_0.13.orig.tar.gz
 ba8e6e42f91c5cf50282f560fceb486e 2616 prooftree_0.13-2build4.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmHwKHsQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9R7xEACLjkzMfgQPWVEwjBGyashyVlCmR+YuwNPr
KqfAi9lGOUP+VgP92zZ8NcyilxjGZT2lsMntU/uIqTBJR+qzzZhzmL/MgMYZ9fP+
WLayNivaO5KIqowE9FyCAL2A/7xVL+DXSKN9a1urd8WKtQ7mPC84xauYTo8EQmXW
iv5zbuspxfBK4Yqej08wXXJhahylEwANUsPBZEtXLr29+4DA/4miLsltQScRhjHY
TZky9TZm5s7J1grBzWjro1938xfAjkh+YtOEN/oL/m4CuD8xXUAMDnmrmlxlbLE+
kYxXDz4770zYYqwYEZTk9FpMM44QeAc8CbDKVNMCQ5ankj7fAfPf9R+PLlNRcTTR
Jjev8VSrTPrGMvhpolruS4QylpJfuOYZrVjW2vlBZnYXo5OyUJcftoGFD4lnzb1s
5z8hI+9RmHPjvVrqNlGeu+y1LYp/skUF0jkYfk32pFPbWli5XnGFQYG2E9QgDf0G
6TFxNFrIr2NjTuEEF9iYLTSYynwt5t8ldfMiP76IMhkysh/Q2AHp82b8taTOgFco
qgFPkLKAKN4TA2MKQ49yWH5rLXax6HhuxZ1wxs4K6fW2V6eIbGgXxvfptOgL5ndW
EwCacrRFErhMy3D2JCLImZvJ2kBv7y8p96VaZ/3DS7VHIvlXH/fI3IhYrFfGaAue
KybknbzeUw==
=9758
-----END PGP SIGNATURE-----