-----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 Uploaders: Stéphane Glondu 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-----