-----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: 1.17.0-1
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-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:
 4b85f08a0d5eaf931af8c31f2de40524c72ef87f 1384329 ssreflect_1.17.0.orig.tar.gz
 aa62877528111fb704888e5bc4bafb13378cc5b8 12424 ssreflect_1.17.0-1.debian.tar.xz
Checksums-Sha256:
 1779bcdac5d23d90997627364a5943ef4883c6eb54d67ddbb1dfbe6b7795a188 1384329 ssreflect_1.17.0.orig.tar.gz
 6271fe70cacf1583178f463f5423e860b0c005bc5cc024b1a501f7c034c19138 12424 ssreflect_1.17.0-1.debian.tar.xz
Files:
 d2ba0d5d6e5e6ca29ec45d749614e89e 1384329 ssreflect_1.17.0.orig.tar.gz
 eb801f310174981147b06c079381260b 12424 ssreflect_1.17.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSIzmASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRPS8P/15BJL2qubMKToayIG658SmqEMmoaqzH
odM/6BRsVKOcZ2q3XEF57eNaG/P5bc+sfnOPqTj1XEIih7aCj5GQHkgzO38sVcbu
y7gZfC2T1PZi2j+ySkqpJnxbs2xLUiLzfXISY/aScaeJpzlqW5umP1/H5pZuCSBF
c9pqnfPmYgDu95tjQt/Q0C0K/McyUKb1pq2EQdFI3qf5DJu5XuGi2+HBFCyUE30F
5wRSTG78XQgI0OfLW9Fnem0vl4R0zjn/ktKoReB/hunhStVlX1sR6+PAMUvHlW2T
lYC7c6VLNv5BK3VAWrZX8Hu2vN6heedbi8vbFq4/x0DTh7IsAGIzGpnWpCEwaMXs
oDStqO0EcZGDws+3DxwQ7W/zqPaSI3wPOCYwQIPuNU32yYNOpizPVtldmxbmUzLK
ydhnyp1IYl+7wDgji9Wy0sbFNoPl75yvAtEWLNEkWHGv8siJRthO83Dc0tKv5vpz
YNarythByCWm9+cYUaiV2aZBr/8dv1JhUGxhnWnWg+9bo4RLFCt+Uw4SIfV4ARPM
hcvV5fAmAR8/Yk9128TX6utvgokNXEqXSYMaabj8c9KEyovTMdmqk0ZeQjwucJX3
+DGT42AIUih+cuqh5w6tE1QHfPM46e/nx6TR+ROYWOf86H+AMLS7ziN2ZeHZwuFl
BXGV7T0JlgAZ
=/5mE
-----END PGP SIGNATURE-----