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

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.13-1build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 ff1b149144afffb416196f906fd0bfe7862031aa 2516 prooftree_0.13-1build2.debian.tar.xz
Checksums-Sha256:
 b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz
 3f439c46b90ed268b3396fcdf63f4ac61bf842bfc4ff33d06fba99291f0bc081 2516 prooftree_0.13-1build2.debian.tar.xz
Files:
 c6a984cbdb0c631a2fceda2541df02b2 113178 prooftree_0.13.orig.tar.gz
 d3d9078d4a541c08694246dfd3cabcad 2516 prooftree_0.13-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZeaggAAoJEMrC2LnNLKX5gHYH/0QLx9K8ivXPYoylsP/iDO4P
t+iNvhey/wb8mq4hVwQ+U5jSOr5aYqVFQkIEdEz42LxpBnZc5nU+skTMSDLZK0fG
9EZCInAh+iktS+rsQD8UWgSwNsEXCxrSBi0FtN4CU7c2yC32YFtpIkv9sVHNKYJY
3TfTR56aA0NwIe1FGiWfhpeEjOt5ry1KFbh5ubrpOqkyONDvQA6flheRgJQKvONH
V5zlXtOz7glx/37znFjRxHAOnhmPaC662Av/Hu4rZy2CNWcRCdXE6OrOGqlflWmw
K/tjv/bsYI69/9z1udTOcZ2oWdRAUYFJgmMICT3gPGboc+UMU+PQUrMUaZQmCi8=
=3fe/
-----END PGP SIGNATURE-----