-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-ocaml, libssreflect-ocaml-dev, libssreflect-coq
Architecture: any all
Version: 1.5-3b1
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
 6e487e57fdf435b4821419a517dca5c1992bca9d 11552 ssreflect_1.5-3b1.debian.tar.xz
Checksums-Sha256:
 bad978693d1bfd0a89586a34678bcc244e3b7efba6431e0f83d8e1ae8f82a142 217833 ssreflect_1.5.orig.tar.gz
 be678a357f5b0df17d25e6812a77043371b3d45e949cd870135ebe044aa9a981 11552 ssreflect_1.5-3b1.debian.tar.xz
Files:
 19155108bd73f5af98add53b9e418f5a 217833 ssreflect_1.5.orig.tar.gz
 7776e26bc8173b50fc91b71fc8e51e0b 11552 ssreflect_1.5-3b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXbT7JAAoJEKBN28suwKn//3sQANNVlqRX9hy2fDb6E1O83VYw
Dk1k5j5EQk3qPSqIDLurafTHogwXqQC/lDyrFYZWQ3EO6GIt5kbXYo9aBq4e2vQf
72u++3YttzvVxBeU0XzjA153HibkoYtEYludMJsUzLDAwnc+fQ/nmWDoq4IDQAd9
LOMCHKnbvKLyhK1XCZ72Yjo7IbanD5PU7WYcaSQkHQJUL2Bxh8gggqG8VDjBomFH
TSQDRvsnbWGcDep2JHzegdlhnuMEXuwqiJ7a4oKAFBGYWcY7vQ1theg6eAVdPlBs
Di1rVQszIR737AcNw49zPq7O0sHCU888LTccPhEfsUYn3jxkBLOE1voLj49lycxl
/VA7VjV8Ir2LzFBD0SNvQl/FzjqygNndUKTTiLDQswxSF06w5N2OnQEFDU3KW/ab
m7nVR2PfDS4eu9SSsewCvVyycztran6EncGiQDy2jOer/hmTrtg99BgMAULaZQdJ
h8ikb5R+zyC59IrCvkU7lvKCsr6TqfWANLJO8th/vEOzs49WFbqivX3i0ALia3N1
Vjuq/9ipC9WTtsT0CGn59ASoPM8zEtyi0CSMwLNT8Lh1Ya2gIsEdn/o0e8S+P29z
M4flvgRZprZGqJbEDPjXGiV+4cNSN+h/H45yLWuZrd0IVUvzq0WbP9lRZWOsx7cK
6446COV84t0YjtsXSvFT
=afFg
-----END PGP SIGNATURE-----