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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-coq
Architecture: all
Version: 1.14.0-2
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
 869fadb214231280cde4ec3ad34f9396a4bb145c 12200 ssreflect_1.14.0-2.debian.tar.xz
Checksums-Sha256:
 d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 1352989 ssreflect_1.14.0.orig.tar.gz
 131febaf636cde185428d25fb3b3091cef49cf4416b9e758916b3390b7066539 12200 ssreflect_1.14.0-2.debian.tar.xz
Files:
 692b7e3eebd39e9f382a238925da06f8 1352989 ssreflect_1.14.0.orig.tar.gz
 26c1701162a603ecfe51272a6a0f683a 12200 ssreflect_1.14.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH+O4wSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRVioQAIOlTiK7DYvPH5ajg/v96kud0MPj7vlY
1HjoG/UAUGDqjud9ngNOGCQ58aadAkxvBsdFGj/eAib/i/WsuajePtljvZx5PY96
+JO5Qw1pRuQp/StwCUVTtAwmEbdWvV56hy7K9p3BUdqfr2Le1Cyjs30ZEPGXTfEG
DKqj1QnjPXk9Dk2TUKJ3h658km5iVbiWZ9urxrWyJ3I0VIzqupoQUKgtr2MHLJYv
AQMY7jaOIgy0ryX9wdtc+Nv0NLECG/vuTm21VrS7wGbX7RfRVUYo4ZRkPyjGBxB5
JGT+gWlWMImLP22f3PNnMxu2a+6vVPkOpWtvm4iT0eqyNFxEvD0wgnAOmkGNqP5G
YHmqrjAeJdOs3D7ATD5P0CpTQKeyHWhrk+8Ai9mafPtWhdBzEJq9zBrm/9Aaz6aG
/2oo555qjyOwLglPYp2WLGn2kgjLOfXbeVe326np7yTFEtEUj4cVZ2ftk2UB0GHo
4n5PROzwXRoyv6twfUSvRuI3VPaGzuktdk4G04DcyGnsbFFnbkniIA8d6bdGUJxw
551YUZYEZGGVWjWNQ2csZ5pQK/JBV1k77laHH0PLKgQhrqTBzBhTE+Hp2KdNfEjq
I8HUWQiyfHxRjrOWXdCBWxl0JXgvF5tO+ZL42iwx6objewa52ai5LAP+uUbeoxCq
ckLdC8NQ+x/l
=Irpj
-----END PGP SIGNATURE-----