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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-ocaml, libssreflect-ocaml-dev, libssreflect-coq
Architecture: any
Version: 1.2+dfsg-3build1
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.8.3
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.2.pl1+dfsg-4~), libcoq-ocaml-dev, dh-ocaml (>= 0.9~), camlp5 (>= 5.12-2~), ocaml-best-compilers, ocaml-nox (>= 3.11.1-3~)
Checksums-Sha1: 
 2eb821b6d7660688f24b9158dbe3ee2ed2182282 332281 ssreflect_1.2+dfsg.orig.tar.gz
 ac6199782b89623aa88a0630d7c084efbea6363c 12526 ssreflect_1.2+dfsg-3build1.debian.tar.gz
Checksums-Sha256: 
 be53184a5fffea4e055f616461f2adab660e1424c73d146b898ee35f0921cb94 332281 ssreflect_1.2+dfsg.orig.tar.gz
 c694cc6444c7b0270cd59c0467a12160376c888c9b2cbbae08fa44fda34e9728 12526 ssreflect_1.2+dfsg-3build1.debian.tar.gz
Files: 
 e0815fa981ea23087f7de90d9487e581 332281 ssreflect_1.2+dfsg.orig.tar.gz
 d71d0b7fca88328aecc8f3a5ba12daf6 12526 ssreflect_1.2+dfsg-3build1.debian.tar.gz

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

iQEcBAEBAgAGBQJLkgAXAAoJEP+gcEe5E+JxSBoIAI0YWj3qMge85d/e2J3asb86
jB73vAMzm9qdOnNWMNoIZT0q73vs5COwsIxAEgxTwFYbJGXYN3r2Tluv24N32SPW
lGWZwEyEDXGyL/zsMY58kLtltw8JWeKQoi3SAXXpPiTTi30Sa4Q3YQ4jt2ePBlZs
tp0WRJn7/cVVyvPLrZfKwfqpWoXhiIWm4VP5kS50jWkfbzOfSjVL5CxUqFXdGkjf
29fokep/VjWdH3WCnoE7X6PMguYk48sfTMMKhSvF2AjVFdzs1SpVN6pTinCAwiYu
MZDiKW1iazAeF7VY9m0HBuTDPgTdYysFXd+fR7rMiKNE/Qd5iPTnSDYUBILzjcw=
=fTFy
-----END PGP SIGNATURE-----