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

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.4-3
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
Checksums-Sha1: 
 9ac6debf21e408325b0e8931d9c3dd1b25f653e1 352313 coq-float_8.4.orig.tar.gz
 c493033b6a13f52b4048f01f8ec53c560706a08b 3332 coq-float_8.4-3.debian.tar.xz
Checksums-Sha256: 
 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c 352313 coq-float_8.4.orig.tar.gz
 ade9e710bb7b374f8a595f2aa46dbe62f49196a1aca09827caeb20163c39772b 3332 coq-float_8.4-3.debian.tar.xz
Files: 
 bbc569bda4d468842d508cbeb4cd6d0c 352313 coq-float_8.4.orig.tar.gz
 b51b1970f9181d9617a14ef486741b3c 3332 coq-float_8.4-3.debian.tar.xz

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

iQIcBAEBCgAGBQJS3NqSAAoJEHhT2k1JiBrTF8cP/AwX/rNEIlzGfIgMR+lNr1o4
zCDANZMIcpZNvvRIP0a113avppI4MeKhP2Nhv3WTLEwf+bv9C0VAFkRx33lxpxlU
gSIeLsOgRogZFcHnEoOnFVSatJ6psBSUbLIEDeKPVMHIwsLv2P6lFkKdQGqmdlFL
aYkFK1TMZvE57IiIPOo7YHLO2v1j0IubFZpFGOh2v1ypvo6iepisqy10kVnGi9xi
98BRbDoQ7RhZtawKrfbFIam2bZBl4nMK6M1Co5LiYAtX5HFgjw0WUwXDLk1wVm4w
cI7A9NibWQykh17SX/7F5Il7FInQfxnr2NPHRXEQMWt9Cs1H0YtRXYJFbOpwrfCv
0DKNJ2qWmUFmrFZIn35shBS3lhaVJNjbOcXRdD2UqKv4TF7EWKfr1knxfgyBNNBZ
ne2OQR0wP2c4qFHNrOWaXHjqbbuMtQh0iHbpkaTXDBPoHfMbppJj8d2Lc/WsshqC
7c8zqxEp9hjGza/vIHzyORBWHymsps8cStAMD7cJIynvTT3RkHkC88W8QIeVzuCC
R3hx17GPwTvf+omHE3pYPK7R4lVnTleEWtH9DryUpRnW/HW4j3J6ZBOSy7UemVqx
J9BK779TdJWurR5UN2ys7PoLeDO9QnjPNm1XaR8C41DO6XvfsVzJP2BgBI/35v6q
p3cQ+IKAyo4NChMX4fuw
=4AB9
-----END PGP SIGNATURE-----