-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.2-1.2-9
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://lipforge.ens-lyon.fr/www/pff/
Standards-Version: 3.9.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.0.50~), coq (>= 8.3)
Package-List: 
 libfloat-coq deb math optional
Checksums-Sha1: 
 ab9b01cf953e32c100ed21e9980adf68553aaed1 322949 coq-float_8.2-1.2.orig.tar.gz
 03489224d910c6e06c7db732e2c3584af6b6bdb0 3474 coq-float_8.2-1.2-9.debian.tar.gz
Checksums-Sha256: 
 df61debf5afb2cbf44be6a605622b1645ba07be1912bb154ef79009d7eb235b2 322949 coq-float_8.2-1.2.orig.tar.gz
 043cb19c0d5519e36f907f25db54034c4abea0f7c98818ce2d0dd4aeabda7a7e 3474 coq-float_8.2-1.2-9.debian.tar.gz
Files: 
 3b565c527a3af70a062ed77cf82a4848 322949 coq-float_8.2-1.2.orig.tar.gz
 359245312c57a6c3a1f6ffa6d79e79b0 3474 coq-float_8.2-1.2-9.debian.tar.gz

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

iQIcBAEBCgAGBQJO91qlAAoJEHhT2k1JiBrTrOwP/R0VNqwWZ5tCrPpVCgtFqRds
RteZcTrdtxW841TX/29tp27csbJJLcXYkZ1CEb0nFLi8mQHKXZmG33b4pN7IjsSy
6bcEeD1Zk6Pui5KUxHuqp8MBBkv9eJV9c1PTzChcqZaYRnc1NOntf5w3Anayr/Bq
o0Y1D/AnnyeFhXI2rqaxwxuZf8ER1Pkx/EaEZj/LjyGbaDbEmpk+ARQXRuzDW/Vl
eW4k2rYuVCEDd+Q+/5254VasF0NE1OEUZ6ybdGSwo5qyBEyWPYNebkbRhLZ7JMxg
6xvu0pApAW5SMpDIhqazgs7EoQWB3c6mGKeYaTSpRc8AXuY4ayVlduL3+Y2fnZs0
31ptC1HrTV1xfS1+wdS87bdqlLfgXyXUBCib+n1Jvi24w/9z+2j2ae+sMOyXANDb
VvwooiTyE7E8iEMYFvG2l0X0+GriF/Gt3JUhx46C+SAhztA8Ouee3AbHNVE6EfTY
0R9gl5LPkE3ii73UzyRk0J0LeKuERE4WnCvJGjHbHyxC+HboFRaDf1u3nXE+OfS4
r7wQvED6jx7CVO6SpdkW6oncB9+oLjQ07nxZaDJH2zNC6EV5KitdzNwOS6R4TjDf
tV1YNv6oYlqxHiZoo73j/HyB6JVdNJdXEzZHICvJ7BFloWXw4k9PdlzOi/R1ikqi
kSu//XMhrj5dTo93f/88
=01l8
-----END PGP SIGNATURE-----