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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-ocaml, libssreflect-ocaml-dev, libssreflect-coq
Architecture: any all
Version: 1.5-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>
Homepage: http://www.msr-inria.fr/projects/mathematical-components/
Standards-Version: 3.9.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ssreflect.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/ssreflect.git
Build-Depends: debhelper (>= 8), coq (>= 8.4), libcoq-ocaml-dev (>= 8.4), dh-ocaml (>= 0.9~), camlp5 (>= 5.12-2~), ocaml-best-compilers, ocaml-nox (>= 4)
Package-List:
 libssreflect-coq deb math optional arch=all
 libssreflect-ocaml deb ocaml optional arch=any
 libssreflect-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 131f4e2746b4a97627ae91a9f980f61ec42a00c9 217833 ssreflect_1.5.orig.tar.gz
 8fe72d378584f968f68975e159618ee61a371f9b 11460 ssreflect_1.5-2.debian.tar.xz
Checksums-Sha256:
 bad978693d1bfd0a89586a34678bcc244e3b7efba6431e0f83d8e1ae8f82a142 217833 ssreflect_1.5.orig.tar.gz
 30b3a9679f09bc1430663304b09f995099274860b675980648e1a52f845a13b5 11460 ssreflect_1.5-2.debian.tar.xz
Files:
 19155108bd73f5af98add53b9e418f5a 217833 ssreflect_1.5.orig.tar.gz
 77551128f0403885dbe04b529c1f8332 11460 ssreflect_1.5-2.debian.tar.xz

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

iQIcBAEBCgAGBQJT2LKLAAoJEHhT2k1JiBrTh6QP/0MYP264577Ey8MJH+XWm+zO
DDrqJjZ0m5w3J+nTnQAWwga4HYsxaRmS6WOzuRtCdFb88qyakoLivbdurZT/XbaE
yn8FJ4yIWYvYyvGhlQZSd5Z9m3GJnGfj/AJA7PoWXfg90mlHZOS6UEWreg85cP4r
5HapjEU05C1n+G4GXdQYwjqSz/kXspW3nWD02hSyiaT7ulYUGND1aaOd6LMxjA0+
eLan0zirZXMp1FKxre6YJYpQO3R5PTJPFcHXECF/Jt/OmwyXiTAX5xVmPGQOIOf3
kVgPxoCX1wAgqEknjAqsKx0aD/qYGqoozbWUtBqcMPFL9Hwltjw6z3B/J1D680WW
ooqlKN9ozBjtwtAaF+JlWY46Ab1PX5elAVeleTbp01ZgVSVf6apMEfGL+l+4M+vo
wKATXaEBf3apaSBQauAYRoa+fmv7HM4CxAPuj+x698M5FQSVUaML1kTB0RHtoSX+
T5UImAkDNh85rV/Paeu3NaxDILNMeOcmy+empIDM0rFfSeqMtNvMMXKi3BVmVqRU
qBDgG+Z+dqKqvHlel2DSMq23nWm8HHWn35WAjVyuJ12GW7gB6Gznq+a9Htaf1i9l
wApioBDWr6HWrXH7lO+qoqkndZf7dPHTQCrD9248V3+nhPBXU9mYCmij6ej/GRdr
RPbWwas727pPqQ39QOs9
=eFNP
-----END PGP SIGNATURE-----