coq-stdpp_1.8.0-3_source.changes ACCEPTED into unstable
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-----
Reply to: