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

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.4-5
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.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-float.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-float.git
Build-Depends: debhelper (>= 9), coq (>= 8.4)
Package-List:
 libfloat-coq deb math optional arch=all
Checksums-Sha1:
 9ac6debf21e408325b0e8931d9c3dd1b25f653e1 352313 coq-float_8.4.orig.tar.gz
 4bcb09775bb16fba6a18e85af72e940d3d63b335 3368 coq-float_8.4-5.debian.tar.xz
Checksums-Sha256:
 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c 352313 coq-float_8.4.orig.tar.gz
 4fe46ae3707bf081c7556f3e8b42783a1efc990f27a11d1e9782a34a63effb51 3368 coq-float_8.4-5.debian.tar.xz
Files:
 bbc569bda4d468842d508cbeb4cd6d0c 352313 coq-float_8.4.orig.tar.gz
 b75f874f7c2cbcbbfad26b25da1c4f6f 3368 coq-float_8.4-5.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJWHr2dAAoJEHhT2k1JiBrTwLQQALb/l784aYqUZAJkgd5MVgGA
bZz0d+ZJfm7578xVJUz6CRnfWyPjEiJweHb1La4iF1SfovbdMjOa68fPNneqctrb
F9YMA9gOYaV3Y495KGg23CAY/2hWBUzuzfhxWR13apYLopCHvD6tMGpxK4SAfjoW
a2ZoaHQZFOf+Z8Up/ZkeKXUv7MuYgD53iKexR9YVecWjAZcooeE+l7DDHbDQgnYC
XsJyaCjfd5JUP9rw/OHUxFStUmT8HNAjBMmioUi+D4xcKJXY7Lnv//FPb/3m0lMI
GIRrvz2dsyZLwPwF1ZqsaLoEzjp9p/TK9PuxIfYIhnUfKOd/r1AjPJPSQHIxZqjX
wmIEB4iAG9PWaaX7dfjqXVAX7+8Z6bFH1MAkPqwewBIZpk9nhBPbiTw//Avis1KG
Cio2jFTzn4LqwLiWBmGeennvJkOubd0iW8z6CEw130ux5c1lvJwlaTmyGzryhy20
eNiLFe2fxoIrhEPda23x8YBUPsGmX5wVsN00voBWSBlKF/2PEPxwI6ftU5jw80FV
WjupvT7yrczO+qvOlXhmqaA+TlLe6ffHUEUdcGN0N4mosac55CnHwhMLlqqVf6d7
UjzFEz6bgLL2fmxXM1WG7kovYlJNeYSGAzQQJwF1jDB2g47zafEe7cfXPqY032yM
hsfqVzSTkgChCyY4nCaV
=jmGU
-----END PGP SIGNATURE-----