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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.8.0-4
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.2
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-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 5fad69b07b70bd39cbf9d70f8debec53cc6b924d 254469 coq-stdpp_1.8.0.orig.tar.gz
 9ec8e1c4cab463a419557ca6bd8fc639cdcfb526 2420 coq-stdpp_1.8.0-4.debian.tar.xz
Checksums-Sha256:
 dab131d35f5b647bc3f846d64d48c154dd999461561ad1d94b477249905f7328 254469 coq-stdpp_1.8.0.orig.tar.gz
 e6e716d69c3555e30af226d68fb0b08a6bb5252f99a8f4f12e7e2b9d91842026 2420 coq-stdpp_1.8.0-4.debian.tar.xz
Files:
 b6202104a62a6f71a9416ba6ca1a380b 254469 coq-stdpp_1.8.0.orig.tar.gz
 eecbde6182a533ff1a80b7e5ce361814 2420 coq-stdpp_1.8.0-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVvoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRsfIP/0qkCeLyBKtzWuIoKSrN8sO7lvSKBp60
TXbzW1qsOof0Ga8MhdZ135SzcxXFUKQBd684yqpbRG3GY9ece3KgkmjLQLK43fJk
W+/2YEOC/MP/RSV8mN1AypwlOeM3yktY5mOvWn3g/cDXppMkAkIgJeQBPEGufuol
CCrlxFMqUigU+4AaRQZQ83Or4SQypQ1SPp3zJU2F0x50poJiomny3IdZfnkd+X1a
Mv/TjC5IStezR9ETJkHms8vJQMSlAi9EuYYy9ydhqQ/KKAQKHzjs3PEtb80H8MN8
hjteCIM96v9y2lIChfJ0OVZzQPScEjD9zFCN/lqjpUqMM005tM1XGq5gvLrAU782
wQ0MvGrC9q4Q1/9zd7WvaeWWdPbiBeIhhM3CVMurwUklcbNFjdOaItnwC7Q7Erwl
XNsYjHsuGNGk0W6t93JZrgqg6S5dXreOrJCRh2oSBe3zUGGo011TTYysAf6tBC2X
XCt3uuIHox6dV0EO1Up1Z6hIKLAVTd5XbyqPzJwdLdIrZeP3yQ3nXRCac8aRxDbe
4cswdD5jTjnMie/sOkHGBFbco6xM3qxzLZm0dTCsxjDKxTxIhhtBvo1Kl/AlRZic
hSq4agFrbDPJRza6Ky5OAJOtGDmYSwaNquIaApc14qPkjBtx/RBQ8HUqA9mQHap2
nmW8BYRAiM46
=iuAv
-----END PGP SIGNATURE-----