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

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: 2.3.0-1build20
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.0
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-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-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:
 5dacb4a5e7e2f9715d87bdce0fe829b7f7f43e38 1880788 ssreflect_2.3.0.orig.tar.gz
 a17607a9ddf1343af685a5ee62a76dd7d4ea2186 13164 ssreflect_2.3.0-1build20.debian.tar.xz
Checksums-Sha256:
 19e13c8765007f95b4656d8902bc66e10b072ab94ab51031c5efb860827d05ec 1880788 ssreflect_2.3.0.orig.tar.gz
 60be11ee8df82956e3f06b8985fcfeea05ad9645f03e9befdf4bdd8c3db008e4 13164 ssreflect_2.3.0-1build20.debian.tar.xz
Files:
 9120bb2399f98c4ba1e03677c2ebabd8 1880788 ssreflect_2.3.0.orig.tar.gz
 92c983046f825e2b5d06c0cf9d4911dc 13164 ssreflect_2.3.0-1build20.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpO1B4ACgkQ808JdE6f
XdmgrhAAlfjy0rzdn7DWIUkkUPW+cNJt+oFK2g9fO5ZZPE7etNzd8QxedzEWXVB0
opytGNar9YKhEjaouq/IiY28Apz5jbFfVedzsf3AWRGrwJ3Uiv06L7/LabSlRH65
2Jd77CPHBZwW3mUWqnSH8Sa8cJt3i4ALKXfOE450gPaV4deb6D/LtMgNGxPO62jx
NMkcHWWBr08rL7EtbCnssyDd7GIk0Sq00RqfRLLE/GbyBkDequboLpgcpdhNoKUH
mskcRyN4JWjpW+MAb9UfhzXC9z5BsLgJ1nQwhC5Vp7wvoFnslka8AYT30daDv8om
WmahkWweJy8hQ7693bnF3ElqYSs+8WutHOVPFeKzR/W1HOoF5uFLTPcBPCVIEpJP
A0j/euCHeoPGaLJNrAyZwMbMr5xCu1Vw8eJQo/3J7KgI4/bKDB+LmJPx6hpyfqtt
XU/UwXQG0cQ7MzD9xHnxYkrc/R2RNm+F8Hr/pYDRCuvQ+i2CO/2PYtlShuKcS3bg
YQM9DdVFXY+vYo7oL1HWtMBxNwYZlcWHT4bhGZs8UnaLgM4KbzMp2Tvq1lqUjYvS
BDDSwNjE9Orpvpv9VJSbjhgoH7AOgooCkQmp9B56HbBuLZs92QQULsH/uXfC6uqv
p14H/EPCr/y3jUkrmvTIkWuEYhQrIMdCnhBFBqnSnlmdu1o7/i4=
=xUzj
-----END PGP SIGNATURE-----