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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.7.0-1
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.6.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 a87bf282e29be7cb975fdfe7c16bcac2bfa5338e 237656 coq-stdpp_1.7.0.orig.tar.gz
 8507880728ef6cd9199ac72df5bf99201c63d2b5 2228 coq-stdpp_1.7.0-1.debian.tar.xz
Checksums-Sha256:
 ff3b87190b1128c8628ca692e54f3cad6af43323ec6d3facb8507d43e541bb07 237656 coq-stdpp_1.7.0.orig.tar.gz
 38f9f6aabb1870b72f104fd69f39ad5cf7f6930b6c16911205c693ec610003ae 2228 coq-stdpp_1.7.0-1.debian.tar.xz
Files:
 06f68719797be09a97e5cb709fafc076 237656 coq-stdpp_1.7.0.orig.tar.gz
 8e8e2643fa938d7b03955a62d53f4dab 2228 coq-stdpp_1.7.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLIBF4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4qcP/3BRLcIT9DCqeed1eX/mVlz6FbexdtCl
L3VD1SHJHllxWYKVPE98yHEeS0XhT2em3zYbWV+QN2t1zmGqmgD6OAEJmxRPvMp8
PAxe6oR0Ii2oPw1DsM3lH0oQAFjnRtUdOnKTe8vAfb/DIuNxkY7P2slJ4bna7RgT
5ityIHIOzCHra2ymmmiV8tiMVMNyN9xr0lWem1k7Tj+cgNXohxMSr/+LI5KnJ27r
pJFXqKejrKN9OfV0z+/V84PmCCRqF6eshcmvWZRrxjRnvS7P/GbKBAdw05F7WK0W
aEztvnGSqxHhd3asRCmu9qM5ouqHPxfrVT0NrmwyR3owDW5qAwJyejcZnVrfs3W/
VtkkBHj7QJhxFOkMSKT74Z+dXmK5OkMf+KCo3Y9yM8MMNK1S+fs3C3XyJqbXmdeD
l+Og8St6RWr21T/ZQ43EsH72XdIw2vHMBegGMF5NQ+JoWhpheo/a9jKwwJmG6i3+
QJxmf2v9SQsj5e1GQBikkMmOTNtNez7crQojKtyIAscQIJRo4qTqu23XMn8dUcKM
iIZf0J6ChANK2e71VaMdE56F+YUhiq3q4chf2+OKo9+IaNtChsL9B/AB9hd+1/3F
fsFckL42sueYD6IGaljQuBXR3JA17ZaZedkSJzhG95J6G5SppkidTXBR/vukLN6i
VhmQGviaj7nx
=P6dE
-----END PGP SIGNATURE-----