-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.10.0-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://gitlab.mpi-sws.org/iris/stdpp
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-stdpp
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-stdpp.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 bd61652950b198edfbc710821c3048da7aa05826 303203 coq-stdpp_1.10.0.orig.tar.gz
 32b5a3b46a95f9f49d37839d78496511afcb9c01 2700 coq-stdpp_1.10.0-1build1.debian.tar.xz
Checksums-Sha256:
 c53b8cd58f778d610a010520929ebf61942cce950391ebca67fdcb3abebd5ee7 303203 coq-stdpp_1.10.0.orig.tar.gz
 9a47a49a10b7978a88327ad2069757eefdc2ecc8f2efc02a064cf88e5c6ea28e 2700 coq-stdpp_1.10.0-1build1.debian.tar.xz
Files:
 d8bc7abe369a1bb18e9c37133712ff90 303203 coq-stdpp_1.10.0.orig.tar.gz
 1a5bf90fe4417c184fa3958c9307e734 2700 coq-stdpp_1.10.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz8zQACgkQ808JdE6f
Xdm2xQ/+KPCueVzDvS2xgrrYGqteKxIOIQD7WS4+JExTuZwZVddfYiRWAoaBp4La
DaMB1Zx4XomLYFQuGDRwiwwO3bzfLKc3TIRLuDZDrebhm9k55yh91LfXNjcodxOF
SyclCYEQlZngh8zrzXS6hDS2rwFSJq/PnvnQBgXYq9XCCXwomeRZs04MJeDfQgwA
VH6ssYenvfe+vGsAEV1AZvFKeMmNJlEBJYhS8SUvY0iU3fTyTxwQovgufdTjqSOM
yMgzC1ZTan7z/ScmhvK2jc+CvaloOyERqO/6mpIwWXvWkYnjIiGCkhe2ov6LEu1a
uKR8N43Jp0VzePn4YDFk9fsQe00l2ME6J0/DxIu/S7WOvqJqNHIsayKKH3e8lhCb
harOh/iZZh9GVzxGmNEDaoXFZrdLHqebqQJeNgvc7/39uynmOfCGMr+4k2MOsUkF
l1FUykBUMFmtTcav3K35LAiQrmNJQzvPPb0Ymr4BHEOt5NYG8qKB906pj1gaDJOB
6OvMJ/KXY/P0sO7Ovp61MxTCkg+0K+Yqn1HkFFKSU6ahaQuvSKS6pcgRPG8tJ6e5
XNW9uXCIzW/2cCgPSdKyE6agC0g/GFgfiNO3LYhEC3/i4CuB27IqV82e2bv7yLEM
HjEeouMPFJOAt1Pzl1lv/4FKdtfprCDrkJcTivHanOocp+Mj9WA=
=LYU7
-----END PGP SIGNATURE-----