-----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-6
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.0
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
 b70323d4678d690968cadac496fd38b9385460a6 12593 ssreflect_1.2+dfsg-6.debian.tar.gz
Checksums-Sha256: 
 be53184a5fffea4e055f616461f2adab660e1424c73d146b898ee35f0921cb94 332281 ssreflect_1.2+dfsg.orig.tar.gz
 9adb37db0d1920ca526a54831d7ce2e8b29fa959a99b6b2b325a8d1636f76cc0 12593 ssreflect_1.2+dfsg-6.debian.tar.gz
Files: 
 e0815fa981ea23087f7de90d9487e581 332281 ssreflect_1.2+dfsg.orig.tar.gz
 734d516f163a8b6880a612ca14bc9d7a 12593 ssreflect_1.2+dfsg-6.debian.tar.gz

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

iEYEARECAAYFAkxRXEwACgkQPy0SnCC/zcdunACeM+80XTVL87zZG825AeAw2nEv
dkQAn1w2pjr3EKDgvKun8L0X5SHN4g+i
=GQxY
-----END PGP SIGNATURE-----