-----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 Uploaders: Stéphane Glondu 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-----