-----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: 2.2.0-1build3
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
 e7740e22cd97839ef6b8cd87a60de27be8a3be85 12708 ssreflect_2.2.0-1build3.debian.tar.xz
Checksums-Sha256:
 e7e8f3ebfebae10fd290a63fffdbe311d32df7eebc2e66777e194269e72697f5 1839093 ssreflect_2.2.0.orig.tar.gz
 7643a2c230174af2435a50a73b27c29dffbf082c9b4924175cfd360b924deb9b 12708 ssreflect_2.2.0-1build3.debian.tar.xz
Files:
 81e77617be4eae98fa33b5eda66c8d83 1839093 ssreflect_2.2.0.orig.tar.gz
 1af59d33bb253fd6b3c5c706847657a2 12708 ssreflect_2.2.0-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtphYACgkQ808JdE6f
XdlVXQ//eRNztMJotg3/uU02n7xndVl4Dg5bU8lZKmGxMjEwz+E4ZW51gAqogSo5
SSIyGsCniXNzjesEb3+Z3JZsZEdrRgbnT8mj9pVA9Rh962TjOraa6UlmS9MmhdsB
q8OZiSwq1wB2v/UyB3Fba6rYQezBf6WTMG3lKRnxLNfGJm8YeI4eXYybf0LckThc
5zbdZ6JHixN6A98lOss63M1GZGfS8qKijZWd+wJyp7bxrJ4YtkSrLx0AhsszcW6u
bFKlMP2psBmtnjCvIM/m5V+TaCdwwSBcVg0DCwKHBXGcfkW6lQCRZRHeaIkJZt1z
kr+6BXTELckkPWuMZpcRjO+jwRJW+/tHzxXqn+AC+AgY7s6iP5t9nTHV2XIREDs5
FwZpWkYARODyRTVyjP1vMrQ5ViwpoW6q55z0fDbHtyTuWkj+bLEqUEW1UihDe526
5ctZm2QzpYQ4dOZnCN2e6WVrgtNyY3OBOHUkiFUfg1qf+I3BbquF/IltOuonfuaD
g2uYzry2Q1lCkxQZ+eMtNWNRjkL1Pfkepv8j5MmyXpAiasr5jk4CTz5X89f1ENaW
bNegaua0MZ/6tkJtKc4fjpfKRseDElFmU/qwQIkRIsZCdhURiDT4D93mj/gf12nA
ZJcTvu87TbXqpFgcULr3KYvmx5gZUpb3e8+ge8+t1TzzFPajOZM=
=J+DP
-----END PGP SIGNATURE-----