-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160

Format: 1.0
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.2-1.2-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Samuel Mimram <smimram@debian.org>, Stephane Glondu <steph@glondu.net>
Dm-Upload-Allowed: yes
Homepage: http://lipforge.ens-lyon.fr/www/pff/
Standards-Version: 3.8.2
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-float.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-float.git
Build-Depends: debhelper (>= 7), coq (>= 8.2)
Checksums-Sha1: 
 ab9b01cf953e32c100ed21e9980adf68553aaed1 322949 coq-float_8.2-1.2.orig.tar.gz
 5c728fe6e29bf1c42f8bc56db78c862bbb60e071 2733 coq-float_8.2-1.2-3.diff.gz
Checksums-Sha256: 
 df61debf5afb2cbf44be6a605622b1645ba07be1912bb154ef79009d7eb235b2 322949 coq-float_8.2-1.2.orig.tar.gz
 e3de79301f14ecdd04606181e7b6edcfd204ff27480dee59a77b9b32d5da8c10 2733 coq-float_8.2-1.2-3.diff.gz
Files: 
 3b565c527a3af70a062ed77cf82a4848 322949 coq-float_8.2-1.2.orig.tar.gz
 dda115ea7539ecba4c6237a77a2f5724 2733 coq-float_8.2-1.2-3.diff.gz

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

iEYEAREDAAYFAkpPSDMACgkQBg8odvzgPar5VACdHuoXhsF5jLrqddW4B6tSna2w
1l4Ani5EU1rOJfxEEGcCjTILQSKptLKe
=QzIt
-----END PGP SIGNATURE-----