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

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.13-2build7
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
 81aab334904614c1d7822195f921308da350f46e 2652 prooftree_0.13-2build7.debian.tar.xz
Checksums-Sha256:
 b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz
 1d9bbcefd428b8f1a68d10dbfb57713594980673f21db2426ee89c0ab73f5d48 2652 prooftree_0.13-2build7.debian.tar.xz
Files:
 c6a984cbdb0c631a2fceda2541df02b2 113178 prooftree_0.13.orig.tar.gz
 517454da9eb3daf2261e99a47c4ad452 2652 prooftree_0.13-2build7.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSPqoACgkQ808JdE6f
XdmYyRAAkbhSVWxvYDbT6oMMdLuoURepJSu9zL1Igpb+b5O2tpQRUa8ewrTZWNjp
EEnw+wZv5IjIIxFf1KTZ+XeoQapiY+Y4Vyg8ulQNS/tM1GKsm/FjFE62NxCsLotv
CRfbdt6SQQ7kBFo/q8e8Df3tOHklrB2UiYuQ63WxtHnmboik9LxfKzGlkiuEVF/4
tcrHIb7KNWe3yQoo6U6+6tK8pKvayzXpMnLP00DFW9dguGKTz+JqCuew16HNCaHR
y6Zh9tUqA8ArY2CfD2g/2vVxNn/wGAde6rsW4NSwL7/xwBV8j4d92GNshmj4NJ12
R9zbHwszve6hb3E60atdzJvWaFz/Fho5mHm2Z1tXIqM0SFq29iEVA4KEszME5QYV
bt6KpxC5B4AwqPSmihVWaffmOtoOE0EElgJrIdfo2aNxMAOAFYqjJwN1bSgAe8yT
2BlJwQthY2R82Gaf4xPl1fH9aV+PToxQ5TNXez5ZFz1OuwNKmviwcMLaDu2QGxwn
I5HGmKNlLhqHgFr/Yn+4OKpJfOJLD33E3NvVVo3PiTrSBCzPvr5FeGOHL9gaueuX
kWp/Ws3Ph7B6aLlXfYiiIWQDH+PgTqigGqGBOC1dFWC9z393tCW4J77eE5OSuqlX
2J3+c9x9HKBtvliKyCSWrCjXCmHIcA2c4YrN0nGliQdU6pt2tVY=
=4H/v
-----END PGP SIGNATURE-----