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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.11.0-1build5
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
 8329da00fb340f612052bb36db35cc64c38e132a 2988 coq-stdpp_1.11.0-1build5.debian.tar.xz
Checksums-Sha256:
 05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 257015 coq-stdpp_1.11.0.orig.tar.bz2
 157397e358b2b2cb42f788fea0e35f70942b10b6ce57b387957e50ab7df0eb9e 2988 coq-stdpp_1.11.0-1build5.debian.tar.xz
Files:
 4cfe674a29ad567f8bd58556f304516b 257015 coq-stdpp_1.11.0.orig.tar.bz2
 1049ddf9bdaa09c7a970bb7fea13469a 2988 coq-stdpp_1.11.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVReYACgkQ808JdE6f
XdnabA/+PsNKQX4uK6MrMY0In6biUHg+8NPw1b0ut2RVn32dFbCGBC3Tyrb8W7EP
rokzQ0KzOsbTHSiAnCLD106bqWt7El6U59msELROsX8s+xYNBh8W7pfFWhvDP2bZ
D4uREVLoFwpyfJBKP8zBMb6mUUzep9neIRU4vlGbuDB/KAcUYTDswd+EmvtLva//
XDRx7fm/g85xFO5HO0GTYpfM3npeTftoc/N6KeTOKKlP7cyDCU93SdBQaqIbkM/a
KwD3WP19DSsXtjNavW2NMPA0LNJacmzdk0KuuvKqoNmYnwGc2vsUHQpE4Vipm9p8
PuhZ4xTg2ediABp9LAhJ7nadoMkK9QBuD2gAnCbdhBXjQwC4w012515uNIvQiSxk
84EDdf54wy/lxkUwzkeUUxSiEMsr8oTVBwyDd6wZL5JOYkdztk4UfdTMu9bAqcNy
LWGsQb1rDQ65mOMsErnSDHikvujMfuWwpebSPyUs9IdIeeAgPzH7oPUParYZQufh
j+nagF3y9uwVVN5bd29+WaXeZRqcfMinz3BgYw/wkN0YzEfKeCgOJzRaHT62ByR2
hHXiQN+XAHyN1CcH3okrn1Ly9GoJyv8O/VcircfdBGexV0PHNpq9CqQXMtOIF9dt
gtSGKgoukE9yDsDTepXgvp7t9UNzdaE3tkwFX6+FqaCpXz5ph28=
=xKb/
-----END PGP SIGNATURE-----