-----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: 1.17.0-1build1
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-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:
 4b85f08a0d5eaf931af8c31f2de40524c72ef87f 1384329 ssreflect_1.17.0.orig.tar.gz
 7070b5b7b07b08aca649d65b733ef31968065059 12468 ssreflect_1.17.0-1build1.debian.tar.xz
Checksums-Sha256:
 1779bcdac5d23d90997627364a5943ef4883c6eb54d67ddbb1dfbe6b7795a188 1384329 ssreflect_1.17.0.orig.tar.gz
 c0b6e848ba85871619ac3b48a0ec98f3169524de04fd2a6103768c6e28500110 12468 ssreflect_1.17.0-1build1.debian.tar.xz
Files:
 d2ba0d5d6e5e6ca29ec45d749614e89e 1384329 ssreflect_1.17.0.orig.tar.gz
 6cbd6db95d2de035050c3827e799b8a3 12468 ssreflect_1.17.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS/ZpgACgkQ808JdE6f
XdlfpRAAmKc58H6wAhXlwckA6l9j7kHfYC2oJ38H1z3iR+54QuOzFXZZDcxOyU+q
Nd4q2Htdi9iCIfQvy+VjnMuBLmTMlCcOUBwx5gAMvroV26CQXmQz4pDdJfzjeZc1
X8ecYuVmn1Esm7rF2rHTMK8LhIt7GPwqWqa9SgPhrGTfqwVFTTChcuke6b08/rop
4suCvVGF7hqkYJzwW12KjL64qOip0QaKX5DoJji+edVCtkvXr8oTJeba/LrYeVPq
eDpMzbJft6sWtaM+sQ4b3CQ4PBJ007sch4I6Trg6lCXcuBWD3C3RrDZorZbIWWYO
Ps1W5uVNGqSR+hVXjGplnbY8Y5Z3RBNN2BuIOMPbXw3jOp/Vnul9aKNtyXK4anBW
lBadutZJalFsH0AtMs8l+1Y7Hcft8RfP0AkTooDyz0OzF3p2br8wfN7YGnOOI6Ne
96r7+MeGQemOKYlMxQ119cFM2M/SZ0gdKVwt9lVT6Pe3bJDo/tuTzSkPrFvbm+ir
iSc6AUJdKRCmS7NUpVhn6qOpCrcRaoRKnX5EEEqWkm8tnEx4yeYMFxsIIEj5J5f4
HSZzIzCwHixbAm5tjEvXXpFsPHIYlnpND0hoxU2cqUDVNfjU4B+AF/GTwi2B1BDf
6IPeoCtI8gfRedONuf6nu9cwla0kMm1exSXkyKuj0y+b+Ih5ZL4=
=aba9
-----END PGP SIGNATURE-----