-----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-9
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
 3a54fc5bb53062768664879c40e994989489fac4 12432 ssreflect_1.14.0-9.debian.tar.xz
Checksums-Sha256:
 d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 1352989 ssreflect_1.14.0.orig.tar.gz
 7e98e4b5abd28e85dd5132aa16bbf68a5d51e947485da54f841cdb821915fdc6 12432 ssreflect_1.14.0-9.debian.tar.xz
Files:
 692b7e3eebd39e9f382a238925da06f8 1352989 ssreflect_1.14.0.orig.tar.gz
 c24cf7a4331deb8ef0413217195c1714 12432 ssreflect_1.14.0-9.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJcAAUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRdd4P/1WGnMCjUWhXM70/932fmXyRCNVnpe+Y
ofIKblMlw84rppseqqd1EwHyXJU6+Yb8UPCbSVyE3q1Iu5iPiYCP4riEWruf/vGn
kNyDW4O18wAg5QCHdSCPGc8f/6c9KJWKQIE26/qs4P10zFUvAIoC3jvrzaY6A+qz
9h5esy/6B+DLOybwqltdo3E0FH+89gkTBYTwf6BIy2dQk0eYXiOkQi5scw17e7vE
E3K5PvbrfiETfd3V9RxH16j//whAoQbW+y4NsZZnEhnIb5fQob/S0eYS6IVyxUs5
csN3QoDvTKGXyzoB5C6BqxZsCP1+95WRn0VcjBdYkUiJftmM6lI4OsGzOqFx1qTy
HaiHmKWfuXK4kufIF5y9982rbdxSXy6iK3KbnmnuidZ5CwXXQ8L2DC6AQbSW/Stm
QZ4xw9KQs1t0Kh/T7f+rqfzaqslUz+XpZRO/miFe4ooFEnVtuUz07sUaLcexCr6P
Za7sRNKYNiQqZs6xlzrFNEsc6P7FOo2ukbX40BBgDq1TdEz7RgMaqchauGLJOUU3
8RIVSsWEnHq8J0m3Mb9b2ozpVIe6V7GoYDJUqyQA9UgpjMKMMkxm1MyezoxDrgME
9mL7gimnZR00nqaxenJanGAx/Ckk/mg0GlyQ3B53MoviYBrWoZvtMRdaFSYSfilH
U77o5z6Kc93A
=xgR6
-----END PGP SIGNATURE-----