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

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.3pl1-2
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: 
 04e24664787b7f7a8a674eaec763171e20b38b47 359738 coq-float_8.3pl1.orig.tar.gz
 7649f57124f9a2643a4698731f6d006bf8ced644 3262 coq-float_8.3pl1-2.debian.tar.gz
Checksums-Sha256: 
 f56ee9c5c1b7ec3fba4299f80b01eafd76a1225a2235050083a1b72c539844b0 359738 coq-float_8.3pl1.orig.tar.gz
 639898a7df238967542df39450f74100e7a361c84f1034f6498fcb4fd9b03e3f 3262 coq-float_8.3pl1-2.debian.tar.gz
Files: 
 155de5063ffb8296a0bcb219c4eb99b3 359738 coq-float_8.3pl1.orig.tar.gz
 3b77ef8f6176b5842f4a9b860a71bf95 3262 coq-float_8.3pl1-2.debian.tar.gz

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

iQIcBAEBCgAGBQJPVczBAAoJEHhT2k1JiBrT9DMP/jzf4CcTpYffX7y30DjnniJt
DOIORZxryfN8/o1GKzVdw+h79H/ZKVpC2b/m99mg7nRzX70dWLCMollyC+15tBRc
FANZEhSnIOQhXqyILG7ecHuKC04YKB7bz7HE0Xybt5L3FMLvvStqvwZIIFnipLJC
B1+vpFuFRM6M5NPmDFmSSC33qcA+wTx9cVwR1aG7YFS8Y3+Jl1qR9lN1xn9XfyVX
cPP8pA+E4v1KotchcjfRuHwrWZ3CsyPfgMZkVFdyf4cJQee2eChmC7R3+fn66PiI
YIWDNo1QjrH2Pjkq8G0ADdF5N9bMJPEBgQ+WTKQ3xZWS+4j6pYUFDzVdDhptBPji
08NMJcyypCwayeMFPvJETvOeb1aAa3FVnywRLPn7xU4jrCDbbAi9daW9U/y48FJu
OKa/4y2zxmR/tKdCWExEKm6OGMEZaGj4QSsirNJeZHE4sTIX0go8ILRN6KYnQLBq
vaAFJ6xUw3lAH7KgWalcBqxbewl79/wJv5vsMqquizf2oFtOGDSMIHCkPzc/Oils
8sx3pobDD3vES2gJsbas70juIoJX5Dg4cKILZ9oeG6sSHAl2dxtGKP6Omsu2u9aL
pCLlJK0FZHQGGIrcEK+cSpPqMVxFQ2sT+P2hGj6TIhruxZiPq/utep3BZ8FCDO54
BpqywuAPhaVK2YMybIw8
=aYGr
-----END PGP SIGNATURE-----