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

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.13-2
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
 008ba591d7425e40a17b2c93be1dee9d46bfe528 2464 prooftree_0.13-2.debian.tar.xz
Checksums-Sha256:
 b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz
 fa84356b16d6388816e42d6c7b3f909739cbbea23eb360f12ba9c5cdf5c35d1c 2464 prooftree_0.13-2.debian.tar.xz
Files:
 c6a984cbdb0c631a2fceda2541df02b2 113178 prooftree_0.13.orig.tar.gz
 180dd0d00a17cd94eb640365893c9ac9 2464 prooftree_0.13-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl679r8ACgkQ808JdE6f
XdmD4w//TDcT7QBFSM3Qtvxcv6EWCOCRgKQWLXReYrjJW+7W5KO7hAROnC5ljyk2
LIKEmPh1230PwGYTft4xfjkEvJk7Kn7PAAJwZd3tCHmkYX62Pr3IGO333C+04NOE
U/eFPFwYk9kjRTFGF6625gbg7WQqkTQbr8EeqNFYYyH0N5f+JPMPKEWz4V1k66/e
KQP3HA14XehniVmO8P2xnbvz9vlK4T8SEa5GXAgt5yYagBtYBBnxHuF42njtH5lQ
ZfhOqYTE2UgUN8ASlibd1i3z7MET5PRe4jUJZ+9OELTV2Jy4M2WezMYpIYkrzddu
7XWsYGDRP0NpTX9YkEExW33XEAuXAHXfCKOFbb7Tb/JZTX1k/8Kyf3S0MoTcnlFF
bgb2CbGi7LqFySloG6cFmiLyv6RqPP7BdFHI2DXMjl9SRyQAjS4yDK+t+1GFEq0f
P2qLbqTqjfeH7cvTp89oyZpH6UTQTj5bjAKGLRNNfzeo4rtzOzMxQqZxLoJnbYOB
20Kgm9SIx4teCkFMeb8Runy7TVJf8kyfvuI0zzo2QMTf3fhPgu3R3VgIaAVIpn26
2cVc5d7pUp4W4peJWjZW4gXGFQHxGASc+mmhtKyWdR/NrfZLK80/ebr+TW61j44u
InEU36nLly23Ig+U1/13MGfr5f0/9xNQ//JBdbw+QL7zRrprXgA=
=I/HQ
-----END PGP SIGNATURE-----