-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.8.0-2build3
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, libcoq-stdlib
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 5fad69b07b70bd39cbf9d70f8debec53cc6b924d 254469 coq-stdpp_1.8.0.orig.tar.gz
 6157aa7e95a88769a0e5d9e56bfe2b2d1edad6a3 2444 coq-stdpp_1.8.0-2build3.debian.tar.xz
Checksums-Sha256:
 dab131d35f5b647bc3f846d64d48c154dd999461561ad1d94b477249905f7328 254469 coq-stdpp_1.8.0.orig.tar.gz
 d05f486bdf100d52c4f5e05260f5fc36561a0241cd27ebb43fd04d3118c9be45 2444 coq-stdpp_1.8.0-2build3.debian.tar.xz
Files:
 b6202104a62a6f71a9416ba6ca1a380b 254469 coq-stdpp_1.8.0.orig.tar.gz
 7b5363968629fe6dd0b2fba7c48efdcb 2444 coq-stdpp_1.8.0-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGtAACgkQ808JdE6f
Xdm9zBAAzCeCFflG/d3B5JVAX7HF/NrCL9HL2MRfPVexIU51pMbVi2VfAmeJCgre
dxtS4IWwq3OKrolrFyuZxKlzk7afsdXpiKuUvKq+7R4BdJWl4WX7lOqMPLOIUCAu
Pd3aGo3kKXcVpvwopaVfOTCNmOOov0eBx0opPNBOoMQ0qvuByZItbHeraTrPpfJe
x/1RG5azOveMNGl2ekQaR3Af5yUmFxOl0Rw9iVWHf4jAmAA7TyJuwpVIIjwEtnHa
qZFtynQ9ztmj54eNArsLzB4Lvt+/avyvcIKdaA4B/oAQZD3gCUvGcK36zxQAi4il
XIIRblqyE/1xoTPxETZZ0Jv9yMmBXFR/vMkVUl2c3K8E6dwNkVMTxjTDqX1RFCKV
H8ZMBsN6oySdIqGOZvvgzHaJ0fO39zjhlfM3hxWsMKv8sLpLWDpu4GXgo2Y2TMf+
UL1+1yiOyh2J/kDVNtxIjSS2PIfG9dzyq3xONqTlbS99W65Kj+JC62svDuw4kIig
PU0OX8rERCKx1u5xEBha3Hb/EUwevI9xvgOaa8WHI6ZoaIpHLyNwqUiY5eluhZEu
1z2TlZeLGK4OTkGza2iBmhamMmFRWi+0qu8k+e3caiMAgcqs1ev1eYn0sIlNOePj
K6WZUlPDvrpYtNpHR+SnvCj2cqhtXrn8pM30LbmTbmd7IIGp67Q=
=Rl3i
-----END PGP SIGNATURE-----