-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

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)

iQIcBAEBCgAGBQJMPxgPAAoJEHhT2k1JiBrTCE4QAKVSp+9Q1Sln4s/jvoU38J1+
57ihXZo7yuz0s5CaPToptBdkixpkDSpyQ7+aN2loKNCb3ynj1pRuPuVpGGfQPMMc
8DYiRl8KsFB41m/LhrYCY9s5moI6ISLqB36zeRkJR8vNsLLf1d3ltOjw5PlS4QxQ
z07P6tJGRpVbCviQCea73y9Dd4e4L1fkqMulTotTCyhiMIJZ698CWFMVYeP9fOkv
xi8gXixnC+fZEBBaaGMQoDNAJh7FBxGfZ5DrEj2eIeutnHxYFTHGnJHIqOSlROBj
LWU40jgaaUhHNTnJofQMPt6YVGsvGepfbExA9mrYZyx80ydvthP7sDFAqTKCx6+A
kzcZmlIc+tJzKYYoTFZ0OwyFHCdDSnBbXnvosZT9oKAb+Ethc6SGuEcbFBHndyoq
W/TTjA1wzDag8TVYHTmGd5hC1/wjuGNuCEralG+l2WDgjb9MVABNQFNgWmUyNFZi
Uf81D3akI9A5AgQ0w+/unZEtEdvK+ZL+lO56VPWYXwEHIgFs01z6io1+792n12fZ
birT867Tajvn7Y2MvMpi2NJFgNSxAUqyY9vjkgOH6peFn4xTy+lWBoLdl9RIO7ah
/NRKP5RpdtuvYI60wcYbyDUevjYcy10nfcF+bIen+ukJlZhBPSpmeZO1C+0VcYBz
o/UWrPJMwm/rR4c2th4j
=juKo
-----END PGP SIGNATURE-----