-----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-7
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
 a12d9f03bc865687aab92de38fbd4062482cb986 12372 ssreflect_1.14.0-7.debian.tar.xz
Checksums-Sha256:
 d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 1352989 ssreflect_1.14.0.orig.tar.gz
 55a9e826008a826f30173c746fce5dc300d40c0ef8c5ba795d9a0e51cfda67cf 12372 ssreflect_1.14.0-7.debian.tar.xz
Files:
 692b7e3eebd39e9f382a238925da06f8 1352989 ssreflect_1.14.0.orig.tar.gz
 c8fd9a9b8a2c3882ba5d22e371bcb1f7 12372 ssreflect_1.14.0-7.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmINamcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRAXgP/iCjS7twqTGwEuRJ8niA9a0ceSDLSVlh
v3CSl9BvTBM2UqNszMM628UqqXWs9L8nwJ9GVeTmq7FQwyRgV9jsBf3ECGLXESNt
/yE6TmAtV5warVHki/cdNDNjxceHCbP5FlckqUUBn3tme/BlZroEHg32QFk+Pmfr
wGRBwi5gVVTmY4xyzlKDoNisLEf12h+UbfagIQHuNHxVFI9pj1gy+as6Jv/yUfzw
NUrtWI4jE8wBDylbT/4WOpMseP09UYvH7NDj8rcg2EzvjioYOSHNH3zmXqNfyuWb
7eHcbYJQpGF6DbdRsm1UV+ywVo+rYJWcHmRa8EPzpjwHfEUNNmhaaOd8kHv84jbA
9gQms2s9yz64HZNUDtADEFddLWKiR884J4loUSH20GMbWTnL6lQAo5DFl+IEnwe/
pyAenPrCnj8MlwRtdMWLrOJ60tF9fyTJBB8RnNPvdqOoYeVdG+eJesYjkYKq4JTD
Y73ncMrT1RxTk4ugHmWoRaTe3rI48U/bw19H7gKc1i3xZs/FWiTvDlX1E3nH6Hbi
yS0wpZG4EPGEaL7UbJjyNaC6G9a2IPKoPRwGA6H4VisHXZH2QOYnQaQilzw5lngb
DHs4FxU+WjQh+ZwGfP769EJ7VzlcHy1RbaiXex4vLdqfFSQhjuobY3NC9xtzkghS
n5EybnlauYy/
=ibkG
-----END PGP SIGNATURE-----