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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libcoq-mathcomp-algebra, libcoq-mathcomp-character, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp
Architecture: any
Version: 1.15.0-1build6
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.6.1
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 (>= 8.11), libcoq-stdlib, lua5.4
Package-List:
 libcoq-mathcomp deb math optional arch=any
 libcoq-mathcomp-algebra deb math optional arch=any
 libcoq-mathcomp-character deb math optional arch=any
 libcoq-mathcomp-field deb math optional arch=any
 libcoq-mathcomp-fingroup deb math optional arch=any
 libcoq-mathcomp-solvable deb math optional arch=any
 libcoq-mathcomp-ssreflect deb math optional arch=any
Checksums-Sha1:
 eda35525d3d0fd2d89ec15429cfdd5ce2844591c 1359283 ssreflect_1.15.0.orig.tar.gz
 921f59ee6131f7b16601a1ef65b6a49dc24f6c85 12512 ssreflect_1.15.0-1build6.debian.tar.xz
Checksums-Sha256:
 33105615c937ae1661e12e9bc00e0dbad143c317a6ab78b1a15e1d28339d2d95 1359283 ssreflect_1.15.0.orig.tar.gz
 9529539cffd542a66f9e4f0824150563f4779c8b973604ca155cd271f98724d2 12512 ssreflect_1.15.0-1build6.debian.tar.xz
Files:
 050d268218930548aac6f25411a3a4c8 1359283 ssreflect_1.15.0.orig.tar.gz
 f75a882c3ab376f3c7201e1fea622c8f 12512 ssreflect_1.15.0-1build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSIMdQACgkQ808JdE6f
Xdkr9xAAqHom4blOeG7BVFMT58+xJO9r/65s7S1qSpgS7KVZtjIUwEByQ99hY524
6wMeh2VQJG+RKahQPpkvyRS2/fbTabMfOZsDHsF55COWjLzfgfSvXyNh7OjEZsZQ
vKLK2wB4SHlnfpv08J0PrQ//jqCGznRfeMO4VKRuwFRvF9sy6X3rUeyD+7mRXECb
+LLsgZt36F14wCuXRrQc2zrbH/3R3d9ZKOliIhL04FhQPaGXjwDg0sS6SbyD5QDW
o9ibae0kTLFPBchMIR6AkYYMiKdYbSy57yUQmjeOpMhz50Hdb9GqeIbZYB5f1Ig1
DbsMGeZCzVEtkJRK3sxOsJ2+pLfKJXWU/mAGZXHdtOIyJdpmBefbPjJFPS/7Z34k
dEGL6us/nZO7BoRh4Pk/t51WFHEYq9Kea8ZU9ECpnYJa3KTOJ0ceY9cHi3uwfQgc
PL/eEeFMRxDch6Az72zcGn1x6fhhZdcLrf1rFRW57zDhiBY2CCac2H40cBoEieLe
Q5HWuAXe5X6NATwlhIlL+sB347zJbDiLJE+XbcYYCgSeLPG6GzHeAXsdRKifjacw
3N1GcGGjM9rTcCB/Rpc2wVBd2xfDy6o695FIhOp3HJyeVFaJOtZu7HnhEeB0psn8
Bv5JcAUNmotWQMpwVEqbMJ1hOmfIe/jOjpmBez1xglPc6eWLc0k=
=TUyi
-----END PGP SIGNATURE-----