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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.11.0-1build9
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
 a21ff818d378cf68765c839adaf51b54d66a9407 3100 coq-stdpp_1.11.0-1build9.debian.tar.xz
Checksums-Sha256:
 05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 257015 coq-stdpp_1.11.0.orig.tar.bz2
 018540689777ceed3413af78421ef505682b6636e44e6248619b4d87765eec39 3100 coq-stdpp_1.11.0-1build9.debian.tar.xz
Files:
 4cfe674a29ad567f8bd58556f304516b 257015 coq-stdpp_1.11.0.orig.tar.bz2
 d98104b18f7bf19191ab8e48bae4ab02 3100 coq-stdpp_1.11.0-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYfgACgkQ808JdE6f
XdlNGxAAlBP6t0hg0jWdNj+7m9Orzgrp+2cCZndkdMKRyKliCTwsBKXGs+893cM0
kQWVm1LyzOXI+kqyNoBmTpdlLoKoCj8SBUD/a8tx+HDB52KHoh1WXIlMyg8iCOhp
sytN4+NEU4UtM8ki18/b2ovqR8asb5+2mWXiGW8qCj0Brrhl0aa/LBFdRdIowC7o
Q9ds5HEKYAG/OcmM92Pa7pEuyMMVTCTFOBn9wWLcs+SDrEAG8mDKw7lEtlxjlby1
Lx5jfje+2DRyuZt2gl1ZsTP5c1ZaTOpW6qfxeTtb8Dg/yesPTl8bIyO14IeQWS9g
7cwWyJt5eP1/OAxHBO9GYWMqFlrwDqpW1phcOkBg0tx/D/i8Gk1eTESrjIZnUxDN
x+r4Vn97G9waRrbPxBjIEIaBt+uJExm+PI6chGt3n3msxkhfVV4lNrbHjTBqG6sr
JWApz4suPxKwIesohvCQqg4OsKi77MQbeBYwmJFilaQTy22iqJG/goNIXME3IiJD
mpzJwAAJBpctD4fOGtr/dyLwkux6bCLdL/4CAooEdZs/OHTBBW8a5M9RiYq/rovv
CkMpOFKmabAK+TpSju8R32GRbRAehyxJcf1/ngI4PLR49dWsq86JEVrxk+Ybpp/Z
Ye7kjr1Lp01OBJh7quH5Y3C6Jwz0jL58zidrXYL1apVXd5jqFeQ=
=ZPkX
-----END PGP SIGNATURE-----