-----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-3build2
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
 9c96ef1beb2198cecbfb058357c35ad709369630 13376 ssreflect_2.6.0-3build2.debian.tar.xz
Checksums-Sha256:
 b2e8c5c93fdc9bb5ed9b8a06d1c028aa0096a45b1f3ac6c6509d7a6500c72253 2340624 ssreflect_2.6.0.orig.tar.gz
 79442b98f4af8bb5e28060513cafc9c680643ffb91b458b003e1f283929fa6a0 13376 ssreflect_2.6.0-3build2.debian.tar.xz
Files:
 cde08c1c6d3b70fe71f2f82e5ce3784f 2340624 ssreflect_2.6.0.orig.tar.gz
 ec4e93fa60da5513a5615143722151b6 13376 ssreflect_2.6.0-3build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqujDsACgkQLIPbyOm9
DjdsMg//ZHD5pUxkmsYOx5uksqNNBCvEcuwlIj3RAYSQUHbREU1ErtgG+7Rr3Y+P
whJ4PMt82M/RHTXZy2zlj0qTuKFVO04r12224xWZb5/ZT+cT5iIJZsBVN6aVNvOM
RS0heV1DRla0LqfuuuE3AJzVO+IYaESWj+3pU/rg034cJdziWUoFwv5+Z45nEs92
f1K7f0/Z5dlIIVhD9vG8K7jxEB+0vPxopee+n2BFemCD4wWWbNj3Sup5TEIBg8Dr
SwFOcGCChC4CK7iJMlgzgbCuesP3N22at3Y9j1PQhL8qOEHPtLLyJ2OJVXxx31+C
OUtIOerBN1SY+XNZQwp3HGmdNRNDxgtU9UkC50M20w6Nbr98ig8uCHTH/yP/imEE
D6dBX8pg2XRGLpUbvU8AEyVX8d6BVm7bMEisrukBQ4H/xDR3dSxE6agJOSQNhnxH
bVCI5X/QcuyBfD53o1KZ3PQbwGp7bUl9hI6B5jbJXDdSY2ksttN9MegKNr99lcBP
FF3ZLBwYt7qutfqerl+y5X9SMFQctHN3+DbfzNF9MiBTSCJA1M1Ie+pYr32sQ2v5
QscA/0Ag/+ZJ2lAk+VZ/oeHsILIJketySbJfNoSTMU7Z8EeMgYDwryyy/52HBz9l
HLvC+o0rLh5BkaBQ4zRy69RaqVuRsTj0Pun0T5gyroeoLv9nR1Y=
=1KMc
-----END PGP SIGNATURE-----