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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.9.0-1
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.6.2
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:
 5b465d3b0477bf26387673f1586f94ae0a99c50f 297515 coq-stdpp_1.9.0.orig.tar.gz
 3ecbe2cdf699b543b299ef580f1c38a25de01bf0 2596 coq-stdpp_1.9.0-1.debian.tar.xz
Checksums-Sha256:
 2bcfc8d1c7eb9e85a9d043080e36761b77597c5d78573628a826c38037c706bc 297515 coq-stdpp_1.9.0.orig.tar.gz
 e7a20b96ad5532c5aad52ac33ae9a5e5820f53671e8690de59a30981e76f5acf 2596 coq-stdpp_1.9.0-1.debian.tar.xz
Files:
 af01b3c7ca246aade275e96256567d65 297515 coq-stdpp_1.9.0.orig.tar.gz
 5a88943fc2f167f8c971b01f8ab26fb0 2596 coq-stdpp_1.9.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEWq4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLq8QAJv94ofI6sqEcsbETyGySYnXpTjsy5P6
yVWCwoW0dCS5bmLb62tUNlWyS3tmDEV3XvIGf2roISjgemb3dU9h6JMzKpjprdsH
ePM2zVeNvlYyjmLDwuRe9UShXkor/xzYYaQ1XKAPtIvtYH7Mb1XYF4RdZ/ZIN3ua
sWay4d4vfTAE+YdIxdJIPUQf1YcfRhoD/g4vT1nXrIrzi/ZXVvLmo2ndOi36Em/7
FuOK48V+rNU1SJDzGmGxqfbKSsnr4/weM9WPOO9wps1QDtCZt9Q48mClTKw5Ce13
Dt6syEDq8TgBdoS/+DoSzOeG4swaaT2F06ol199E1OQYZ6pQjGYsrkJJsJkXE87r
QEjZMXYJWmgKT4I4BPkEQRqp3Za3SuT4dHCYlu4kS7GKwhGrujWvUjHaVP935+z3
d3UGZktoX63wfed0pwIqg2ltUsXzgsyPbILbDGnmUNqYx+JcbAPb5cjuO+LyD1Uq
JjaDFuZrEjdArWNu073RHY/ccckn21HpSm0B9KpvPb66gNoMMmp5aRciCVV7n/rT
8e6L/PtJa9sVwrcJkG2id5St1zjgbx9HGUcIPz+l2BPcw1tarTStXY/LR3iyw+Bn
Sgj5ouR9gGF2qPNksqY/uqGdL+jwrK/uQLaozqL4/NfX5Ma8qRK3DpBzIu28M1K4
7VOu7ZNpziAk
=7U5/
-----END PGP SIGNATURE-----