-----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~rc1-3b1
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
 libssreflect-ocaml deb ocaml optional
 libssreflect-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 bce43c8f674746516775887011e29cbc5ad86ead 203960 ssreflect_1.5~rc1.orig.tar.gz
 fed52a3d6dc68d1be9a8bcd3322a7144926b88ab 12560 ssreflect_1.5~rc1-3b1.debian.tar.gz
Checksums-Sha256: 
 f85d8ced769b6c38a499681a52480f2e0b9b7a0a8f028a3d35ecd1794ae64fc2 203960 ssreflect_1.5~rc1.orig.tar.gz
 c48b929dea65f39d960a65fd46d01b1dc3e505afff78112591f141cdddba9182 12560 ssreflect_1.5~rc1-3b1.debian.tar.gz
Files: 
 c08130242ea2cfd1cb4ae8754fa411fe 203960 ssreflect_1.5~rc1.orig.tar.gz
 e6476cf493f94b0d76e6edd3fa9b7be8 12560 ssreflect_1.5~rc1-3b1.debian.tar.gz

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

iQIcBAEBCgAGBQJS8gU2AAoJEIxPDyvAFXjJLwYP/3gFUflgfLM3jBNtQOEd8rvJ
5UXS0MdMoIaU0inCrrrpHP1mYMhXftmlxFvYXspDUqt8htdU7HOLS251M+c7M4n6
gd+1X1ciej0cAiL0jvOKRDeiA6oAEcI/42+rxTO2c74QnQPjd/IkvA+8t2ZW1ZTQ
shn50ZIV3u/30RoUNDeI69Ixncl91KNj/o948j8q5KykmS2jaNEz9z3MVE/16M0u
FG43KY0OVqkmFwrhOmDyjoRoqAWtObbP/WGq4DifTPJb0w7HURQiYa+QVbPiLSRV
lrRUa+J7gKUmHye/YwRvxCG4zNQ07rlqVm99nxEmO4ydr2eg0X9BumwniQjpQAVl
/sBbV6ppdAdwKmxG2DvB6t3wZwJGRXZRzvAMFMd6FdQW1U/f4zD3/njwNReSUNCd
Lh5mwbczg0XIQNzG2kyL3BygjpJfj9uaR1EJqU7eP3RZJLyVaA7k4PuMXSDDNr8/
g9RY+ok9eG/OAQiJDvfy9CKDCWRKpRnK7GhzewecFgCPobeWYdJxle7tVSP/CF61
53iQ1uLNFMuz43mgKwwX1KXca4Nn9/qdm94Z/Ie69U5MTVMPq9pgCbE+o2uqwXlx
apu4vCbhXF1whzEnUueiJ3cgFthxlbZXldm2MqsZRDvDIQ/eoX9xiL930hjVCEP3
RJLjRtkzQxR2YOsqliMn
=h0sr
-----END PGP SIGNATURE-----