-----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: all
Version: 1.14.0-5
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.1
Package-List:
 libcoq-mathcomp deb math optional arch=all
 libcoq-mathcomp-algebra deb math optional arch=all
 libcoq-mathcomp-character deb math optional arch=all
 libcoq-mathcomp-field deb math optional arch=all
 libcoq-mathcomp-fingroup deb math optional arch=all
 libcoq-mathcomp-solvable deb math optional arch=all
 libcoq-mathcomp-ssreflect deb math optional arch=all
Checksums-Sha1:
 4b618e02a46e127eb16c0795a7c262410411c4bf 1352989 ssreflect_1.14.0.orig.tar.gz
 3e56085484255c1f4ae40e44e946616e6568ea8a 12332 ssreflect_1.14.0-5.debian.tar.xz
Checksums-Sha256:
 d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 1352989 ssreflect_1.14.0.orig.tar.gz
 53749d137a43ccd6498cd3ce82cf766c9ebaef5539913a6c7829fc130580ca69 12332 ssreflect_1.14.0-5.debian.tar.xz
Files:
 692b7e3eebd39e9f382a238925da06f8 1352989 ssreflect_1.14.0.orig.tar.gz
 ef591dc600d512d5a7a69b94010f314d 12332 ssreflect_1.14.0-5.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIAKQUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTI2EACISNfmRlh4HmvodsRHq2hE
eZgKhWOV6pL/IKcGoUu8QpV2Jc/5MFHBYMGagzTOD6UhyyG8+npSihBRG6p8yeo/
mZxOb8gNZhBWGDo9mWERZmZ4CYiGDJbG00sRyOWcD3oH/dKFVec6sF6NKJXKoMAo
HiZWnnWhP8fnCRq3z4SXeE8TrUIz5IPeX9DDtXlth/IOU+mxXeKvPwmGbH99BA2v
5abOn0UZiMrSja5FVUOW18OrQj/Ghlv012a03VY/vEo1PENqby8aPsxMi5zY8Rme
Xu/v30cVwg7rVDluZ86xvFKTznS8uBynoPPqe6c/jokc22Ypq+1VaeO4YoSJsp1S
zPOmDcdFMmF27wBdHf/RLE6tvdGBvQy3/hmvHsIfTIgb14KPLXIM1xsIG+rD8GYI
QUMjicAtdpmo0vOVUnoTbTFhp1p9i7/sJlthtwrnzsDgXCUpBBHO6vy+8zh+w6UI
8tr4VZKDMJF3CrvtdF4kCL/eqLJj7Atk/uRaPu+AJTPW5JOTp5jJ4EB47I2oenu4
LYy1S3iIxbrO2dtTf0zbSfYBXKiePRrE55XmZ6kCKfe/T5Nt51Xfdl7N3gHgksSa
aDuY73irOfamx+5eVULysbCFoVJyXNbWOtiuQZxRwSPG/WCJdNZBzHNaH9SsZ1K5
pnMfClXjkMtLuWg5qfh26w==
=/qhS
-----END PGP SIGNATURE-----