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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.13.0-2build1
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
 f4bb3cc96608e0bea71dc95c7033ec96451bb386 2964 coq-stdpp_1.13.0-2build1.debian.tar.xz
Checksums-Sha256:
 f5e99bf211d8a0508a4bdc83072fad07d65789016c1c7ae7e29b5392056d3ed6 342787 coq-stdpp_1.13.0.orig.tar.gz
 7299a6588311b226c11bb205b0f1d333fcd72c253ce8601dc7c8db2de3a7b09d 2964 coq-stdpp_1.13.0-2build1.debian.tar.xz
Files:
 45ee699801c8697aa5a623694a55b1b0 342787 coq-stdpp_1.13.0.orig.tar.gz
 b7a9a8c35a47e16a6197aac77c7ba0c9 2964 coq-stdpp_1.13.0-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQtcACgkQ808JdE6f
XdlUnQ/+IhjOIpT1vGfLzRyt9XAXn6nGzadvkjeNFLeQpdzkHz4ch/oz5K2j9bxD
APjCca856TfYnhlFfPosgYm9ok8JnPBwxqDyZP+xJbmUQUJlCsKiYmb6oBH5de4J
AdrSGjUXPdBwAjA1UY+/opEfOvz8iKqJU0tJzU4VbxYCQwJlTtode1voJkGe3ur3
LrXulAlQaieAtXKMbYZ5cTIHkIRGM1ugWF+I5IWwdt3Oet/s8e1pbA5ZhYO7188P
Q6xTIVbolSy2WF4TMRW+6U5rd4kLYJ1+OgWJAVEmu4/f1TvpQOZwMSt/6bgrZuYR
02ICTEtgPMVSgWrsbg/hz5xx3oajmpdGXXZvkYDxeU57HEa9DUJJTD8w9u9U7vu9
aDGksEeLNHR4UprDoZESQRQ1cANPjQ2KRLFwY18BMcPg2wE1vSOz4cvjI7wVvO8q
z2DPF1HzQKLCo7OjsomnOulXX4IHYNMvMa6xO83NokFdcJ44QKYKqCkZ3t7eLec9
IcgtRhJUxDR4H0pD3LQtb4mLlElEE82iC3HLh3zux8O8kiLzIFGX82Ytbq9FvdfF
4/vg1FleGo1YdZelU7NZfTg1GvLurtHxNJOo0Cw8oqdVaStfNvL8mIntDz6b72Cx
tI/IOhq8rP0XG0UMaCjiaq2/Dd5cTcQk8Wh/R3muKHr3JbZQgbc=
=/9We
-----END PGP SIGNATURE-----