-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: prooftree Binary: prooftree Architecture: any Version: 0.12-2b2 Maintainer: Debian OCaml Maintainers Uploaders: Hendrik Tews Homepage: http://askra.de/software/prooftree Standards-Version: 3.9.4 Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git Vcs-Git: git://anonscm.debian.org/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: ff838fd6ea7b32f382d955da4374b2d8a36458bc 103680 prooftree_0.12.orig.tar.gz 334350ca3022e707d7baa4a8a312904462dfe2b8 3100 prooftree_0.12-2b2.debian.tar.xz Checksums-Sha256: 952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723 103680 prooftree_0.12.orig.tar.gz 46e02ee9579e32ea4bd0de34aa98a5bb612148118ee17cf480d8b5a320470ba0 3100 prooftree_0.12-2b2.debian.tar.xz Files: 1ccae43094ae52a85a52bff0f9e22495 103680 prooftree_0.12.orig.tar.gz b77d8561cd358736c750fb6f5930a07d 3100 prooftree_0.12-2b2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJXbPgUAAoJEKBN28suwKn/vFMQAK2Qfy0qvHMinN+QQBTnZZsU D58N6OQS7di4Q1VhXxmgHwxvrh42qbzj8ZEjSjZK1yBGxmnv68QXjCKBL0OwcM6F NyVHg82nA4x3RHixYzDXRe/dgK2p56ACbUGucnoJ4i3cCiK2ikc26LZe37jpCEva c1i6A/tnDDCxfNmWiJofpYTC+frvNTv33b/Ao1XRvav/qgrgdTkrEKACwug89Ytn 2thz/9crOTn6hsd76D9aTMfu7myJPEROCxY32i915qs0T8p9fTvK3ktUk2kJlgbb kukW5zZDk8nb8hm33mc6/MnVjfbReAwFym9Lp5pFf2DAUciK84UHq6BBbFEk1N9G 2J5hz4gbhOVsBPOhJPOqus6w/oIwlihJKdVqpYoBAoETWJ4Wtm9q0evoYMFlyK/X Fttl9ARL/w+xwMCEBAsuyAOMtwq5AVCdTJvOh9SHxSBvDdmWUWl5s5HtniUy/qpY 2vlgynS2Aj+kt79D1QVlq8724ewuZt9jBEZ9GFKl9r2pDkAWJQX/Hy9lha0dP/0q yXdAXMfcpXEvf9HnTNXw2AghBOBBx+yVo/AaN60yAEQ1/hocid2AgvHExwwgc6Gw Ug07T0v4KRyj63e3jQPSy2oSwYpZcr+CItln6lGxbpcFb2eLVtJX4Sl5BDNMYSrS TQ5Mqew7Oq3X9wY48Ly7 =R1SR -----END PGP SIGNATURE-----