-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.10.0-1build2
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:
 bd61652950b198edfbc710821c3048da7aa05826 303203 coq-stdpp_1.10.0.orig.tar.gz
 6fd73cd9986ebea9563a5f7fa839645d2c7903f7 2712 coq-stdpp_1.10.0-1build2.debian.tar.xz
Checksums-Sha256:
 c53b8cd58f778d610a010520929ebf61942cce950391ebca67fdcb3abebd5ee7 303203 coq-stdpp_1.10.0.orig.tar.gz
 d3f9c449954e6562eb1d5571bd281f22f5d954dd556c96e439c1fc93b2e6798c 2712 coq-stdpp_1.10.0-1build2.debian.tar.xz
Files:
 d8bc7abe369a1bb18e9c37133712ff90 303203 coq-stdpp_1.10.0.orig.tar.gz
 9372b572bccea110a6dcd785a1cee379 2712 coq-stdpp_1.10.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWhMACgkQ808JdE6f
XdkQDBAAnh/bUsEsJxkpNZWaTbVAGGvrWba4Km1cJJxnsipMSKmK9pO01ej5L7Hb
1tvxNWK1un7lr354mkGMaVjW/Hv9Rb3dnm+03Y78+0piCAR56r+r8AEsDbNBVKfV
hG9BeKVRKlKMa/7dbGCxivyDpmaV/+PWhi3rDS/0ER8C+AhbVm0ow12xz0p7QImM
ISN0kNghV4s9qnPYjdp2steTBQ2A+pV3Pleni9yGoXNV/vOiMwOnPPiYn0wfMQhF
NqWgxkHtJ1rVh/y+IGw+m+HvwV8EF/1P8gdCNgxHYx3+NTkI8bSi5eEX44LtY8sr
3fA5yAB0vlCGm4wjWjWSK/dcp3VqJew/Hzm4ONunZh9NiRzNaQNE/clR90wFJa3N
4s6H/iv9il9gih7U4AjemHyAWIhzxwKahlcRksbbGVL3mhDEFB9bNHRcso4MNk9y
Z3uyNrlm7aWe8FBRTU2I5vDChh948pDZiFYH4gUIqshAku84pqDtKHFAvWv8uBBz
CDiotpW8SibTKfFfRTZSJGPEKUSf1qSoxTW/Cih/7Jgfx3xBLrRIFhCPQwFspxtK
ekf/r0QlpDnL4dEp4k57LmKcc1f7Dx1WJo6wyrw/yafBGCddfnw4z7UmwGUKu1y8
B6vMH3s9VdIOeUwGi9seaCaxyquKJVhYN/GiI5ZAwqXwrjy3h/I=
=3F+E
-----END PGP SIGNATURE-----