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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.13.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.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
 9f5d0ed19eb4d9239cad102c1c47896d39b4aae7 2828 coq-stdpp_1.13.0-1.debian.tar.xz
Checksums-Sha256:
 f5e99bf211d8a0508a4bdc83072fad07d65789016c1c7ae7e29b5392056d3ed6 342787 coq-stdpp_1.13.0.orig.tar.gz
 245d2d9cfefed350a67bd4440594c4c69c64538111e08928f390c2a88a8aaec8 2828 coq-stdpp_1.13.0-1.debian.tar.xz
Files:
 45ee699801c8697aa5a623694a55b1b0 342787 coq-stdpp_1.13.0.orig.tar.gz
 95e9f6f3d372a7f211eba70185700fb2 2828 coq-stdpp_1.13.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpREtYZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeIHD/9/HijNAvJhKAbvtQ8zpR6d
frw+flUoU+hDdwCT3m44K0u+R0j156Q3ppnxZLs18qZuqdykwIEtjjjGTwpjomEP
9o3aXbQmNVZZc43jIfEVVTx61Xinw5aD+jPvZ7X4uJVFm0h4QEm/o6hXok2tjj1e
eMBGJADuDt8OfoKaz0p3fWjWjnHkaL4IdtT242eaCCD1yB4nh80/yrhjt3FokCvB
5+wsJ+FnzhSFoPM+P2G3Gf2wPZCobXVlMiSjPVbar9WowVT70WoRwZ5vlnPsEniI
4lRxRPntDTpm7z7NZN1hz1yq5xMOLeztoJnChA/v3appTRkNqcslSFcAo3pmFjEq
phsXC5CXDbwWD31onFfXYnpfMm477o05eFW4GjInuR3mCNiw6dhQwO5BJh+2Cu1p
jNu9EkpphkddO2jHlzdRGNJTnAPD08CDCcIILwHDrob0Kt61qqpepPU/WQaI2lsv
eK2RszLp5tKT4MrPWriZTAKpS1lYCZH8YG6CencH9lEKR0FeZkGMmv9LuLEreuvN
X4falb3V8TCpfUo2FHgWMpbcMjRuNExLW7mhczlo/WbMQKdLWLtLvG+MHtQD1ams
oP9ufEf0+GohwIYm9GB22Sq436bNJGnJxVbW76OhKvdSfCzjzmJrdc7F+8ZhzQ9T
JfsDSwb4TY3z9FeqQJ9XFw==
=N8qI
-----END PGP SIGNATURE-----