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

Source: coq
Version: 6.3.1-2
Binary: coq
Maintainer: Fernando Sanchez <fer@debian.org>
Architecture: any
Standards-Version: 3.0.1
Files: 
 2538899a58670945dfa8f440ca80bffe 1080894 coq_6.3.1.orig.tar.gz
 01f3cc8d3eb2dca66db0d1051abd5ef1 3023 coq_6.3.1-2.diff.gz

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

iQEVAwUBOFzXxUe61tg/7DnrAQHxWQf/ZH5VJbzSBFr7phm11+I9FntCczipuRga
eM65VJdRv+YcHOmvGSOpciaOMYO45SRKL5N5oHsXYcw6JiThV0bobAAl2Xo3X39P
hL+9J9UuuA9JLQvHArshGyheFZK/a1RasUc8fZdz1SNwGGJYgJ4TOQZqzsv4BbUk
/tVd7Xz/R2bvn1139adSlTigTcFzPQws9ghiQ+2GUiVFEYflEf7p3ix/FUYAUqEg
6l413vu3QbfLjCZm4TriZpNA1klog8rvNeBzVSOpH6aqYwxPye6QkVv81jl1CZLA
mZqeNIr1KSP9D666hnj8RGJAWyL1JjbEpnWGffLRiH6a0j6H5ZBWXw==
=2lI4
-----END PGP SIGNATURE-----