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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.12.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.7.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:
 43969f14e6cd3f39ea1b602c7f17b78e7253aa9d 259049 coq-stdpp_1.12.0.orig.tar.bz2
 392d42df95c14d9a219b5b71ebb9f0184e2acf5f 2844 coq-stdpp_1.12.0-1.debian.tar.xz
Checksums-Sha256:
 c80e6bd7f1447018e7ffbcee95bece1a083cff7adce5f5c9ea44fe70ae70952b 259049 coq-stdpp_1.12.0.orig.tar.bz2
 9f5d8eed029d02cf4b8258b101ffc6285d07c0e598cb7b00d4bcbe5a659cebe0 2844 coq-stdpp_1.12.0-1.debian.tar.xz
Files:
 94d5932bf53e8c842445b3c1a28f4867 259049 coq-stdpp_1.12.0.orig.tar.bz2
 d2f1100c868caa0e412f57f314689988 2844 coq-stdpp_1.12.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB0UIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdLpD/9tkIc+pIFDL5rpNG38r74Q
tqBNivvN9gSWNUy5ED2e8YeIFk3xPbpFfEPOORP29+3cAoT/Bech59bKarJVQTCu
BAJRGIz2YiAHoCrjyFbVlJPfPahYNs8IdJmiXgzFTFZlXSBJRLa4CxKffQwDXx+6
oHCpoymxD/DOFf9ycKT0WtlgC7dO3s+uMtaFXJ1IMDpQDeAuunK/iOsUba9BR1Y3
S+9WkM55z3vJaSJJLo1MBJ4dQ9u79eUvqsLuUJpU0wWr3EcuK7v+H82g2r+b7RTJ
OzVVYmY4LhjC4SOd7t4sz9gX0HIvp5xK7+ewP2Qt7C+PjKE63AMDxTPveltyzXGv
lQ/rtZy23my0nIFfa9hJJpnaZObP5nINzcdDZQPKIcOIKzi93+VZlRoZysJVuNwc
BN2Iy68fXPsLfKUJyCxb+5p8Umn3swLZirO/Lm6zn3cK51R5rsDQEJZJ7v93pKJ4
s8wrLhbTs9H4nlg9ToZsK9+9y+IevOwrQu6dYw782FbgBS+XAj/hFaev6NvY46he
CeaUvsuKyyE1VK4Cm/IZLWHFf5yQNiR42bNi86JsecimQXWGkrLfQA7Q3Ydq9yfJ
Cy9d7bhwrucPCpOC5/ylstnBz67feokaRzihhqHc0VaboMVph/VDSAez0jBeezy9
10W5SYzmagTWOQI2tSKFIw==
=jSIv
-----END PGP SIGNATURE-----