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

Format: 1.0
Source: coq-doc
Version: 8.0pl1.0-1
Binary: coq-doc
Maintainer: Samuel Mimram <samuel.mimram@ens-lyon.org>
Architecture: all
Standards-Version: 3.6.1
Build-Depends-Indep: debhelper (>= 4.0.0)
Files: 
 5038e36396645ef1a54e0338fa844178 1679207 coq-doc_8.0pl1.0.orig.tar.gz
 52d92458ed2ef80f365a553836b04cb5 3209 coq-doc_8.0pl1.0-1.diff.gz

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

iD8DBQFBTFGh1cqbBPLEI7wRAnOeAJ0dyILzqfhj7wp4cCY3kvp2pneM5wCgyiRZ
Ch3dDzpdCHLslJs0WNOOEgA=
=6X9q
-----END PGP SIGNATURE-----