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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.11.0-1build7
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:
 93333a7b6ebf025618fa0dd8a1ffd9861905deba 257015 coq-stdpp_1.11.0.orig.tar.bz2
 534318cfa76dd84a338c0ed2a91bc12008ad3e81 3028 coq-stdpp_1.11.0-1build7.debian.tar.xz
Checksums-Sha256:
 05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 257015 coq-stdpp_1.11.0.orig.tar.bz2
 51f7787e97e50fd36537c5e4b567ed0c1628fc5164d9df901198ff14656c03fb 3028 coq-stdpp_1.11.0-1build7.debian.tar.xz
Files:
 4cfe674a29ad567f8bd58556f304516b 257015 coq-stdpp_1.11.0.orig.tar.bz2
 997b251612c7b190f94cb6d2035c5e8a 3028 coq-stdpp_1.11.0-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s9IACgkQ808JdE6f
XdkHixAAsBI0nqLpEt9KMMvDYKg0iMD3IGOgUa5ckaowcU8VnoR4L5aelLKCL1P4
NbWICsmiarG/Ruf1Xg1cMpg0Bct2zh1AuAWxbxiPpShxQmGWiVeXzOFYpNk5FWoJ
HpE6sy/x3Ogf4r5ElEE4731QpaMk6B45CE8yicRzWgn84faupNPpcLJieDIOOR+O
Vw0OEwQ9ZGttLlnPJR+seYe32yHGUu1AzBQ62iqEimk3aPKI2VeX9fZ06Ic1a2wh
CAgdM9Pi5/ESM6TcQD0K9f6vDRBU3tgNhh0u3ByEogtlmQc062y2lJRmoTElgrl5
QDv1giLrW59aBrhKkYkHx8H0dfyaxyO9u+C9FFgZEc3JZQcN4Mm3iG1yAM8KiJDE
M8YGIATrC1IlowXwp8vVghTtvGh3N3k5JpSUU12qrVOcefTK+Iu/OFXFwyAek9YX
7HJVxySg3n+IVytIYBP3VSCdep1pmDsBGrWo8ZPIMwT9gl7tvr4VaTUNrxIHwK9G
nowNWmuF2FXpz2gI48ny4S5WwyuulOVD4F/x9Yjf1t0kVG52+eosHpE+NaK/SDcj
RTXZd794cSmqhabwB25BRhqRZNDdEVB4PTdexm1s5UtLfq7Jcw/X7/Z5oUvoQbTD
sVzxR9YR3wupwIHfw/v40B730cF+deMI1h2nM5WmbeUTOezv1Jo=
=re1O
-----END PGP SIGNATURE-----