-----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-3build1
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
 f6d58e55a1efac9871562125d4c1860c9698226b 13332 ssreflect_2.6.0-3build1.debian.tar.xz
Checksums-Sha256:
 b2e8c5c93fdc9bb5ed9b8a06d1c028aa0096a45b1f3ac6c6509d7a6500c72253 2340624 ssreflect_2.6.0.orig.tar.gz
 b68cd1b9cdd5abaa5abde1b2b96aa65d870dd918a23677b973f88525a3220660 13332 ssreflect_2.6.0-3build1.debian.tar.xz
Files:
 cde08c1c6d3b70fe71f2f82e5ce3784f 2340624 ssreflect_2.6.0.orig.tar.gz
 444a108aa81cc9ab1208e47d0eb72467 13332 ssreflect_2.6.0-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqW/XEACgkQ808JdE6f
Xdk/QBAAtMpFkC23LhFVVeSgtIH5L5blj0VlfDebAgW7pY1EpuS03QEnAd7sBM+r
0ISFhlIpZNuxQJ5Wr8nBtbQIqRItxtDF2jA0+bsGVEjF1LPElZfbzFYIwHGvr90x
cfwPEjvm8iKzUappYw2Walv+farDOOQkXSJHQW0vf+UXyFYHLq+VYO/kCBPoQr4r
7ImREflSuRgwpJV9aY1BXwW9WOrUm/VrmhyJ5ZdkEfClMfx047f685DFBjfeZnoT
64vFQn5RhvWGDfjAL7bRWbVdF1PGrtpTokHkTqWjJQq9PQcF5Tw5AhLO25a8IGW1
1H1oulnzNF2JSUcl3R8050YSNjwUV7NDQ+dZVQgqoVFqEWYZIynfQsZYezsc2iAb
z0X35M01v9fqBpw6qtCGSAZqiqkVhRlZ0g3cPSM2en5+uBi36EAnWt5/j2qEKogu
/qBxeK2U8wISoDLjLqn3vg7xE3CwQKCMcwYry0g7zJfM+1YnCMP42KuOKDUsUBVW
ritoqKBLfZAqYiw45u/28yfSYUg1POB7ZKZ9nSh1ZkFlxAj+KCnC13mPQV+r2kea
9k/CNc4R7MahxYTtlephP2WyNxtMxopUC2daUPK5qH7wJfOqcqFNWxTLbm+Rpev7
YqrpmK5nm3bnFOMoqMwPtNnqSasnK0cYSMpSkUqfoE+Bta6Ybpk=
=0KDx
-----END PGP SIGNATURE-----