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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.11.0-1build1
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:
 93333a7b6ebf025618fa0dd8a1ffd9861905deba 257015 coq-stdpp_1.11.0.orig.tar.bz2
 a55890bd30208ded50b35b500bdca26e2023cf5c 2844 coq-stdpp_1.11.0-1build1.debian.tar.xz
Checksums-Sha256:
 05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 257015 coq-stdpp_1.11.0.orig.tar.bz2
 66312a2f0fa9e65981ad16cc794c05a16fdf5c0103e924a65270f9fea65a5757 2844 coq-stdpp_1.11.0-1build1.debian.tar.xz
Files:
 4cfe674a29ad567f8bd58556f304516b 257015 coq-stdpp_1.11.0.orig.tar.bz2
 6800f6656a36b691ab97566b83f797e7 2844 coq-stdpp_1.11.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc+m5gACgkQ5mx3Wuv+
bH1FgxAAmbeVjCSQDg5I/z6xvMMggVIjjGuEbEtSDQsvF6CJmnJMXi3UJEYmolso
NPbupFUgpUdcG4CX4b7+gdjxOmBOv7LL8tB7t5J26/aJ9WRsV18kDDgfYkLc9pV1
suLzr4Zd166cb9Zp1cjp0+nd/QImKXac5jFaR8FtI/rx8oDXZrLPuqdVpfKn8QZf
C3Axk5dnofyRiMdrvltu0axmvgC37Fr00pOYxpWQ3V5Gun0tOveh/zXe1wqlylX8
pgBd9ZJzKOsjhwV8Gx5BFaj6Rfl9YybX2ml3QBewRnF5VP3JF3EuUsb+1K0yyxdW
E03HVNNIRG6aBMvt+5OC20lRMsW+DN2Cb1tXwJqmGzRlkVOjsBIKHS4FgNjs3Fjf
OM90rG8f9yduocq187vznFBK9OwuPilsAbQ7PQyvvLY0GwVyv3SLroHSHXPyEubH
p2R4DtzSEgJgdUwcmkL7ukIMzJUHA5maajxU5Qy/YwfT1quOeDwUn5QSEmKp44+h
k6rck3vYo6lHf3wNRCVBw4jgKE+p61Fye+QoDT+seRkZD/rWk3KgQE+OEM3dhm1L
tl9h8hHPVvyaxlCnFmg1fvgsoPIRGEzb9/P7g8HoUkEQ4Pue7DLZCj0sU57kLfpr
MN5wSqe21puesXDDbHOK12vBsxAQOk1tRBr28aHYmITpfhasRtg=
=boiQ
-----END PGP SIGNATURE-----