-----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-1
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
 ce4614ff549d24b3860e6669319f1015781a68e5 13220 ssreflect_2.6.0-1.debian.tar.xz
Checksums-Sha256:
 b2e8c5c93fdc9bb5ed9b8a06d1c028aa0096a45b1f3ac6c6509d7a6500c72253 2340624 ssreflect_2.6.0.orig.tar.gz
 f7eab6954168eac7950b11d917b5e65b64fa8cd2dc556fa0684b7ba1c0eb1b82 13220 ssreflect_2.6.0-1.debian.tar.xz
Files:
 cde08c1c6d3b70fe71f2f82e5ce3784f 2340624 ssreflect_2.6.0.orig.tar.gz
 42a701674125ffde5abe288201cb0877 13220 ssreflect_2.6.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpeeiAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaWaD/4p4erEwTzdaDjW+8s+CZvh
1eLHDv2WxZ9SBZWDE/o9rcW+kAKVV7S06+p49peXlUGTNKUhMMl6vk9ikI3zzMyF
arwE9HkecIH+sNZwC88KspvjhJAlRyNUyCOWfab4gsKmc5Z+v10sg9x1qNEKi8gR
TSaUTY7nHviuBZxaZPN1CS6V9887Co1bDlrtzaxzEuzFF0HH23CIRzYUsaqYIx6/
VZRXG+yCK90/KkQuihdUwRvG2ZXb3oDHz3sWvTKPtJD3ILQScioCiaPL5yOCIKf7
rL29U4rlFZpeU/BffgjxfHd8CF88GVLnWq5wpN70NkY30Nz/TA3+iZi+vMxHqBUX
XmkxSScm62ZRexEMy/2DwEFxYLf23GMwCF+M8bfuzNZ71fKgruuxEBxKEWhGISfu
0XBI193+ffEG3f4f6Sh64gW42eaKuRMovv1KbFedMyZShEsVKvhVxHRozUvbc3UA
m06/YJopnhI6/rZAel5Ay9YAXYsY1vkcIb1t9ieQ2Eu45zT++FmKfzEYMYqijFpe
a0SylWfUq/2cQ17Z4Fo+2UW1mnYA8q/GJLEnrqbI1nzhfwX/eNEXfz6+E2yFq5YR
rfmtzU6lEIpTw3O8LKB8SMyQjon0eKNHf9zejqOtjx/SBXp5v0PXoI0ZoJ3qXlYc
W+F1nAYq72v2c9gUWdUtow==
=3AIs
-----END PGP SIGNATURE-----