-----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: 1.14.0-10
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.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), coq (>= 8.11), 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:
 4b618e02a46e127eb16c0795a7c262410411c4bf 1352989 ssreflect_1.14.0.orig.tar.gz
 c9eb348e28ddf475a3ff4239622e5066c1a0bb3c 12464 ssreflect_1.14.0-10.debian.tar.xz
Checksums-Sha256:
 d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 1352989 ssreflect_1.14.0.orig.tar.gz
 9e1fc2474631f42fa35682f08f8be3b5f95bf591ef4d9429f76a6660aa0a899e 12464 ssreflect_1.14.0-10.debian.tar.xz
Files:
 692b7e3eebd39e9f382a238925da06f8 1352989 ssreflect_1.14.0.orig.tar.gz
 bb68d016089b31d1d93e3502fd5c2c95 12464 ssreflect_1.14.0-10.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKKcRQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVROocP/0JUPzznCkIo//FDs/UDAhUpC5UBncMa
fAoIDixRM2zqVBg5nfbCNYxUW66yzgElZpymCdAVCDehZukoJut+JLVqWrkfLBM2
0V9lzj0S0PeL8PyHEelM1E3SKrGVup25BsIEVF2ySaa/nS5/dx5CTo2S+LYwfLIe
fUBOFTP4uJFmJ0T/IZl7EfHeVC1gtdYXJu2u9fsLHTX04OcrDrxmvSF1qzCBfh85
2ekaTshLALIPVBGhNYrOBetmNEnQZjkwdQFg+y7oFXucQI83WbP8B58oLnmAE/lE
xhtG2HvgI9vx2nftknhM/yWASf6yd+bnxLD6f4BEGDj9lm/AC4L16bmJsbVowgRR
hc1f1mqVRl1ZLtHmDVZ9SM3TXU12dTfKiDQPWWi9LIKKP/e8Rf1AqFI4y91X1hh1
ho/X6/B7e11yd8IwXc9lqHuh+ix7Z+Rbn4wjvDWGBWO0o84BGdvTzYkye2vyDStK
fDcOOSfkjRBt09Am+M4w3FphGXFXNSKdNz3MzhuD4BqOu7PrZ5ZtfPRUQUf+0r+H
ZGXhVr6Vna5sYCjn4v6nWC+5f4PoDV75HfxbVjAACkSDxUmy8GNy7XAuW5ck7+Ls
RptUCY41n/DBMBaCyTtYDNTvaXnddxLnqDzNW0IgjWLk/3gK6+aNjeXsCl3e/bln
N8emdNyhTcw/
=klJr
-----END PGP SIGNATURE-----