-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: coq
Version: 7.3.1-3
Binary: coq
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: any
Standards-Version: 3.6.1
Build-Depends: debhelper (>= 3), ocaml-3.07, dpatch, ocaml-best-compilers
Uploaders: Ralf Treinen <treinen@debian.org>, Sven Luther <luther@debian.org>, Jerome Marant <jerome@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org>
Files: 
 a1a927e014470169b0e0b2d093715e66 1244554 coq_7.3.1.orig.tar.gz
 7e3c6aa74a21797abd554b929beef68b 8521 coq_7.3.1-3.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)

iD8DBQFAdtdLtzWmSeC6BMERAoV7AKC8qPNA0DBqUuFWTd+brsIr2f7LsQCg+LiI
HX96dl2gAvNGH3yKBI1KI2s=
=mxni
-----END PGP SIGNATURE-----