-----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.15.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.1
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:
 eda35525d3d0fd2d89ec15429cfdd5ce2844591c 1359283 ssreflect_1.15.0.orig.tar.gz
 f96486fe00ebf32593eba20d57df7206c33fde6d 12380 ssreflect_1.15.0-1.debian.tar.xz
Checksums-Sha256:
 33105615c937ae1661e12e9bc00e0dbad143c317a6ab78b1a15e1d28339d2d95 1359283 ssreflect_1.15.0.orig.tar.gz
 c0bd3c3092d8e7ab6b10d888e051cb519d70d76e3b030b07dc5945a65260ff68 12380 ssreflect_1.15.0-1.debian.tar.xz
Files:
 050d268218930548aac6f25411a3a4c8 1359283 ssreflect_1.15.0.orig.tar.gz
 31adeddedb692579a99cc39e8450e396 12380 ssreflect_1.15.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLD4LgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR7cEP/jA2ZdqkflrwkT3IQ4gGviUGizk6dQ5A
fO5LCOBz0jBfzmv6speCJeUo/6sX5hdRPyuPjFC2SZZlBvWmZW1IK5fOF6m7Z96Z
M5bfMzkd1o79N+Xg0ZYeHdC7whAdrtwWDY2bZO29pNaK9G8mdLtRawssYGp8Tyec
qH/dsmA9WMW8BNfRgs6OydmL3ZrnjdgCkNLDi48Cfe2aQosiXdu6nKbFs64Q6k5D
abRrqGFr0dil78/i4KDaIoiB+4q7PSpztROJETvfrF9WOYbwlVDDOuK30OmjnK1u
wHl3OlVrjGZteW+P4qeDI0cIXjoGYbAS4cSFNpZUIqssl/6f6VHIwMhc2nCk2B5o
bIZ9oSWPmaAVwdAhHuARhhZaEN7BgWP4PtKDGrtG5jFI/AJGGjlw/Eiw8yha7gpK
yiyThoNl+k6aFWTymwST7i1Icf0Y3Ud7e3mkoC60r4ucfwvVuJEX+HtePiVnAcrP
/bWqQioneVHGzqRha7l4+2F8Me4J6LXWjUpa1VSM3iLgtjlFlX7v2KPrgoLy4LUQ
5ljnLi8HzFH2+FTJHAtqKP2FcntvbyUaXDKji3aS6ml/Q9zDrI0lG1GFn+fytCN1
tAh7rD3ignrN3pIVpUJqC1lb3HpHOv49W/8UzCYxKzoN0mZtTAMjteCHb1D14pxX
KHOIecpqcz4z
=xzyW
-----END PGP SIGNATURE-----