-----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.6.1-3build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org>
Homepage: https://math-comp.github.io/math-comp/
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.6), 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:
 383d9f0a555b9fdaf37bc327bb909a60627572a6 4691532 ssreflect_1.6.1.orig.tar.gz
 5e14d642b45bf0b49c5ba76a6471d38bbc9cc5de 12572 ssreflect_1.6.1-3build1.debian.tar.xz
Checksums-Sha256:
 5c3e5d2e4020004280399de79b0935bff85db7865ed006450cbfe72fdfa33ec9 4691532 ssreflect_1.6.1.orig.tar.gz
 a053b9dc55319fac6cbab2095a64262d34ec4e0841b9f88b6b4972da2670c21c 12572 ssreflect_1.6.1-3build1.debian.tar.xz
Files:
 10d8a17134ddb509b4afa8d3243ee1a0 4691532 ssreflect_1.6.1.orig.tar.gz
 7a69df835afe2094ddaea44c7a54eb35 12572 ssreflect_1.6.1-3build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJZ9JciAAoJEPNPCXROn13ZH+QP/2xRyeYXQR5haPc/2T9fIfNH
Rt5fF1dAwTjbQ6k6j4rBqCCb+OhkFUKG/DSXBBGqZ9IetdobVASNYG/+Ppqgw7R9
yoMuBnTRUrAjqSVin5Nt/PrzHsRrTLaUPt4zAPvrzVk+jr0Pr/EqVvxZUpKfXqII
QDSy73hCOHx0cmHk4KIBUitSlvcRluBvjZFWc0csD76Qc4BznrKgWslVP/i6rT37
HgDYxjBtNZ6SF2q1qP5KWp5fPLQWxYHI2eGonQFv1djU/yZH6U/aoX8S9xLM7GiQ
JbKzJYowKRo9tkvvc+ydb+XjFaA9GzafXTVFmDTnlMxDqWCw+n+kHZsNGqAAgpiH
DT6GTTESeyziErZ2iwCQ3O+o10UttAvEKFDF0bpRON6cavXGIZMGkKVpjlYvQfrV
Lm45QdS5sStSiZ4ZraLhoOhwv+dA1byaLrK/eItcAU+8mgB/9ThMEddrxi9cMpHg
ihsRmhkKkMuLcYGuc+lRfQbkj3Y2MJ9gNYr/zH84JPX38qKG5ovYawwFIVpmnOil
dX7yqJnqyzVyVShu+x2dPf8WvD3xiil7kCLIIyOTU9GbnHG6G8oLbAea2i+sSa3i
oeRIYYKA4bsvhvIwiHmtxyXshWVRuKuEmZpeeBqRLv57eiwfyKQdnx+nAG2ap2/B
HXB8eSC0PEzuYyZVvbs0
=mZxc
-----END PGP SIGNATURE-----