-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-ocaml, libssreflect-ocaml-dev, libssreflect-coq
Architecture: any all
Version: 1.5-3build1
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 arch=all
 libssreflect-ocaml deb ocaml optional arch=any
 libssreflect-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 131f4e2746b4a97627ae91a9f980f61ec42a00c9 217833 ssreflect_1.5.orig.tar.gz
 6149aca094dfe4bcb26100c96b84c58b7204c309 11592 ssreflect_1.5-3build1.debian.tar.xz
Checksums-Sha256:
 bad978693d1bfd0a89586a34678bcc244e3b7efba6431e0f83d8e1ae8f82a142 217833 ssreflect_1.5.orig.tar.gz
 6652eae4038ad15572ad82b5ae15646f3f40faf477e92f0ffecbecb8d510bd85 11592 ssreflect_1.5-3build1.debian.tar.xz
Files:
 19155108bd73f5af98add53b9e418f5a 217833 ssreflect_1.5.orig.tar.gz
 41e6c7b5a6e556193fb65423d4994d79 11592 ssreflect_1.5-3build1.debian.tar.xz

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

iQEcBAEBAgAGBQJWOtFCAAoJEAIZyhnQNDMMnFIH/R4KVvkVSBLLzDe4zxSDL4NK
qxlQiDN1xstNJMLKGoavjpZxz3KXDbUrRsv34I9VNLBlMqO1YeMSZH0X1BzrZeSa
ikmF1cu68bKvEmGAFVkkKwqyxOIdz6b6rm35dtSYIKwK7S0pJiaRaBDVy9gV5sGm
QZpVHhe5eeszLRS9GXoGR/vHHCOGcovETPykHmMHLwFWadh7/VodBaO1JA4/6ge5
TyNldfRuBGn6+d0KCGdeQLBy0Yhjh448icTYVoaQsR5hRcIo1h/8s3/M2WuWFZNz
x16faX2gUA1gX9XMTLI2ne+WcfjyhlP0nbuc3hJnPoMjtBoZ4TAgmJyD1Dko3JM=
=TTql
-----END PGP SIGNATURE-----