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

Format: 1.0
Source: coq-doc
Version: 7.2-1
Binary: coq-doc
Maintainer: Judicaël Courant <Judicael.Courant@lri.fr>
Architecture: all
Standards-Version: 3.5.3
Build-Depends-Indep: debhelper (>= 3)
Files: 
 bc417df57284e08e29073022db1884e7 1218177 coq-doc_7.2.orig.tar.gz
 7c7b5d46f5ee94167857cee9dfd9e077 2443 coq-doc_7.2-1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: Weitere Infos: siehe http://www.gnupg.org

iD8DBQE8v5toGKDMjVcGpLQRAukQAKDgY1kYrdTj5Fha5MfjPzGlf/sN9ACfVjDf
M1JuCvbvA5Z9zyuT77DzjsM=
=6BNF
-----END PGP SIGNATURE-----