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

Format: 1.0
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.1-1.0-3
Maintainer: Samuel Mimram <smimram@debian.org>
Standards-Version: 3.7.2
Build-Depends: debhelper (>= 5), coq (>= 8.1.pl2)
Files: 
 2af65050cc8cf2b590fa1cf3b73506cf 320981 coq-float_8.1-1.0.orig.tar.gz
 6e691446c2f5a908ee0a75fd07dc9743 3768 coq-float_8.1-1.0-3.diff.gz

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

iD8DBQFHQLYuIae1O4AJae8RAoIiAJ9TdKZqCIGSaTnXa8cfv1KFl8BWCgCeOR80
V9r4ryGvCzHO6jG00CKfTAQ=
=YUbe
-----END PGP SIGNATURE-----