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

Format: 1.0
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.1-1.0-4
Maintainer: Samuel Mimram <smimram@debian.org>
Standards-Version: 3.7.3
Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/
Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq-float/trunk
Build-Depends: coq (>= 8.1.pl3), debhelper (>= 5)
Files: 
 2af65050cc8cf2b590fa1cf3b73506cf 320981 coq-float_8.1-1.0.orig.tar.gz
 f47fde2dca9851aa1c4130d857323d75 3866 coq-float_8.1-1.0-4.diff.gz

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

iD8DBQFHkiJMIae1O4AJae8RArQjAJ9KjV7hvuO3cvoHxuQ9umDxX+0inQCfXL4L
jHPM3EV6ksAKAW+xtS+/u/I=
=siqY
-----END PGP SIGNATURE-----