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

Format: 1.0
Source: coq
Version: 7.2-9
Binary: coq
Maintainer: Judicaël Courant <Judicael.Courant@lri.fr>
Architecture: any
Standards-Version: 3.5.3
Build-Depends: debhelper (>= 3), timeout, ocaml (>= 3.04)
Files: 
 7262badbd298f5ff81b40c4e022d0d6e 1154813 coq_7.2.orig.tar.gz
 575239c39103fcb51bfa8525b5403cda 4657 coq_7.2-9.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE8bVuLtzWmSeC6BMERAnM9AKDXO9bTjmYEPa9L5OJRHO+vSYRg5wCfdY9Y
ONmYNdqSEUteGX/oFaVxdwE=
=IyD3
-----END PGP SIGNATURE-----