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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libcoq-mathcomp-algebra, libcoq-mathcomp-boot, libcoq-mathcomp-character, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-order, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp, mathcomp-doc
Architecture: any all
Version: 2.5.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.2
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, libcoq-hierarchy-builder, libcoq-stdlib, lua5.4
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-character deb math optional arch=any
 libcoq-mathcomp-field deb math optional arch=any
 libcoq-mathcomp-fingroup 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:
 08731823af031b1cd55897d5ff3927a2470f82b7 1978658 ssreflect_2.5.0.orig.tar.gz
 fc2901170ad5ed4c2e5826a7b805c986e9616064 12968 ssreflect_2.5.0-1.debian.tar.xz
Checksums-Sha256:
 3db2f4b1b7f9f5a12d3d0c4ba4e325a26a77712074200319660c0e67e25679f1 1978658 ssreflect_2.5.0.orig.tar.gz
 224b12aca38351447787004a16069e40d2d74db44c016ad066be5bf9f0e983a2 12968 ssreflect_2.5.0-1.debian.tar.xz
Files:
 a9e62218e543145d2a3e780816b51a98 1978658 ssreflect_2.5.0.orig.tar.gz
 4ccf72b97033f7964a1925483b47cfea 12968 ssreflect_2.5.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDC+8ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaU5D/94EZUZZywa4/jlbHaWEXbT
F5gNpQ1614Wz8LTTDhO9Pg5XTL3DbhUApqlHZjWd/B7GqOTPzSgOGH0ilbC0NTPZ
W/2bUk8FQDHjkZNitfLJGfn45bHHplMubKMNQSXhj1BlOD6thXJQaf5Y7AcIKNaI
iZPt63i2IH16SKV9ioZazGTUQp2pN2/27BuRnMOtdB00myzG5JCiOFf4EXLzjMzZ
ehRw8E9OofG9CmRFDm7B4wEvT+C/YNnHuhFM4ORGonHFxGv/qcD3vr0pfxP8sQ0o
kF50KLYHQVOQCAPqjet9ijnWUgObkMC6p1XKlxOsFNdqp6LJ3qiSs1bw30M8L4PJ
n4rVng1vKEh5x1w1TxG3X28KooyTj7gPBqvjn//ueEOFIAF8S4a/V+ZMAcfwz2Ne
dDGXjpMq6dB5n7jHwM9nVjz8GPXXhODZieXU4JK58OY0p3NyC0PKLemDlFRvQlN/
773dcu8y/Gn4xyDWGGnJzJmX3rcHJAQMEtjkjwf82y95TX1lTSvbDS9k4qQp1Nz0
mGY8C70XwnOu55oe6+n3bIJ973aaQ0gRVK6q1GAfu5O/Lh9jargx2t0ksaO1kt64
ZbvyNj/EI+ToZ1W/yTclLEc3tgCqWgqXRe6FmBDxntna2x+mUaZDqkvdCItacfE2
9hcY1hUb5UobmH+YN3nR7w==
=PeZR
-----END PGP SIGNATURE-----