-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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: 2.2.0-2build6
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.2
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-hierarchy-builder, 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:
 b7b599f9c1e0656a64bdef501afe6d6b8877d8f7 1839093 ssreflect_2.2.0.orig.tar.gz
 82a2b7c0dfd637a530673ddfc410edc18ba9de80 12812 ssreflect_2.2.0-2build6.debian.tar.xz
Checksums-Sha256:
 e7e8f3ebfebae10fd290a63fffdbe311d32df7eebc2e66777e194269e72697f5 1839093 ssreflect_2.2.0.orig.tar.gz
 928f4d8d02d7f02a2535fd512711139fd181fb9b1b46715b2c4d7b5ac3173f42 12812 ssreflect_2.2.0-2build6.debian.tar.xz
Files:
 81e77617be4eae98fa33b5eda66c8d83 1839093 ssreflect_2.2.0.orig.tar.gz
 34c215ad5cad6f2be7089f0c3e84a4fd 12812 ssreflect_2.2.0-2build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbpo00ACgkQ808JdE6f
XdkZZhAAjs3ok2+phoXbFXW1ajk4hkgToI8RCffyeyBukudCpWU8lLdlQhhILTXJ
t7v+tfMrhGaXdMzjeHxAujkWk/VX/7eG7HQLweHy1+lugUb69aM5tURkTma91OC9
G4CUBW39yDpMOdyvE5fa9iAxVNdyCWokFY9fsmUFBu58soukw2Au/m2HrXjDXxlT
vSKjMV6rZIDD6dokrWu0w2bHDkTnBQvkHJJT4vmvNFi94FvCy4DRGCu5kc6XPl7X
thrupIOfJp1KbinIBLia93yNL/9geNjlHRcZS/MBbMwyN001uU0DxpQQPGOhuqQ5
m/+Xk9NpU/FXT3eC+WSUbLw8zbMocMyqle/DOboAC/4wviGRbPcwoGMbaUkzzCL/
j7e1mbuh8mNFUC8Lbz3MDxOqqA3MLOvGBVFxTu+lfJ8ZRVphfQ/mda/fgBxW73p5
TwU2ZxC2hWNjMP66PnozqkiUnldrrcZdc0RyLUfj6MD6GVRBEyLtkxJbIL/u50wp
EYo38QfqqeV6GwTjNztlPG0h518p46fbvBTtOuo5TPXwCMG+a654Wolh3eorn6kk
E0WZfg7t7rBmA77neV79dsSqAHin9hMbi6rLUcSr7sSTKEuKvcH5Qx1w3X2/2JGv
LJd6yks8Wp0HEL8G7YhOHYX5xWCjaRlBdOxyvjcX6duJol5YSu8=
=tVLH
-----END PGP SIGNATURE-----