-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-ocaml, libssreflect-ocaml-dev, libssreflect-coq
Architecture: any all
Version: 1.3pl2-2build1
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
 0537fd3ebb46a4ca593853c17af3b6d6d5f187a8 12862 ssreflect_1.3pl2-2build1.debian.tar.gz
Checksums-Sha256: 
 9a3e10cbad61c307b1b1d4a80c17e39ad3d2c52d91dcab9292f3ef2bcc525339 834754 ssreflect_1.3pl2.orig.tar.gz
 a6f40511936e452c05819f7720c8d97cb9938e8f5356f25c7f0304f0cbfd9c3a 12862 ssreflect_1.3pl2-2build1.debian.tar.gz
Files: 
 220592455f2076f0d50af2081b31504a 834754 ssreflect_1.3pl2.orig.tar.gz
 3046fb5ab200e55b2851d1b0aa33ea4e 12862 ssreflect_1.3pl2-2build1.debian.tar.gz

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

iQIcBAEBAgAGBQJPCbHxAAoJEGHzRCZ03mYkAMYP/RQKlnYX2cnUsr8Pfo7TRmcq
hQw+EPIh65MSwT5o5EzMOuT+rpWEKIdUcqXvfUz1KfDmf/n72sRe5gRfZ+Qaz4N+
iBjtKdjXVsJXeUs5vsxEYOYL8w7s8QBwv5j6j6A9u9TvSmWWG5Ug+MV/m22MIJNc
Bdi9t/H/6fs7WjEPYhBJ0RfzVNvUb2va8l9DmXLj2+945zpLZJzI3KTSSnBXd9oQ
cz/SlghE9T8clPneQ7oI4AET2ycCUGT4tYbTlxkIPmIfXTTU6E2RSOIuqXJiS9Q4
+Ubp7oBC9J/qKAWj4HacV88WlLS2oJ/00yuCn1iwfkdY1cXyLa3D05Z8m5YECNZz
4FDF3kUIf9IoKHiaf2oUYaMEBfrDaARafFLn+Ba23n+JQw6jatg+jlcu40/+OXZP
+urrl4zpZx49GygdBiOvXXuhwKRbMfmuDxHJUxyVRFTFRCX62UK+WRkFgzVJB8QW
zgbb21j3IsG8jT0uNXNCyoSChZzHo09iCW+y2CvZdzq5+QFDAqDaMZnsQBAfhqUZ
DAH16DG70qYkISztIL9xYDYR94yZRAvYfYSkVrRketg+i+q1vthdyB8sxIRk0uur
XdOin2uYNz7ejwp37/VTF7o4iJY8lO56VLW/dSvh4BrBJWGgW/iw4kVk9pNRcqOG
jIBeLqmDdMFsfutb6ZL3
=1+zo
-----END PGP SIGNATURE-----