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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.13.0-2build2
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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 f7858a70cf82cb2868495b032d67c2a5610c6947 342787 coq-stdpp_1.13.0.orig.tar.gz
 6566b430565c982d3d502b326d1ceea10129c873 2972 coq-stdpp_1.13.0-2build2.debian.tar.xz
Checksums-Sha256:
 f5e99bf211d8a0508a4bdc83072fad07d65789016c1c7ae7e29b5392056d3ed6 342787 coq-stdpp_1.13.0.orig.tar.gz
 ff8b8e2a13125661eb044f9dd6ab14b2f9c330d71cb6a5a67f0db5ae10dd8228 2972 coq-stdpp_1.13.0-2build2.debian.tar.xz
Files:
 45ee699801c8697aa5a623694a55b1b0 342787 coq-stdpp_1.13.0.orig.tar.gz
 fb6a167f1841fc88ad3ace82bc02573d 2972 coq-stdpp_1.13.0-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0REACgkQ808JdE6f
Xdniyg/7BiYiZlkHejwlpegE7eyhINLI9KkEzaSqRbbc38iEpwHkuXAZfomZ3etJ
5+6FwwqTbeCs+sLXAguNo+bcjmJXq44o8581tUNWqFTyjOBhpgSvpUJQFyvWIHaS
mRPVzyO6/cPJFYUM50eb77JW89MjVFrWxtTBRzvv9lmPZj6dGYlgyhUkAccHSKi6
ujN4jhtiAm3AUdIf6lVrK1AvtW31N/ovEGbbgtEopINXeyGE3sbRlRPj6V+rcza+
xzwJtAHeoRdQ4+d9ETfro8DNPLzEKnUhbQ7y7mFsdYuya7h05Hs5dN5D4z2Eo65h
b264H69JWMMx/pOL4531UJ2w5dgypAJLPpMXM4Wx39XY7/ZBox6CLBkNQZ3R9ECY
cmWVTxJqrrJsdfLPyoUrV4dmms/o/aNcg3Tu7ceKhj4CcILueZwV7bvp9ydkSoWR
8a+U5HTbq/ykouMj/cP/OSj0Gx4ckH/9NvfGu9oPS8pfOXubea3pOMy7iasJK6kz
ZY9LGr0iWhIMX33wfwDqHqu2QABSQxEm+rG29hK6YZQWWnOv+8h27AgJfLShkJtE
vbhXevVzOLJqXSYvnEcCzwQlZFFeENcsAifLiUsVaVDksZI9UjqSgJMmmw5kriic
7iYFSDjc8UH41B9Gt5MRcb9QrcKuDqdKfbWMp6yB3k+ZBAQsVrc=
=Xr1n
-----END PGP SIGNATURE-----