-----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.3pl2-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>
Homepage: http://www.msr-inria.inria.fr/Projects/math-components
Standards-Version: 3.9.2
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ssreflect.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.git
Build-Depends: debhelper (>= 7.0.50~), coq (>= 8.3), libcoq-ocaml-dev (>= 8.3), dh-ocaml (>= 0.9~), camlp5 (>= 5.12-2~), ocaml-best-compilers, ocaml-nox (>= 3.11.1-3~)
Package-List: 
 libssreflect-coq deb math optional
 libssreflect-ocaml deb ocaml optional
 libssreflect-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 f32e660fb35a4452c5e69596518f17ee413a618c 834754 ssreflect_1.3pl2.orig.tar.gz
 0c1f8b39e43d2b4ab386d0377b9236dcf66bf334 12805 ssreflect_1.3pl2-2.debian.tar.gz
Checksums-Sha256: 
 9a3e10cbad61c307b1b1d4a80c17e39ad3d2c52d91dcab9292f3ef2bcc525339 834754 ssreflect_1.3pl2.orig.tar.gz
 1b76c5eee347b7464e259247566d68d6390d3ab8729e5d6364adb69dedd011c2 12805 ssreflect_1.3pl2-2.debian.tar.gz
Files: 
 220592455f2076f0d50af2081b31504a 834754 ssreflect_1.3pl2.orig.tar.gz
 d38a618993181811fde04e29bf17cad8 12805 ssreflect_1.3pl2-2.debian.tar.gz

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

iQIcBAEBCgAGBQJO91WGAAoJEHhT2k1JiBrTa0YQAKcDwsUrHLDRXXLT3+K/y4EY
XktsfwPvnpMYqYUOmPg6RqFW9bwQhz/7LM2rrlatC2oXIsPpr+0HaoB4Wd2H49Df
c2CViBqa4yQwWH7qGk+Qyc8a0Pen0wHHtl4B5RzJQgEpiz40j9IvY6waMzJNj6cT
qXOlNV8AXVNeJdfoOPRSrhfF0Aqb3HKMePRisAqiUt8jgVB3a3skTNuKrr+0ugsm
1Mi/aKC1CEXkCXUZfC385B31pkhMNMoxlFqzB0q5WGvuc0A9nvSnWiWvZy3Bcvav
0fFAWJToh/+ZrE8tXVzxu+2byWbns3XKDCj9dyxVg0hCJuC5BKZag01Z7HxqivGc
Rz3C40e2TU8hhJSsVXVNVEDW0tNKaCWOf1RrJOUq72S1Ap3C9lIor8ZkScKY10sr
MOzfk7QN1EABu1b7CB2ziiIHq9MwGdqZ/tEcIfamcH7gPxdcRLNMMTcEpn1/mmx7
FrFT7Jup5+M5T/RZ9rxVzCUmIHxK1c2uOs4r1+ExqAIJJU97QGRqSdoQL0MvUnaS
aNCSy2OzPKP6r1BfZbIALhOYETogGUCCyl1wG7XRSI/dOVQpnX0lXkgd+ATyhOk/
ApDvdWqETzlkKkQOMO6jMQINQtFfZ5ca/qTpkKfUtGmG4g/k6YCLH1eXhJ9gvm9V
kwjFtE3+SwIRW36BlY6I
=D9qM
-----END PGP SIGNATURE-----