-----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 Uploaders: Samuel Mimram , Stephane Glondu 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-----