-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: ssreflect
Binary: libcoq-mathcomp-algebra, libcoq-mathcomp-boot, libcoq-mathcomp-group-representation, libcoq-mathcomp-field, libcoq-mathcomp-finite-group, libcoq-mathcomp-order, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp, mathcomp-doc
Architecture: any all
Version: 2.6.0-2
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.4
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 (>= 9), graphviz, graphviz-tools, libcoq-hierarchy-builder, libcoq-micromega-plugin, libcoq-stdlib, lua5.4, rocqnavi
Package-List:
 libcoq-mathcomp deb math optional arch=any
 libcoq-mathcomp-algebra deb math optional arch=any
 libcoq-mathcomp-boot deb math optional arch=any
 libcoq-mathcomp-field deb math optional arch=any
 libcoq-mathcomp-finite-group deb math optional arch=any
 libcoq-mathcomp-group-representation deb math optional arch=any
 libcoq-mathcomp-order deb math optional arch=any
 libcoq-mathcomp-solvable deb math optional arch=any
 libcoq-mathcomp-ssreflect deb math optional arch=any
 mathcomp-doc deb doc optional arch=all
Checksums-Sha1:
 ab84ce1484e3d532c422d1945ce159da72834437 2340624 ssreflect_2.6.0.orig.tar.gz
 8fa114ef06d79deb397154bafcfbf200d038b4dd 13228 ssreflect_2.6.0-2.debian.tar.xz
Checksums-Sha256:
 b2e8c5c93fdc9bb5ed9b8a06d1c028aa0096a45b1f3ac6c6509d7a6500c72253 2340624 ssreflect_2.6.0.orig.tar.gz
 9466bf27a9ce4ef7aa34c9f2022a85f36ed1e518f5d4602cb3852f870373f7dc 13228 ssreflect_2.6.0-2.debian.tar.xz
Files:
 cde08c1c6d3b70fe71f2f82e5ce3784f 2340624 ssreflect_2.6.0.orig.tar.gz
 e11f871005dd2d36856786b6b48a64ff 13228 ssreflect_2.6.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppG4QZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbT9D/wJ2Ter2XcfsWVv4ZuIqgfa
nnag3I0roOx01mdGN+PoRNIJrUIxClQY8aGxVslqgmEP8Buhs1vueDYKEZ/WR2s1
wLXrdyBVCPNAewCS1cH+XwAALxlZGAFoAnZ3GAsb5/KfQeA9p+6pv514S7Pt2OO1
hAQJ5zooilbu6vi6so+/99Miwrst1JMh3p373ZvkwyTDAcm+4YgAuwDXQP5ODZNI
btPbJGvEnKL4dr9weqHTJRSaHNmp2KUHAPEscwar016iZ1eMMY3V3x/fG5ESmVqO
G7V49GynD85BkDqUPUHsK2vwwqNSwB3EUgWZkQaykpPzeO1iUPIrwVSGiGkwqF9N
C+IO3JQ0I8OwnjXat9tbBsm6PxMrWOhikwXuwlk0G1SldZMhMY7uRhkmigWg6RzJ
7aUjQSxRsawxz5gbS3aoHovQtTGAbsqMukwr454WDwNus3ICjPOf78Atmz7Ll8wU
LqVfNqZXq00eAOszO1+aZExXl4LHfIrsiIhDWAbUDGETBuRt6UKeo6IhFQkLww9A
Ovhsy61JZmWrqcRUpyONDHQ46ZqEYmsu6xknys3Vr1Eui1ZMfuzuYIS7GTSgUJlJ
gw5UCSU8ZcjHxNfgM3Jlur3YzofdndDjqGvKvSYO1p0coE8G5KQdAkRn06/YgQhy
znIMYB2lDZZ0HRdZp+T46w==
=+kXX
-----END PGP SIGNATURE-----