Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 25 Jan 2023 08:39:43 +0100
Source: coq-stdpp
Architecture: source
Version: 1.8.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-stdpp (1.8.0-3) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1:
9fd21dbe87dd379ce989fc8f3c3e546b79227a3e 2056 coq-stdpp_1.8.0-3.dsc
943c5f5b69d8bb12cdb13fc051235f6b2045326a 2392 coq-stdpp_1.8.0-3.debian.tar.xz
ab8251e26089c7248cd401bb16e3d0f1b45617d6 7379 coq-stdpp_1.8.0-3_source.buildinfo
Checksums-Sha256:
0a5ba8e18cc8a700692343f623e6b517e013076be62e99d7be81847ef4ce6f8a 2056 coq-stdpp_1.8.0-3.dsc
ea5bf536fe061a672be81c6d3593b48b127b670d57d04e3bfa4b24bed7965198 2392 coq-stdpp_1.8.0-3.debian.tar.xz
9e81ba6f3633bbf0545d79840e3a6a947a5a185c86fc1bf62e97d2d9c4e63e47 7379 coq-stdpp_1.8.0-3_source.buildinfo
Files:
c678b083fd3b05eb24bb504d00476471 2056 ocaml optional coq-stdpp_1.8.0-3.dsc
c3e1db2023c0a8d7904caf7065308ad6 2392 ocaml optional coq-stdpp_1.8.0-3.debian.tar.xz
66ada3e583631ea1f516fb8d4592d4c2 7379 ocaml optional coq-stdpp_1.8.0-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ3NQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRPeYP/3Nm4SQRmM1LyGr8a3rl41PwNvCa9GFr hj9rKDglD7aI1+EJb6bA44mQDC72UZ/OMOt4hNLpk9GDqqsUhPH/WxUIbTe9lGsB i/QGzW/uIa7gL9kX0XY0eKHcr9nPotxb3VcyYqPHfYL5HdLkw+a03lCWeDuJXi0n f38LlcRex0Vqk6hyN+0pfzu2oskJPIPog3bFI6/uPMooIe3SRCDpQLFAKEH/hmep MNg+6uNDUrzmK3/x4TZkieR0oBbq9ayPvk8NfUe7zEKMOT372hGe/4KjfajiLw18 XYWNuZE8gRUf+SmgXwv7Ark+JlyAlRndmjL3O9n3853RIP328/lKI66huJsKS99w 4ekWbndH4x0bigr9PMw5dwTCU4/TccFxFDARhkYCWXUfI5cBiBQstbafctNvnuc4 zowikGh+NmAOwzlxto1s0koFQRlYCdNkBkY7CC8wHgMSpcRYbIyCR8UIDAtAZaTM dlDsLEwNNh7fEEzUuXjmNZNGPu9lWnh/Ms/cTJ15hlRZbKIDzhkkl6q5li4Nns6m kDIiixpFHVwDbHRb5kU0/IffWeOuBKrXOZp2IA93wsAPy0RzWjGgRNvcPlmVAD6X 01FIjWQx3YQupoTZxQLGGrBSkDYCWG2WkqfHZVbwqVjiIztsANmzLaZ+1R1LibVl
AiErfjm5AE4o
=TBzH
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)