-----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.1.0-1build2
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:
 7764c58048586b004fe3e9d01e6f0da398e01f57 1835482 ssreflect_2.1.0.orig.tar.gz
 7fe995a333f2607d255e20563bcc02aba6241481 12712 ssreflect_2.1.0-1build2.debian.tar.xz
Checksums-Sha256:
 ca000eb4cbd80f9088fd5f6a6745eebf9be3c0d7430fa3fde10a790b99466d26 1835482 ssreflect_2.1.0.orig.tar.gz
 2002e1223062f44a8b6d9620d86832e2b46f4f9eaef7e175c5919d0eedc4f7e8 12712 ssreflect_2.1.0-1build2.debian.tar.xz
Files:
 ccb615155a4266918d4f249cd23d33fc 1835482 ssreflect_2.1.0.orig.tar.gz
 1892507e96a81b9e2932ef20fcf7d4d3 12712 ssreflect_2.1.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXQnu8ACgkQ808JdE6f
XdlShBAAx1JG8wPtSxpeXrFamCqiO43ucR0rHiS6o6QU4JW7un/NEjh3p5H0Z4My
VrNmICeU3iNS3OOWTz+BGF+MGPOM9+bmEzCKSUpvNySdD/kkf3ntctESRER6Wc58
oG3rDmGIGoTPPAu2SORHmy/IF9s2Awq96+RLZg4ua31lAxBNsL0ds8fNipRYTGnY
I5rKGSD3NCtpmxreFHBpxTAk3bcdkI3jPYXPzll8hUUx7+LomMAQvsO09EhvJtKT
TkuNrY2v+GQjWv5o3NsmYJUss6v4MvdD1ZXRwUjrka4Eoj/MTIl20tKX0yvVNKYs
WLy2rKkHZ/C73PWSU92HHgYtl3O8RtymhTn4w9qfAUfI5IFMxjeKsKwlMRVb7/XY
wonNq3a6AOhS53MJGZGCCN+jsYrIXifFbwpDHfcUc0uDB5B2khKmfwH263IbwPR+
1/QmKz8t48H+Pf7LulUSobA4f83851cibTNe5MRDlpwmb5kqdqi+lC/wTTqgFqb+
CtmFFc07m63xTOu7xXy+6eJS2EPqFMywbhKE8NdQl5lrP75xPeA/OYC2tRe44kfM
6xOlRdW72GwIMp4Nj5yqi92P7OXyFQ92tIelheW+oJkt9AGyADl7TVTXraisOIQ2
qHtOkEH3q66kraDhZRyxOtHu2ostMY++Ezz/anAWq8AOzvVxxy0=
=bLDW
-----END PGP SIGNATURE-----