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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.10.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.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
 edc190a80fd571dfcaeb69d2ed07e67279e8370f 2628 coq-stdpp_1.10.0-1.debian.tar.xz
Checksums-Sha256:
 c53b8cd58f778d610a010520929ebf61942cce950391ebca67fdcb3abebd5ee7 303203 coq-stdpp_1.10.0.orig.tar.gz
 62274b98cf9a77343bd6da0a0462ea8a7172cd39c61d47c99db54a9f53927c82 2628 coq-stdpp_1.10.0-1.debian.tar.xz
Files:
 d8bc7abe369a1bb18e9c37133712ff90 303203 coq-stdpp_1.10.0.orig.tar.gz
 5f667ec0f4275283cd1e73d286564486 2628 coq-stdpp_1.10.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYZPbISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRA2kQAJ3qDfqGbrSbEc/P/vyzUMiQvVZY0a61
preEDxY9t//RPuQLJQWqm42+ODx6SxVNKZkz/acNZndgcMHFiCmsO0j6Tuw6KXIr
bWyKd2Zm0BDp7cQxBUK9GmmnMsrTNzFctEXk5EuodjgYxEXoc0D395+qyAY4x5Dp
desYxtk3XG6qeqRpG9TeyKrrFir27IlY3mZoZw/pqBxlHqnexxHYP+Yzd11km9d2
x3jgEeEbjY5lUKHBQXpZ82PzzLG81TAE4Vb295163TLxa1d6W7reIZbGxlxUsm3A
/AonSGI0tCygoOv32uPnTdG9eFc4p94RGz4yB3iQ1uCob7Nv4PstKKREUOG/vp7I
7iUPdvdq8/OS+1dlhlsKrq3JTD2M/ZsLtI6gVTmOFDcBFTmmO3g73RiI4jxgpyvg
wSmxKA1iUEhOZ/343AQtZxx/izKLrvPpF/lD4MkvjHTTPhd+HpURoiC5bzgLsgFk
ZUqjltoUsi0HBYvt0Wf2G0sdIUzu4Q6zYW/9iwQ/UfcTdl/kKoUNepYtX58IAVIa
MSLxAuH8rLKXDi7uvse4XpYtquf83koquYOmhXw+KsFdcnP2Drc/Qq24l7zmj3vT
sa5PLJKFwkVPGzjFbiKbqOl4yfk78fMwFbIBdueZvDKHhIZaBDSxopmkDhsNZ5J5
Qv9wb7Dro7E0
=Npsv
-----END PGP SIGNATURE-----