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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.10.0-1build3
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
 e4bebe0a3bb78e06db92aacd733eac8c0d8ac062 2732 coq-stdpp_1.10.0-1build3.debian.tar.xz
Checksums-Sha256:
 c53b8cd58f778d610a010520929ebf61942cce950391ebca67fdcb3abebd5ee7 303203 coq-stdpp_1.10.0.orig.tar.gz
 34c4ada6c0855ce5a35dd6f2a9c17367ea027497f2279af5670c59055cab698d 2732 coq-stdpp_1.10.0-1build3.debian.tar.xz
Files:
 d8bc7abe369a1bb18e9c37133712ff90 303203 coq-stdpp_1.10.0.orig.tar.gz
 f10ed4349fa1b8cf6d82784bbcfde04d 2732 coq-stdpp_1.10.0-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpqEACgkQ808JdE6f
Xdn3ERAAhPh3WIY0hhg/4GeV+v3gh4KyGR/GCjgKcKzwhRGmRB/ODfRmmxl4WCb3
WreABw6EoVh8C7bIe53ByVWVq1voFg3scRIuMbbKwYW8ipV4e2KRiVl0s87QSLQc
V6HyXQxfxznP7aRKfjd0WDf89PkR9daGIBEr29iPtqSanUUgrwR+BOdJ+vWb0yy6
6IKBXagIU9sD6DIhoSMPXQG8mhwXTr/dH6120SHcpVKEj7kOpKCXWT0WimlnJXUw
T1j3lDTndyUTaMeOcGKrT2rUxKKj4A83Isg3JfCXAswjZKZEa41vnx9zLM9cZk4P
BxSVSXX6HoVyaCQHPAFQU4kNAo+LIr8fjbXvh5zhYauMqYl2tWcjroK7rgbK6GtQ
x8oOLDVNIykZheiL5m6tcaRbrXzQ+wjZJyJJQL34WTFgiu9MAuvRSzpbWl7vJa1L
OUZziY2XVGMbAh7IswmYPfuXvFMd7hCwlbneXa5EISzLl/Xgr0znEO5beh1x9ZpG
FXFtX+HBHdmNN3cg7LUbX/h18B+nlxCD06MF2NgpRAjYPpLUv8OwsCn4rmLaFfkV
0cQQZxk6sRycfm+4BTxBucnmwl+pt8IS+HF8GIw5c1yjSMeXl7TQ3oRU+gM713Jt
eu1TsuGiZZWy6cbyeo/HrUcjDgi5mXt2xk97bpmD1ciQP79g7YI=
=+NIF
-----END PGP SIGNATURE-----