-----BEGIN PGP SIGNED MESSAGE-----

Source: coq-doc
Version: 6.3.1-2
Binary: coq-doc
Maintainer: Fernando Sanchez <fer@debian.org>
Architecture: all
Standards-Version: 3.0.1
Files: 
 0a1707b6ea9ba1840c2cbef18a372e59 1349392 coq-doc_6.3.1.orig.tar.gz
 71fa81583a62af63b35e27b8ec906019 2403 coq-doc_6.3.1-2.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: PGPfreeware 5.0i for non-commercial use
Charset: noconv

iQEVAwUBOFuBCke61tg/7DnrAQF+pAgAoOJ5+3mIKJTcBayTqCfKmQ/lQ3mKgWpC
ozQflmQzr6tcEhlPYUIXveLx3PcZL4Ceg4BXi0XkgEaknErX8newPp9vKSLrxnNI
W2VgkkWxUmmZam/zO7lU8SvOddOIjGvGzdnJSrfl07PcwC73ASkUx8nRJnrQqOfM
SBN0Vh3JYki0y/+N4CTuBmUQSgELcUo3ZM87hfSJFTpEvUu3sH6DWWhdRyO8IrGC
FGrzdgqKhdV0+cEfOaiKW+bDNdxgdxBQJbeEBIXfmEP07yCbMiieqAUnWECsmKJt
67Z5Dn3PUpmd6pjG4yXDyh3b7SI+eR772DxtVwrA0l7/eGBlxmx+0g==
=UQXR
-----END PGP SIGNATURE-----