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

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.13-1
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://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git
Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/prooftree.git
Build-Depends: debhelper (>= 9.0.0), dh-ocaml (>= 0.9~), ocaml-best-compilers, liblablgtk2-ocaml-dev
Package-List:
 prooftree deb science optional arch=any
Checksums-Sha1:
 7a594f25f09301fb8318c2b84dba515fd3f6ae60 113178 prooftree_0.13.orig.tar.gz
 1080c9f1dd19d813e08de05b261852c3cc9defd5 2364 prooftree_0.13-1.debian.tar.xz
Checksums-Sha256:
 b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz
 8b0c424711fd5efaa97b369a5931d713dda3ef457d91a1f132bb3c0ac102a2f4 2364 prooftree_0.13-1.debian.tar.xz
Files:
 c6a984cbdb0c631a2fceda2541df02b2 113178 prooftree_0.13.orig.tar.gz
 bf5378bd2ce8a597475e7cd68ffb6c7e 2364 prooftree_0.13-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlh6aU4ACgkQdFxHZtTK
zf8QEw/7BfNUZ1Bmf+lqcxR3oUeXU5PCE9vlqiGkz0899tMR7LhrxD+sy17MwmuD
+W/k6TdadIP/CeCoWWhIHT0xoKgn0Pu7Wgeo3Y2FOGToxmdynL2YJDrMeiHdLPy6
DR1AGJ9Xu6xl1PyPwWMH0oca9PQHdG4Z2bmZ89ljmdNhu8HFaC65oOt+SnRrwpMN
TGCz3+PSTKWwkCXMeZKJP8mMWgyL4mogmzM03ankSWmY6dyMTQQ0VIN0164o+CdU
4M7+eIiEkq5P8IwGe6zMQcahiAQwMQIDmi1EegnK1aKkvUFSAPf06mdAJrBNSmUm
F4hKFB3sTmcvJyZSWOLPS7+h7nxFy32dSB3n701lhbObOs5JMVAdCqrrJus0oYej
uUkfu62/1V2lF/zzQG4LqvO/Oq2YW8yVfcOHaH+ytnF1D0w2mgGxWT2sH9SF6ENj
HVjTS6GYmGMNDcuvNWPvvbjD0bcdFlHropSkWBsPQWmsG4fOPRjtRP7lEd6DdNCG
X6FwwmIJS7SQywIHxqkqmnikHBTKBISq5zVGAalMfSa28WaoIrAqz2HJnPQRcNSD
YDFo1xiykWuRYwIrMh2VkFO0feyp32YRhahPoX5wL7z73qCgy0pxRoe59u4CE/+y
pKLVVnn1hBdkpcivRx3CX18gglJLZJm5CBQ0j76XygYSMUbaJCs=
=uj8c
-----END PGP SIGNATURE-----