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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-coq
Architecture: all
Version: 1.14.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.0
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), coq (>= 8.11), lua5.1
Package-List:
 libssreflect-coq deb math optional arch=all
Checksums-Sha1:
 4b618e02a46e127eb16c0795a7c262410411c4bf 1352989 ssreflect_1.14.0.orig.tar.gz
 d9853a749d3150253268d8259f0d75efedb51389 12148 ssreflect_1.14.0-1.debian.tar.xz
Checksums-Sha256:
 d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 1352989 ssreflect_1.14.0.orig.tar.gz
 a691ea0cfa429e1339a7a70ef2a256f24c0be86164e0bbe2af778bc1e877e00d 12148 ssreflect_1.14.0-1.debian.tar.xz
Files:
 692b7e3eebd39e9f382a238925da06f8 1352989 ssreflect_1.14.0.orig.tar.gz
 764eb17a8f355b85321b6b455f762e45 12148 ssreflect_1.14.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHuYC8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRMekQAIgfd+V35O31U/q4ZEuydrfyra7anzVn
cxLh6kyiUVhOnXpP2iAZ2XlhQ8jpn0+r7KFx00KJgxl64goT7rTrnbU1jzxhmQT6
v4IA1CEnctBTOYTJHPHhL7lFyBbFGFWrI8ntXqdMuEGbNLW0S50le/QlJ1S1Ataw
kPb3xWht3L5e/gW0bo30HVHh3VPQU5wclYcjF7htD6VJ0jIKrFIhXMHT/81ee0xw
wGSYaYa50rxOP11AP5IFBnHUDcKQ9k5F6J9wxd4AhbFXSoNzIKmjE7OzSB2mD7XB
hDDYHikxAaOtCBOLn3K1ZtaxlCmPPWKAPSn1ehj3wgYDu2wEtVJ2f6o1fAjAysAl
ZiC2nDcA4o7VRvyyMeYt1gs+2yzbwUJC2EueEBYU9TIQYwhx0y+IkWPzKZ4yyRpj
bCQi2llMEKUaWeZnQEkuwYlggU0RQB0P1BDwmO2l39JdbrH2Im6JIFe7927hbm3r
PEN3RWLANsffqdZNzrtZR/xmOeeonTjqECjwASzBhxga93w+B5Qq7WMA1XxEel8e
yDC0nNKgzY/dP6vMSwt14juUGIqdpgxmVsHObXcxDRhWirZ4hmpXGnCiZt/Y9tU0
mE48mlGX4/86rlWt+GixfYvco+ltpsa7ybR+XsWCf+tGZeLK5Rw3Q8LCSTwL16vi
ZENv4KmpbIdR
=kspY
-----END PGP SIGNATURE-----