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

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.13-2build8
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
 771afdc8c01a338eb10b130a91beefb830146c49 2664 prooftree_0.13-2build8.debian.tar.xz
Checksums-Sha256:
 b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz
 cf34829112e558e667f6653ba91350c07c25fbac73fa9731a2a519a3e8d48167 2664 prooftree_0.13-2build8.debian.tar.xz
Files:
 c6a984cbdb0c631a2fceda2541df02b2 113178 prooftree_0.13.orig.tar.gz
 d9c42f17224b57503731d871bd7ac5b3 2664 prooftree_0.13-2build8.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPt/akACgkQ808JdE6f
XdkZiw/+PDI9zDY/ikPQq6ZZgoqrcMVBl7JsMQEsESZrKpLfGgEYggzCVun5EyZo
ANVfP6kdlNhC3fo3uMPqzTKG55jg8/2yq79IMbRUnK/v+BU/e323NwEHK5rfGyPe
hv/HSwD5YLXVkrRUJxuR2HjvcltzPKu5ChD7esERZYgm/So14WnUwwJB2XMX2MhN
XO4n7pRXYpkwcnUF6ogSnAV1sae8viZADyUjOh80FTbF938kE/GDZEH1YoxwXCV1
bZcm/IqLWlY3xVl4LVi50HYd3tlABU0PiibpGJeydgMJOk44vK3ejhjN67UlZV9K
wPVIZGAkCJh9lUeEAfR48Nf5nvClJBYTxDsXgaptonnqZvTCEDilgn4Jbncm9h0p
r2P5/moKCaAZRBmoWR6xP+/NKNyNOHb4GoxBZwW58ayYKlBQnItcOpOWx7+iSsGT
onKdgYTHUmyLsqMuBtZ1vRpIXsbkzu/m2PCcb5kHCHnIbWuWJYgIYtnKWnzzWJdt
BF8jrk4e6qztoRXHi+SQL7nC8yGHHAPpqEiigQD1YHLtu9JRVIm7AIbiCBRZIPOh
hFgXz9cL6VuwA1SQwjMBHzx3+pWOuF6lJtV3db/1eqvy1GWCWbk99rPvX3+AnpOL
gX/m0COy9QU9pir5Ot1cLzzBJQHLudWKzN1ujogi5Q6HaS7osbg=
=Bh3b
-----END PGP SIGNATURE-----