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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-ocaml, libssreflect-ocaml-dev, libssreflect-coq
Architecture: any all
Version: 1.4-2
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.4
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 (>= 8), coq (>= 8.4), libcoq-ocaml-dev (>= 8.4), 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: 
 c9e678a362973b202a5d90d2abf6436fa1ab4dcf 998638 ssreflect_1.4.orig.tar.gz
 41779816ca4d596d9a4d3b1ea38cf39f24798b10 12315 ssreflect_1.4-2.debian.tar.gz
Checksums-Sha256: 
 f044de8f75008000caf0ad61829f936384ee2d4b5fa40630352826c07b125dfb 998638 ssreflect_1.4.orig.tar.gz
 a4b5bfb83b5f9af958b1d60b5a34ffbaabb1503ee3bdd6adcc80262ca6baecd9 12315 ssreflect_1.4-2.debian.tar.gz
Files: 
 19169ed3a9c1cd783b2f6c3b58e7fdcd 998638 ssreflect_1.4.orig.tar.gz
 de837f342518ac06d9678986ae7b18bc 12315 ssreflect_1.4-2.debian.tar.gz

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

iQIcBAEBCgAGBQJRi58ZAAoJEHhT2k1JiBrTwpEP/0m+Ao9BBdCSCaYXJMUjmPGu
7zKvSLzFMv59fsLv4UKDsgx6IbSDWDbXnday/UiPTIWBKICOzokK5HWtHPsTzt9F
WcQJtqeWkQv4WIBLz5xEyq2MOToybM6K/1VuG6boGRn4twyfWWRPT8mvooFnWhnR
bKfGs3rjVxg31SDvZZpI0fWrXJ+X4iN/t81atyPsAAayBCImfrgPYrq95V6LojP0
fPOXwlQwkm1bEhlSUrU47U9ZVTaJvQpmtZRn/Hsln3Ii5NQw8cu4PCBAJs09VmzK
jfSzUlss8R7gdV5IrE9zk1f0qLZDVN6cKHUncTNZBTZVgMYSqaMTmaDLIlIDLQAu
5c4ozQle6IlLkwEwVknwdQ8ZKKm7hPGwS6O2NdGZxMwQLGKrRKN+T8bnRu9j4AaK
FFe4adcxiIrI4I5PNUni9wFtP0ihHgOjBAiV9S0bzOnfVpIEXEcN33g+uuEg//Pq
UAuFn3lqVHAtYDYenm6isWGB3uAZDbxpr/wdqw3fMYK1rCUG1K9OBTB2jyoRCHpx
znhNbmhvvCQpTL51HZbyr6x+VGMhEE8XSy17W8wbLTCmsa4ekxG9lPf16dFdLSFh
h4un4D+dE+aUxoT05L7V7nFDzask57cFy3EVNAeqpDv0xzMqaa2arhuUdgw2xd6v
cchldk1nMFGK0RlqFPaT
=sEl0
-----END PGP SIGNATURE-----