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

Format: 1.0
Source: coq-doc
Version: 8.0pl1-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: 
 b0364a4e461bf185b173e1b5b408010a 1643275 coq-doc_8.0pl1.orig.tar.gz
 ba74c4c348cc3f0b6d791dd436537694 2854 coq-doc_8.0pl1-1.diff.gz

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

iD8DBQFBIICitzWmSeC6BMERAlmeAJ9HVVnqt4nEn4TsjQwX0BVi71M0YQCgnNOK
MGhK7+BlDHUCThZ78eIv+eE=
=Nccv
-----END PGP SIGNATURE-----