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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.10.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.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
 c4b17ab75743c68306c2abb12ff7c868053d171a 2896 coq-stdpp_1.10.0-2build3.debian.tar.xz
Checksums-Sha256:
 c53b8cd58f778d610a010520929ebf61942cce950391ebca67fdcb3abebd5ee7 303203 coq-stdpp_1.10.0.orig.tar.gz
 d023b6b4ac21eec54bb69fb1be2962883e376f1895a764ff03a35b4b29b3a4eb 2896 coq-stdpp_1.10.0-2build3.debian.tar.xz
Files:
 d8bc7abe369a1bb18e9c37133712ff90 303203 coq-stdpp_1.10.0.orig.tar.gz
 2f8f8de94a3946366ede7c56f9605df4 2896 coq-stdpp_1.10.0-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZJkACgkQLIPbyOm9
DjdnIhAAhmowWUl9LGmCc3ZhqXu0It4jBPPKnUh/dPvVBH57RqlhCr/nmhx5plVk
Bs6s1/3FTpHu7H5GqIgmAM1kACDp/803lP6jjcSsKGkcYAJQpExy91bWjvzTyvUb
YriSwtLnItayPqxnFi4W8X998XJSU13A+eWeGGt33RYbaM4elWcvzkk7cCdTFOZ+
FqLIhhUMuhl8IGXvAwFnZs2/taoJrGaZAoi3hwzAc30vzLY2Xig7UaXz0rQcMhLA
zAH0e7wKqmW3zdQyEdRkAr+3QXW/WKG16rReixOCiFSzrL42CEDeZgriGjRULbe7
OXHpF49ODtNzXzOu/hDOAc7j4QL75zB6gA0cKooLG14+bv6aWJuHlH3uJ6zfyRH0
59uPZq3YzCW3OLVD8Ne6D5TMKyBqsGsB17ZTkxKUOWm55k1lV/MzT8jn+rldcJ4i
UKfw7veygP0TTcZQ9JcSLhXfSQJs7Jmtwo46IFwHXViqcVtAsHUO/C15DgFrnfKQ
Rc+/RWN6i//R8wi0iTS3tCek1ri3PjEhF84oC4QD7q/HT7iRPp+TU4U6mtoXp7Gy
i6HS3wN5VZoR4LQkkXxVLEaqGggoxSqc096jIxnrMVr/yKbzxA9wLo7vRtxxvxKE
htd24IaTsDogG2kMRYpPkLGha8UqTrmknUpyga28Sewd8rkj8No=
=Fnjr
-----END PGP SIGNATURE-----