-----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: 2.3.0-1build17
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.7.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), 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:
 5dacb4a5e7e2f9715d87bdce0fe829b7f7f43e38 1880788 ssreflect_2.3.0.orig.tar.gz
 1b394231af6eaaf91f4ab8e59322e96f7e689032 13088 ssreflect_2.3.0-1build17.debian.tar.xz
Checksums-Sha256:
 19e13c8765007f95b4656d8902bc66e10b072ab94ab51031c5efb860827d05ec 1880788 ssreflect_2.3.0.orig.tar.gz
 eed1bdffc8d038b10acd22b8b69ebbeda87d5c3c2e9b7aec036525d583aef29f 13088 ssreflect_2.3.0-1build17.debian.tar.xz
Files:
 9120bb2399f98c4ba1e03677c2ebabd8 1880788 ssreflect_2.3.0.orig.tar.gz
 4e195d2148da1bc45d2a5f53e207f60e 13088 ssreflect_2.3.0-1build17.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlZXx0ACgkQ808JdE6f
XdlhrQ/+LrcUkcM5IJhto/1Vbh8KiwJ5Jx6LVCLcFmv+iky+biitREpz8YtJ8PKd
KNH90RDw3KZSJ3NZxQuiNB9f/f+xrYX1DYL31HRtc7LHpNgnK/8LgEDuQrJJdOg+
Bn3Iq4dZbcuy0tZSKVgPtavNL/PdNclsKYSWJV2FR+vx5RkkQKwjcL/3pUlclJYf
XmuCUeHZqz9B6WYrzqOduxv4AGRWD67XEgIAuuQZcpmefUCZJNkIUm+2NACDSeen
nFNKYvL8dtp5BJuLnob4HJNEROu7AlkVa+3h7drb1U9M3bwMlpKFf4ggsp5NsgBv
RTyqC8QXRprKQHpfSFjHSx0VpxYUa108Yk53FGnirQ0i9lEPoRQYy2yDWXBKh4wh
3Jtt9dEDQC7KaBpZ+l1ayc3v59Wnit9d91F/ghToFE9vOuuMnPPQs4RbecTY1/cA
9tRPfRckYm8SmD2t8GpSwF6TswE0Ke+B4i35cyZW+W5zJqnblcms81udEfC5fRVs
Izd3Za4JUU5JVDfiCSHAibh41A9lHaPRssooFTYnEgUEsEMOGXh8LSgnoUeJTzbt
NRMRQGnA3io/vGrjDA21XtNhJIKHU0cpFw6HRoY1Pta97k8t0GnbuUED8a9VErYT
nYYv+cqZL75PJwIMDflJo8Cp1I9xRajjpbp8h8Tcqvqauxi/rF8=
=SIN0
-----END PGP SIGNATURE-----