-----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.3pl2-1
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.2
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~)
Package-List: 
 libssreflect-coq deb math optional
 libssreflect-ocaml deb ocaml optional
 libssreflect-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 f32e660fb35a4452c5e69596518f17ee413a618c 834754 ssreflect_1.3pl2.orig.tar.gz
 577b28a86c47aac583f973d85a2b94f4c0a0ea87 12259 ssreflect_1.3pl2-1.debian.tar.gz
Checksums-Sha256: 
 9a3e10cbad61c307b1b1d4a80c17e39ad3d2c52d91dcab9292f3ef2bcc525339 834754 ssreflect_1.3pl2.orig.tar.gz
 d5648bbb8a49a60c9dbf7ef7f81704a14c560fb5ae9fa3a248f298febcf01a01 12259 ssreflect_1.3pl2-1.debian.tar.gz
Files: 
 220592455f2076f0d50af2081b31504a 834754 ssreflect_1.3pl2.orig.tar.gz
 b4e2a97030dac15f2d420d396a221eaa 12259 ssreflect_1.3pl2-1.debian.tar.gz

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

iQIcBAEBCgAGBQJOy0LCAAoJEHhT2k1JiBrT0bMP/joohn7ZYQfF8wZKUw2t7hY5
LrKm+KgpEQay7xKUICFyLdcVtEdqCAQCGGYLwzLlWyokF2ZW7M9pHjhOu5jWuk59
gL+GgkU84kvlg+QZSxBeVP6DhcBB8TERraT9yBa8qjlpMBBkaAvIC+HX9+jMlIsR
1JYqmCNAcIGd8CaxrPiE2Q1irbmT3yXU0L2Rb7berPtha4/VC9fqSKFEKRmHZex9
ChOdKlNZUtNqq7HB0Sltq8dznziU5UXkt4H6p0XzJdSAIFzjXEAKG2pIs1eSaN6m
i0VE91e8elakFA/yZbI3s1N8WFXsga7ZpdWsG42Yelcv9en+kbcrlxmlwo6hqnPn
prjjFjp+jeAHkc0W+lMRX9+pWLHMranAarpnOVTC41pErXVtAnMBcIIlbWpmiktR
+oT7iU+3Z8yQNDrVat3LzACWF3nFITtz3yCHYU8siknT9ILV5xheuq5fVKfgT1Bp
RsOn28tJLl3XGEJBbT6Q8b6+6bTtZ8TsbgsxKJTkf5+8VynyiX59u0VSTFVH8jvf
257OS+EANgeJj7biD99h+yYvac3J4j8BnKRw91/CwrDro/OJRomEkIwe07PDeScl
liZGPsRYOhI5BsFMrP0FBJzuB95CK0K4Ehv3kK5rYWsIisFUpeoAipBg0niHV7NV
EsLUb6yJvi983UJdZGnm
=g+T7
-----END PGP SIGNATURE-----