-----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.2.0-1
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
 861fe2b40b2973e6e1e44d91c7856a49755165d3 12616 ssreflect_2.2.0-1.debian.tar.xz
Checksums-Sha256:
 e7e8f3ebfebae10fd290a63fffdbe311d32df7eebc2e66777e194269e72697f5 1839093 ssreflect_2.2.0.orig.tar.gz
 820e1f8da64e5b0ca3f96cdee15cfc2430bd9c9db34c97b74622221e204d1815 12616 ssreflect_2.2.0-1.debian.tar.xz
Files:
 81e77617be4eae98fa33b5eda66c8d83 1839093 ssreflect_2.2.0.orig.tar.gz
 2812aab8cd230928a07ff2ccff181aaf 12616 ssreflect_2.2.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH2KYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLb4QAJYQ3y8s6H2gkeziPw5NhaGeLEedIr37
oJLfcsYNKVW/jAHySzahoDzLK6dk9/YCd7PwjQLMOpicP/ZxliJPQRmtZPLjO+s1
HpPhPs9T+hdSw48mez3d00F4ekCTpTt1pWNTVN8SkNNkbRX/QxmvPMYmodlgkXBP
9xYaq4AXnBSY2hBhraf1zyPPddLAJ59UluxOovzMV1KO4ylHyGYNKBM0r54dZAhu
OgW1TXnwetAxOsHN4Cc6XShmB+GSY4kgDKNIGTtl22RAIT9Bm0los6Thisbhd33Z
fOKFL+0VIcHpon6kzzcaxebS3uA6k9F5IDl7ryHomAgr2do1sdHoELW1r75Oba4P
qtD90xpVptznXcaHXMYGnZiu79/zYNzr5GvLGjGHHI3DJBpYGCxvssWeL2CtxBeQ
6bjygKOVGonbVpr40q2MN4ekHIGIseLFQUPL+puAriNxTnLts1apoJJr9qk4T1Sk
2r0u3kjQmGwXhJR+2o16JFnp9D4z8f4+N6uJhWNuwEbUpfl/VatBvvbiyV3vATuD
0Rwwep+L+kdVJNEE4Paw4L27936VQlk8h6OojFfLt1Q9pUrAzW0dksQts40wmNy9
tceZ7wkoI0ljTEaO49s/Nw9QrlHiQF/OP1Pi70nT2MzkyBa5Mnk8N39lEfwww/zf
gDfSEXEAMN7W
=NfJt
-----END PGP SIGNATURE-----