-----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-12
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:
 4b618e02a46e127eb16c0795a7c262410411c4bf 1352989 ssreflect_1.14.0.orig.tar.gz
 8e82ff6377551cd1c3c35758eeff925bd91cb0fc 12480 ssreflect_1.14.0-12.debian.tar.xz
Checksums-Sha256:
 d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 1352989 ssreflect_1.14.0.orig.tar.gz
 a468d16ba4cfb61310d1ebd650f7fc64b401df225651a71c316e2ebec36d13a3 12480 ssreflect_1.14.0-12.debian.tar.xz
Files:
 692b7e3eebd39e9f382a238925da06f8 1352989 ssreflect_1.14.0.orig.tar.gz
 46162f40f69cad29f267a694a94402d0 12480 ssreflect_1.14.0-12.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKl1X0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRyF0QAITwPAOhLmhe08IzEXp9w8H510b9zjmz
EJjDy/U1bNPhMyfrT2T7R2EFYE53k3fvwUbheeKYuyFeTaCSX1//1Q0UVdG6f8oG
X2of0kzGCLZSCGtSiJOdzdN6FtO87q/Ksb5YKm1fCo3JxzESbrcBq7q14tzYVKES
hZAXCzmTl0w5lFU8kfzfUzUNkhtYyqRdo116aeHKriXuzTR8X1xGOc5TvoGpEaqe
Rm4L1anx+hX0ol2cuSUmNYOaOFuvxFTXu9pGfwauj4ePoMdGRHeqhD1jRuXNFg7a
Yo7dBztTBNk0Xh9r/Q1C/UCeqjUkZMap+f+2oxaegXFDq+k8FT46lxb8Z+GBNDx3
336ZB9UPK9GU5mOnz+up66e5zB/gIlvYtyVsjlXsDq7hNvEkYrpv4/DkxvgM1G66
1+jdxbDbCwyfbE6ZX3dFXhb/SlZjRwJ5Tp5AzrAWBOWNVfat/xgT7u1G9ojWHSeI
4EbQNm0HOslDcSpHNPzr6KAY1bAgT86sA98mXLhRXSbO1h0G1CYJ6YfjcYSw4YdF
XH3G3SIIRXtc8PCtLHRyJFbBYaYtKqe/MF3Wwu0BKxJVFaAgXec6TeXOStAK8jM0
nFKRtiW9WdEIhPga+UwRSsg/iq6eG/Y0eEDvEY329FVMd1xYeCupqtVdr8FIiHe9
TjUWNfDFDsY8
=UvrM
-----END PGP SIGNATURE-----