-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: ssreflect
Binary: libcoq-mathcomp-algebra, libcoq-mathcomp-boot, libcoq-mathcomp-group-representation, libcoq-mathcomp-field, libcoq-mathcomp-finite-group, libcoq-mathcomp-order, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp, mathcomp-doc
Architecture: any all
Version: 2.6.0-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://math-comp.github.io/math-comp/
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/ssreflect
Vcs-Git: https://salsa.debian.org/ocaml-team/ssreflect.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: debhelper-compat (= 13), dh-coq, coq (>= 9), graphviz, graphviz-tools, libcoq-hierarchy-builder, libcoq-micromega-plugin, libcoq-stdlib, lua5.4, rocqnavi
Package-List:
 libcoq-mathcomp deb math optional arch=any
 libcoq-mathcomp-algebra deb math optional arch=any
 libcoq-mathcomp-boot deb math optional arch=any
 libcoq-mathcomp-field deb math optional arch=any
 libcoq-mathcomp-finite-group deb math optional arch=any
 libcoq-mathcomp-group-representation deb math optional arch=any
 libcoq-mathcomp-order deb math optional arch=any
 libcoq-mathcomp-solvable deb math optional arch=any
 libcoq-mathcomp-ssreflect deb math optional arch=any
 mathcomp-doc deb doc optional arch=all
Checksums-Sha1:
 ab84ce1484e3d532c422d1945ce159da72834437 2340624 ssreflect_2.6.0.orig.tar.gz
 b5078c2984c19647ef620ea9370181599c965e68 13240 ssreflect_2.6.0-3.debian.tar.xz
Checksums-Sha256:
 b2e8c5c93fdc9bb5ed9b8a06d1c028aa0096a45b1f3ac6c6509d7a6500c72253 2340624 ssreflect_2.6.0.orig.tar.gz
 418b2a7cdd118d0e8bee54665888894d18e58cbf857b8fc70d20aba5db775b13 13240 ssreflect_2.6.0-3.debian.tar.xz
Files:
 cde08c1c6d3b70fe71f2f82e5ce3784f 2340624 ssreflect_2.6.0.orig.tar.gz
 410cd2ecd88e3d0a151f3e3a81133842 13240 ssreflect_2.6.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp7n7wZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUI2D/4+8Ai7syiDNatbi1lfCISk
1IoOSb1jsIsdUF08EY2gZ/5O0aN7boY6HexN6nmDnNfg6atNhsbQIV9jfQwv/gP6
An0HQLvpf4+UksWq+YZZ9ELWqB6Q3rpJ7KF3Ky0Z+aFnPeyUYraCAmNRU0QGwk9D
RxRePod30WT/zGf9xhH84QWwX0ENmWAp4E4b3DqjTZpia+kBaoygmPWJ22H8Z515
UPpMDCjzNVxpd5palWJrB4FFVthDI7Up955SRh2hwN1H1KbDIwszRv2/r+coUtNe
QSn9BCJMaCoSpy4a2ufLc5Pup+igQ3Jti6VVXExyZyA8Vw6+vcZmbdXblyQvuMwF
edfJs+0Wa68jtVYpXGCF3jAv4xdrLOQFMjSJrLZMZP/LHXqdAp9WzdtbnKGGEnTY
yyibG4K6SbKFurrkF0wrHl/3YIeBDvoxxjg9qgGA8XSYqEnj1BtIIjjbd/ToLGZx
jS7YohGrqJIPny42C7EgBBRVcdupwh85mszeCeMsPYrKdCQWaq2aj5tW692U+P8f
T5JKGV/M3dQCI6ENHmYwYt7d81dZ/fCUUYneSBbsRHuoHS771ZA4gvKnlehUXKBx
1BdQzCFyR1uDeGQhgIdOEbTjQTxN5AAVzSf43sK0sYHWmfDSWE+hG9qGPsWA2rT5
P5AiJoAUENgDUdVHzDrEMw==
=VRl2
-----END PGP SIGNATURE-----