-----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.5~rc1-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>
Homepage: http://www.msr-inria.fr/projects/mathematical-components/
Standards-Version: 3.9.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ssreflect.git
Vcs-Git: git://anonscm.debian.org/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 (>= 4)
Package-List: 
 libssreflect-coq deb math optional
 libssreflect-ocaml deb ocaml optional
 libssreflect-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 bce43c8f674746516775887011e29cbc5ad86ead 203960 ssreflect_1.5~rc1.orig.tar.gz
 e718fcf18c1e993f06d1d18e51d06d3aa729cd8f 11448 ssreflect_1.5~rc1-3.debian.tar.xz
Checksums-Sha256: 
 f85d8ced769b6c38a499681a52480f2e0b9b7a0a8f028a3d35ecd1794ae64fc2 203960 ssreflect_1.5~rc1.orig.tar.gz
 fd273dbd60ed2a961cde3ad753ac542675a832855f1b3cdc00342377e8f0da37 11448 ssreflect_1.5~rc1-3.debian.tar.xz
Files: 
 c08130242ea2cfd1cb4ae8754fa411fe 203960 ssreflect_1.5~rc1.orig.tar.gz
 4e950f99418b22c0d07b45264c5faf31 11448 ssreflect_1.5~rc1-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJS3NjrAAoJEHhT2k1JiBrTicgP/2TiZoQ6hMu1QNWEwjMTm6ff
XDvHRBD28Mdg4yf19Noa1XWiBcg2dtILTD/evP/5q11kXN8+RCOqdlCfY3HsOuSg
detGj7qFl4wHCZ5l+GCEFm4w37EmeFFqzyU9dH7kAi5Bmx1/SWsx8bYaHUV9G0+G
EY1921wprCAa3HaDfi7L0ISVH/5kcVmHk3GRtl5zChM2U6zx1fFIhuLHpvJm0jl1
MVfIM4Q3TCE2Z2EeE2LGlcgZtvhBtrYUoTLK/+66It1eOFNcawFNd/UMZ2n3sruV
fW7UdO6Q2/UF9HlFL6ziJS8nrLj89ipREcCBKTtx4Scu1lUwUy22iNII+jGmonEi
3KLcknlN/siUduR7M3e/i3Xj47Kuw8U8oG4KPVRoDXtU4uwOVilSOe4sk8uYywpM
V1wN7v8Yv/OzbrjLKr4VIsqc2wfpiNwknJMH9cpmJ3h04x0YCeJB2K7HEaaO7pZj
CnagAe3IS47gkf/FjwmAHXd589UvvemaW+IOVSFKjHd9IDE/5h5P0cJAWyynIwOZ
dMOJqq2e+mptlHx7stWJbtk2j6fQpxMf6LImRox6Qwy8cf7S69qSvXqzWufpUl1S
nXbl8OFJUZCBuz3z3jqEZhrIrncVLcByYMllnoAGNuEQydrOb2H+qCCgjFEzYULy
AmUTlC/wxYq+6Z6MZtlY
=sQtg
-----END PGP SIGNATURE-----