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

Format: 3.0 (quilt)
Source: hevea
Binary: hevea
Architecture: all
Version: 1.10-14build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Ralf Treinen <treinen@debian.org>, Remi Vanicat <vanicat@debian.org>, Samuel Mimram <smimram@debian.org>, Sylvain Le Gall <gildor@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://hevea.inria.fr/
Standards-Version: 3.9.2
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/hevea.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/hevea.git
Build-Depends: debhelper (>= 7.0.50~), tex-common, dh-ocaml (>= 0.9)
Build-Depends-Indep: ocaml-nox (>= 3.07)
Package-List: 
 hevea deb tex optional
Checksums-Sha1: 
 d3b07ad59b815899d953d18b480faa856b77077b 305269 hevea_1.10.orig.tar.gz
 bf86ed33f5e44580050ccf7b098e41f980ff3f89 19189 hevea_1.10-14build1.debian.tar.gz
Checksums-Sha256: 
 c2005c2737a20420e5aec535f27820e20f2d36f9a81d2b507c93737fe1e76ff3 305269 hevea_1.10.orig.tar.gz
 7cca2b88b7c3b76075318995a125054d436e094e687c51db1d55dee157640ec9 19189 hevea_1.10-14build1.debian.tar.gz
Files: 
 24a631570bee3cc4b8350e9db39be62b 305269 hevea_1.10.orig.tar.gz
 9072c3fab89c4d3099b7185a4e2ac2d8 19189 hevea_1.10-14build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Colin Watson <cjwatson@debian.org> -- Debian developer

iQIVAwUBTsbFgzk1h9l9hlALAQhwUQ//UqbpUdqsJxIrIBS/3iq6ul5asKpp23ig
t1u0x2RT1SC09YsNHcQCVFH5EgJUEive3DTHKz9X5P6jSn+CUFtdgi5wHAaHFPhP
Ir2OdIQKOKh8We+UdYXJ+flCpprqVnULSTtqhb2uHmqupr0C+mv37/WuO/w0duFe
NAFFRLP6OMzECGAYi5WuLDtfZAPZVPjaFYyHzlOqRmf0Ub9w4QMvCWycHev3V/Cl
hMWnWI11miRRjdv6WppO4ngZauKCXpjIdsr1dIVx9AsjtkTM5LZgffKWmnFndCB+
MaU9xeBHB84m16BwJQDFgJrsaBQQooyBSv2Rci8VnPrDR5CFVtYAbLFGMJefxB3N
FFSq/lwBVxi0ZD1nTtT6snDnQoDHSSdCUCYYNAL/hUeLIzp/GFbW8NMXu8mr9XSr
ZM3Thh/JjXEpMz28EPe6Evk4KIk+T0rSSfLK0acoRF+xb93/vFpFTd+kCpU37LtW
ckuFywbZEnDI1fXYKA6qnulRoJRtQLeu+XlxW2NefuH8bnw8pAnqzuHVXRnOTPCL
dijO59fFdmQ/zb5bcTWWF+OsvQF7aY3fNzp4BmtAZJ4KziwESam0bZs9SRfJlb2O
piNo3fqIaEEKq0AvzL3edSGMaEZHtBnQy2L9d3GFNOQSQuuLazdhST8eSBq3jacm
NymMJ1RpmPQ=
=D7r5
-----END PGP SIGNATURE-----