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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-ocaml, libssreflect-ocaml-dev, libssreflect-coq
Architecture: any
Version: 1.3pl1-4build1
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.1
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~)
Checksums-Sha1: 
 9e4a58d8b75189c0876daffdabbe26a8959b5b22 828876 ssreflect_1.3pl1.orig.tar.gz
 0b871cd3b06889e6f943c99fe15ec9aa191f4b8b 12345 ssreflect_1.3pl1-4build1.debian.tar.gz
Checksums-Sha256: 
 31a705403e11675190e81cb6a525788f8c8abaddc0d6465aa15629641686797a 828876 ssreflect_1.3pl1.orig.tar.gz
 4aa1b943806d2387a1df7762214ae7d3614dbafc90554216798f9d6bcaf5930b 12345 ssreflect_1.3pl1-4build1.debian.tar.gz
Files: 
 6676cc1498c786aacd45758818548a01 828876 ssreflect_1.3pl1.orig.tar.gz
 06cf32bdf71b8377fbb9f7eb9773d8d9 12345 ssreflect_1.3pl1-4build1.debian.tar.gz

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

iEYEARECAAYFAk5Vf8MACgkQvjztR8bOoMnhpACcCt2Rc/ZrCnPePq11iNXwxNRF
Zl0An0YwsFsQmuOyQQgMHQJOhNGFvPeJ
=8Amr
-----END PGP SIGNATURE-----