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

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.13-2build6
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
 5e770c7c967ca2efefcd5e16b520c9cc2765b8b6 2636 prooftree_0.13-2build6.debian.tar.xz
Checksums-Sha256:
 b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz
 980437c91ad1427bac0a8962ac25e6a626d1ca9e5a627f7c1892be0fec750390 2636 prooftree_0.13-2build6.debian.tar.xz
Files:
 c6a984cbdb0c631a2fceda2541df02b2 113178 prooftree_0.13.orig.tar.gz
 579984488952a345dd0d4b14c2fc93b6 2636 prooftree_0.13-2build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBasACgkQ808JdE6f
Xdk2YQ/9Hl60nbytbdAxD5OHZ+/ubGNE4uHaFREW2Y77NaYjAId447w9DDPWROAH
Eia1VzrAFR9h31+2Q1OJu7e1Bi0pFr2xBxAoTD61O/vZHAsuCqV7jeyc9+p4aivO
Wo3bSGgTNzxbnO5mfYmrOmNxum9NfYafmeKyRM44TU6Hnp903W4AQJ2ayqP2Vt/5
MzSKuUbFLzBonPgbxd5s1801937hSa1nH9BHCt2Wv8De/SDAIfRSW/AEQ3C1RIRq
2NwC9l0B8KjcUq5U17eUrvyZ9rJ0ZdSDJenp1OaWMXv7mX5rghKe+5x7PV3gT4hO
PcHkUYAXb0Lh+gW7I7LPYOSN/ekr60y6D8uiwcN6bG1oG+FA/EB5jUnY3AdHjUCs
Y6g/5ffN6fsGnZAD090S0o5tBXe1pUpp+eSts3IuFeNw5ZdavLXJ8GBTsTHJn6hw
A28Wi0e7KqpEmpQ0TuByD4am5gj+dXj/oAHf5nAn8b7ncL1m1LuT0TVh6auTUnfV
NLMxd++gt7HuNPyRk8l0I3gQQTnHr22c1Pkwuowm+8CNXw8T7AMQ7lK1zF9nuaSX
3hQH/6UTGqRw4cUfBVqSxKwPDB5UHpql8xg6CsX8IRA2zzbgXht0bL13oXchBpyw
WBAtpnoSAjMhVS3+rW7CuJ3JA9JUqqGqRHaqWruYmxelPwsDDiw=
=vpYv
-----END PGP SIGNATURE-----