-----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-2build1
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
 d924f3106eea9ebd177ee5eecc0ed85538f1ef78 12712 ssreflect_2.2.0-2build1.debian.tar.xz
Checksums-Sha256:
 e7e8f3ebfebae10fd290a63fffdbe311d32df7eebc2e66777e194269e72697f5 1839093 ssreflect_2.2.0.orig.tar.gz
 738f81b77fe650772ee6edcfc6e2f770022bb868fc111509616b356e248e4086 12712 ssreflect_2.2.0-2build1.debian.tar.xz
Files:
 81e77617be4eae98fa33b5eda66c8d83 1839093 ssreflect_2.2.0.orig.tar.gz
 cdb311168ce648852b512cf4094d8c35 12712 ssreflect_2.2.0-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmav9d8ACgkQ5mx3Wuv+
bH2G+g/6A8OftfFAl1SKYvLUQi5YsTE+F567xGkxiooluhKtupZ26hzN5WSqK447
04J7JnF4S93DW/DMNS9/sI0U7dHPtVq2bFt9Bx0gPFqLNayFIzbRtfVaGZkQw7bL
Rt5JEiE1hE/22p/hl7fMB7vnl75uZ9tOj1zHeJF5GtbCnZy0Y8rEvxtlvwufakCy
7XaR5M1f4IVL8L0ZYsG75ObCh/iSKtoMBPVLEbC8js4ZSHMQFsR9gvZcJLtz68if
Wm6KKCRSER1CIEbu4q/lZc2poUu27WppH4GcT90/KQnf822BtqQLlkIMq/Ipegl+
Y4DH06JhtCD+jqdNq+Q9trj6jtthhx87RrL7FijDj03xYzNSAxzTB+si5tm07bI8
b4VtW0D9He1n2qw0NhS9BKCSgcNSwklG2BYA/+RrlYjNeeBWb/AaQz+22vjCHwTA
q6CW+xo9EZ0wQKHfbQs+qe8g0hPyODawhXc2U+dCHhVX7al2lbE7u0Qe4KZGGCfm
skR7avXL/8PcbOA/XgTOCWhMdepcYtqRP8Bt5jLZ39jc4HOWTgqpNM5LgIaN5VNa
t/B/TZUJkTco8a3a1OJtUWZ90uKX2hZNtLp75sfGdA1ofnkXvsCYdxYYGUFvFIeo
jX1AyozvRPqFKjLmF5OfHr7yx2RxzgDlpO1RZw8PRkBUS6pKbfU=
=uO0N
-----END PGP SIGNATURE-----