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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.11.0-1build6
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
 d5aa3300d9049f6f37981c01c8c98a394773d766 3012 coq-stdpp_1.11.0-1build6.debian.tar.xz
Checksums-Sha256:
 05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 257015 coq-stdpp_1.11.0.orig.tar.bz2
 d0b3d87b8cc16953dc7f666a04f218f92f42ff398166c716be97ac0180c02b91 3012 coq-stdpp_1.11.0-1build6.debian.tar.xz
Files:
 4cfe674a29ad567f8bd58556f304516b 257015 coq-stdpp_1.11.0.orig.tar.bz2
 c2084c04a4b8625d920dd8959b965c10 3012 coq-stdpp_1.11.0-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9XQACgkQ808JdE6f
XdmJWQ//dK6aYDvRyX3els1KHf1uGmRz5vcU4n0a4ZjDihxc4tG+O6NQNjgxw6wh
btu59s23A379I79GWh0sCw62jNgpXlfEeAwzL39SZPRWBwyX6gmtNC5qodCEYwjg
UX8RkhDeEiKFQPXL/+JhqhTK67qddR8I0zvmBO3+6RkfkOL4Mi1/BthtF9keBZWN
FhB2w4YS5eT61CqbH1UOvWz3KnKfhuVG3i+ik1jqhWw4xGZlTKYgLptD2gmwXK8s
NM401A1xYt4/OhHGwSEMldKbGr8nTqcJl5YL2UpVZMbIao/pkjPktGuho3wbbZQU
8hILvcRsxAo3sR/yHOgjGlpwVzYLkGmsLeEI/+cEBsyD8qm/wn+PYSOv3Q8/ZEHS
653t68tW0nOC/pnGZxepDgjmrZgu1CznhPNi4GM9r/HAyQSifU3JOpcGkeK2hHnN
hegsd4lHuLFPFJhJzxvN1WKD3vxIJgse4HQXUG3HNVgSgfhk5cmfCNJDfB3SDp0G
7gZrS62gkXhe1uAtJwMR4TGIeM+zEwKYaMFYwezJ5l9fwVyy0ZM0gJliuZTFvDQg
XWYPHYMTGMdg+PKVM0+om02n+KqClehA+zwtRlMFaQgcp9B2NyWxKhrnCTK/0ARb
sklrgfsswrAHp2ynWMo0S5sZ+Z/Z3IKGik4YXzl1OH5ZAPH7X9w=
=xMQg
-----END PGP SIGNATURE-----