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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.8.0-3
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.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 5fad69b07b70bd39cbf9d70f8debec53cc6b924d 254469 coq-stdpp_1.8.0.orig.tar.gz
 943c5f5b69d8bb12cdb13fc051235f6b2045326a 2392 coq-stdpp_1.8.0-3.debian.tar.xz
Checksums-Sha256:
 dab131d35f5b647bc3f846d64d48c154dd999461561ad1d94b477249905f7328 254469 coq-stdpp_1.8.0.orig.tar.gz
 ea5bf536fe061a672be81c6d3593b48b127b670d57d04e3bfa4b24bed7965198 2392 coq-stdpp_1.8.0-3.debian.tar.xz
Files:
 b6202104a62a6f71a9416ba6ca1a380b 254469 coq-stdpp_1.8.0.orig.tar.gz
 c3e1db2023c0a8d7904caf7065308ad6 2392 coq-stdpp_1.8.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ3NMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRysQP/2OkjueoOpJlybSalcOfVf6dYOlbva0u
GVXYJ4sZfstOBRcMDHx15cL/g7vMKugsJUO9MgJgdJO6QW9DxEY/X55a2LkjmDSY
+pw0Ow4ztXK0f2riybUyS3KxOh/rcyFpHwhkW0umttgkeqs1eEtM2AiPLq5TfLmy
wBmhQ6hrxlejlHfuubSEyQdTBuRv6SaZY5/6zKcrbauZX7PTg5vFhuv7pA31ylSJ
pCGk2mndeJV7rMiua2lN/TGlebRmgvciJTHM+rVrx7qRzKx+3Lz5ya+t2s6nCMxQ
ikFZndtuBrKC2SvQuy1C31yeTjPogIwUCy38s9xV/3uJNckEvK5otr4flwvd0uVG
5+LTNtEJbpCiUoMMjw1JoI5leuL2myGA6IdH8KnXVJOSa9+IqTnBUHzoVXucBfGD
cKGVgg2ErvL7G8AXhRa9d4Z+PiSxsOjXmOOIxQVecx/F5Yq4aAmkH+8J/gCcsHlQ
X4sGblr5FIC15+ENz+m55a4w6aEgstXXR0Hn62xEurC/ymCNX/nUYNEYjM4Rjkh9
fz3+A503NChO6i5cjrO0abfxtB/vxzkExV++e2cozVHBrgchHhIhoLO6I1jIYiZ9
mbpeKLugMvQQckpCdQpA94D4O1VIqtcJoMswZ7dRN12RLhkNnC2ZsrYrZ1C2sT2j
i5EE31zrRAq2
=tBG2
-----END PGP SIGNATURE-----