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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.10.0-2build1
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:
 bd61652950b198edfbc710821c3048da7aa05826 303203 coq-stdpp_1.10.0.orig.tar.gz
 8c88f6973fed3c6c5d9369169d1df345e9cd1c80 2828 coq-stdpp_1.10.0-2build1.debian.tar.xz
Checksums-Sha256:
 c53b8cd58f778d610a010520929ebf61942cce950391ebca67fdcb3abebd5ee7 303203 coq-stdpp_1.10.0.orig.tar.gz
 f487a279ba38749cb3a3e78e547b7a487050f0075bb9d2cce316d12b6c335b32 2828 coq-stdpp_1.10.0-2build1.debian.tar.xz
Files:
 d8bc7abe369a1bb18e9c37133712ff90 303203 coq-stdpp_1.10.0.orig.tar.gz
 6ca25b7859a0e8f5acd6473772e41e08 2828 coq-stdpp_1.10.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma9oocACgkQ808JdE6f
Xdn8nhAA2fDFE/JCyMOuXhnBHin4V55ELJhx13sK9eOjoMlArezmqql0V/1xJwd3
y88CNBhjUJQieVRw9LxkBlsNe943ueqDm4d69InTESZi8PxIm1g1JjBWxAWH2uKe
NCpWjQ1xL+B8sRTQGBtZfioNzN3uvUVV/pPt3BxQ8RZJld8XB8eHu5xeVPpSXEri
aVrkxREmc8VEnWeKzeEvYuF8pbkW5KoeR+1QtiXYAq0C+2wqOdbGc4V3eFeQSycX
XMA0a+dw/QgYpfT2PkFuIBvMGbwfy0/TDgGWn+X7eMqVSRutWdt837fH448g7KM6
juUFntuYfVdtDl9ZWFgsuXlSI6FPMzohlXRipamdkQbXhoKuQfN77oTEt/1WaVFf
87IWeu/UUE9WmNzI4iAb5E4Vu+sRfXKNH1FEeb0OKjjrGU4gQK86XiOvuwAz6QzZ
KhxoUAbxr9908xv+cLQoWiGxoqx6NmG1QluQJC9lLkwCyU+fBpwMA7TPKSSfxlMS
bCCmaZfw+HdOYn5TbI9vrtwWdkwRH/f2pRE9WEroJPtdlXywL3h0/yfNJpBiA76M
WkOAc/KFc5o7TnIg04jHbflifSXGV2jXehIYDDwdpXajw3uYM27TNBktEsbTteWc
iscisuisM2xbzHEIy/WHfI4BE+JDWkAR4auOQV0MyzyFQBhG4DU=
=E4/7
-----END PGP SIGNATURE-----