Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:48:49 +0100
Source: coq-stdpp
Architecture: source
Version: 1.11.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-stdpp (1.11.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
9f06e2a95bacebb48bfba3dcf21fb67be315695a 2076 coq-stdpp_1.11.0-1.dsc
93333a7b6ebf025618fa0dd8a1ffd9861905deba 257015 coq-stdpp_1.11.0.orig.tar.bz2
60b8c9c085e1a2513efc0afe2c59ef5ef8f5d7c4 2772 coq-stdpp_1.11.0-1.debian.tar.xz
d8222fe795f6cbefc1f4e208894becf9d0d4d8cf 7128 coq-stdpp_1.11.0-1_source.buildinfo
Checksums-Sha256:
7f5b74c6b3b65b92ef3a1bfbf3d6ce0752505161ccc37413d6f69d3d3f6633ef 2076 coq-stdpp_1.11.0-1.dsc
05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 257015 coq-stdpp_1.11.0.orig.tar.bz2
f1b2c1a7b365d70c5530df961bf3cc001ffd9dca73d1925e2b5e474bc174c2de 2772 coq-stdpp_1.11.0-1.debian.tar.xz
df690fe615fa14ba9aa11c5bab965a98c23a4a60a180fb318cfe7d2860b04455 7128 coq-stdpp_1.11.0-1_source.buildinfo
Files:
ecc33813566cedaa4f3d5d5a2e0f7f0a 2076 ocaml optional coq-stdpp_1.11.0-1.dsc
4cfe674a29ad567f8bd58556f304516b 257015 ocaml optional coq-stdpp_1.11.0.orig.tar.bz2
97a7269b0d7c8bfe05870a86e2382bb2 2772 ocaml optional coq-stdpp_1.11.0-1.debian.tar.xz
1191fadc1f90b246e949a2878df6c9e5 7128 ocaml optional coq-stdpp_1.11.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sJ4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRbn8P/jIHbRT0khiCPpV1BI4YvGt4btOiJpyi 1fKLigo6A7ulOV2+rhnq4UW4SgEZ6oCG0uMEnILi8C0n4Qzwru4KubdvapKMelCD SSiXzxX6WrhO3I9WSmIL0SRpFm6urGKaeJJthgec4A4fK6JudrZ6iJDLWVWy98rk FubsW8x0IfYkLR+dgOEacZTaz8DqIity8sES/Vlt87vFGiROWm1PVy1TduxX3H1G xnI3Kcu+OD08ShIf/j3OTPG17vgFr7yufl7izuK0R6MIJedUPrer8mIm6GmYuSmW 3ZLsfCoxMLXpg56v7svuHpFsgf/Y9cKZttWmBqfvDr8pB8ClhvEq4kTPVmJ/5q3e HqDLXGtzWYrkHQdV1LmNs0hXsIYYvE2GPgTUu5a0Yp/xmp5ddihf/YXjTPh9OUIl IDlAK7z8l0v1TZknju7DHMLJw6uSNOuz8u+094rHkJ4dt/CxJbwSD8QUROt5dia3 HYm0vydvz5oLBgMaPRpuDjqeeRacqmp34wFY3EdFFLjccUIGoo65HhnyKFRXgXHd OuxlpsDsypsG9bVflLDFDSAe5nmllp/9Ilnh4M6ovkc1I1ojX0hEWcLuWpKnXIZt oCv3ywCz+eYDbVgp1NfuUvURi/TMXp/5cE6Ny+sx2iu6VFIOL/CSf9YXAU8opkSE
KFwgNsXordcc
=Xxun
-----END PGP SIGNATURE-----


--==============y07688864514614969=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz20zwAKCRCb9qggYcy5 IfBSAP93pzWH4roxMjwXIBw+/wYX2sCsSBVxv/gakeYNOTLCpAEAzxzwjtKGv/dL emAKKHGaWm6TuH4AfAZ0Ebyjg/2AXQY=vl7t
-----END PGP SIGNATURE-----

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