-----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.3pl4-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.3
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: 
 fd46b425a5c7f18dbefc49733455133a80e4c775 834512 ssreflect_1.3pl4.orig.tar.gz
 924207bffe8450e9db65b7ed041c98ade0d7e776 12533 ssreflect_1.3pl4-1.debian.tar.gz
Checksums-Sha256: 
 02a86d55a104215f15a97a1797161fb98d3662ebe027950ba5efa683718c43c1 834512 ssreflect_1.3pl4.orig.tar.gz
 c4f7827cc80477c865b7d9b34cfde5f6781dbba7fd6aef1f1730546ac4ab5182 12533 ssreflect_1.3pl4-1.debian.tar.gz
Files: 
 0d2190d61abe494aea7a5c329b18e8c8 834512 ssreflect_1.3pl4.orig.tar.gz
 120f88dc3f02695f8c6b693497a5b8b7 12533 ssreflect_1.3pl4-1.debian.tar.gz

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

iQIcBAEBCgAGBQJP0wmUAAoJEHhT2k1JiBrTvWUP/jyhMrvi/3hp7aW0EyEZ1pjx
dtOM4HPlZI3R4oQ/w6eH42EEYvZTlRF1lfBhVD9z05aY/Ymc2Ogti3CeizAJWOJ9
mE/kSHw+UlnzPICRbkJykIz3TUjiefTbueDOSWXq/CnfAW3oG0oXurqSPBmjMIVf
uBJJ3PiG5klcU8xjZ8R5R0oRrgCncVzyu75m5lElU3OmfNpR3Ka4hMBKZ+py/TN9
115oW+Wjm1lMBJG3gylyCjW1knWzRwOrpAbc9QINWI3BSDfZIxrQTcwieqG6N45d
GV4z1yP92DMVDch4t+/sG0daJ2uo72IQqB2/iLqIovCzW8IY/cTtpnRe3jWmc974
kiaMeRzr65ERXakjr33msHHz++8ixrQ/jGCoskIYvSflRxtM2dm7fyh83bdNw3sj
B4QulYODs/OHOxMNgtFrF7gM15RTc6UHuk+qYOMNGkFhYwpART2dSgpxs+HQB3gx
bscK1dmJHI+LSJxSCZM7HBnJfCqFuhjNvLOq4XzZr/BQR8Kigtt5QXAd/NawSz9H
kUKstJd6H5Fo0X6WXeD0ba4WcSIYtvAJGl7R0SGAacBzJNqnie20TDXhF3vYdb1A
XEG3awbUQ+Bl31ar9qtPFFmMZq2hKPr9au2t2/CFt1wzbpkDFWk1X1jomrcIWwLL
PTWUR/KFsSyORelLU2bk
=WuIk
-----END PGP SIGNATURE-----