-----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-2build7
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
 51e22d00cebb3b140d802533dd3ab4d1c50882fa 12860 ssreflect_2.2.0-2build7.debian.tar.xz
Checksums-Sha256:
 e7e8f3ebfebae10fd290a63fffdbe311d32df7eebc2e66777e194269e72697f5 1839093 ssreflect_2.2.0.orig.tar.gz
 2569e924d8632c84e871499bb1336d204f292081377a22091348f6e8e62dbe64 12860 ssreflect_2.2.0-2build7.debian.tar.xz
Files:
 81e77617be4eae98fa33b5eda66c8d83 1839093 ssreflect_2.2.0.orig.tar.gz
 73b90414d3f75645608b815a9dc933bc 12860 ssreflect_2.2.0-2build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc9DXgACgkQLIPbyOm9
Djcoxg//fsqNT81QniFd8bKGQlI6ZwG4dsw0SSRw9RlHE6HKT6MkmWJuWk2KSl9O
guW9BBYiRDMQgURrxrgjzo15jGzb5Wl1zP1qUCaYI+5fmOD85tshwwR4sdMuBYWn
svtl8TAHrOVfvNEzUrHGmNotR7DfBFnnF0CcoE8ujdeHsQvvCdjEXJCjUbUETxTY
N68SzC4RG3/gQlv9Xedy5tF2jRVCxoTqSvDa/KR7NP30kuTTSbQNHzg123/QmMP7
cBLVMpavHw2dnMr4xYUclQOu0yJfpzIo/bYCLTSRX2hTTXXx7EmduRX9msxCfZmV
y7GfzO+3Zq7ibbWHDQnnLQSjUIMDeWEP2KUtQdg2OzjjVZMKTCchp5/ADnSS5xoz
g1tolQ0H3RCw4dx3H7pvQatcW3HY9e3pKBzjLE0L3MjlC7vHc7TfVJRiTMYdjn81
MW7d8Cy6FNO2z4iao8uMjfGeQXLehAtMNtvrdsPZg3nepRuOmVJziqTD1w+drzwR
QkDHLCS2Xj2yIQvA3MIxsiHd+K0Nt1Z0QtuiN6XX3tE4JFEivyR2L8HzZkBMX2IA
IE6wy70Eti/jTwy3PZ3wSpMFARgTiLT/ElJ2kOwgum62xQzzXzzx9u6Dr5FKMtP2
nRQveDEndOwXjvTstRrzZ+C8Spl/DKvq/xBnviFDe/jSdKlGjik=
=gpLV
-----END PGP SIGNATURE-----