Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Fri, 12 Apr 2024 15:56:06 +0200
Source: coq-stdpp
Architecture: source
Version: 1.10.0-1
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.10.0-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.7.0.
Checksums-Sha1:
5edfd385a48d7485e123acbe45deaf78798381a0 2073 coq-stdpp_1.10.0-1.dsc
bd61652950b198edfbc710821c3048da7aa05826 303203 coq-stdpp_1.10.0.orig.tar.gz
edc190a80fd571dfcaeb69d2ed07e67279e8370f 2628 coq-stdpp_1.10.0-1.debian.tar.xz
ba3467b6430637690a2ca77e96e999ae102eae63 8052 coq-stdpp_1.10.0-1_source.buildinfo
Checksums-Sha256:
4806a500d33f2b378791663c7b9e518f54be307fee131a397f8604f4f9f16071 2073 coq-stdpp_1.10.0-1.dsc
c53b8cd58f778d610a010520929ebf61942cce950391ebca67fdcb3abebd5ee7 303203 coq-stdpp_1.10.0.orig.tar.gz
62274b98cf9a77343bd6da0a0462ea8a7172cd39c61d47c99db54a9f53927c82 2628 coq-stdpp_1.10.0-1.debian.tar.xz
916faffb0cf4ae6c31595e7109216780f9db6f3e36b31cd9c08897692c0a7868 8052 coq-stdpp_1.10.0-1_source.buildinfo
Files:
1188abf92023f2e1750dbeaf4305d7e2 2073 ocaml optional coq-stdpp_1.10.0-1.dsc
d8bc7abe369a1bb18e9c37133712ff90 303203 ocaml optional coq-stdpp_1.10.0.orig.tar.gz
5f667ec0f4275283cd1e73d286564486 2628 ocaml optional coq-stdpp_1.10.0-1.debian.tar.xz
77022f0cefb05c8beb86939b15ece945 8052 ocaml optional coq-stdpp_1.10.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYZPbISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR/mcP/2qi0ybNxD/Yu4Uq4CyC7K5rpaIbVYAw jW0Q4vHqpVwwqP7lTjaCre3MQ0Oy21NgH821l1rEs8IrpQravaBntrYpnp/HCIJh I1D0LA7UPkZNLgOMlygBbBZmeCBGG7EDkOskM5mgcSWlhS1G99wEyHJybcMNyDdi OXsoJzyfefWlY9NuDMppynzdfK/qjbcPdb9OcPkPcwNpJyvN+cHou+26cL16JJJB DhWnVZ03qWDuNT/K5cg/ZGJKtIModOXS7V/g9wE7Hp+NSzzI1uzsgt7HULpUOxUz z3YfNZZFZzujVZ59ZMoFlIVHcV1mFSmYZ1ggk/uGEWJVc+LVCWQaZys5Hz53/GZ1 YfHVPAmeTgBx+HKkSYy1ZnB4V9Z6+uLs68EGIs4ALdhkJLUIZkZOilaT23RCissF WNQqrnnBJ/zISC6fO9vpZQP/lFewPUU8eGfKWHEe3uBHOHkp27uqo8U36x8HMGfl cWa5BmyyIOAh7de0MB1ykZOk9Pr7h15Btw6+XGtCH2ZnpvZodVftbfEUOukDBMTB /Z9OntXFN1/Gge8P80s0WMsqvLWosrZF6MSLAFs9GJCzUd9kqN8q8ha798z13d4C 98NIwXt03PuRqqDVoFbGfNjNJ14oytXRISIAY4xPHDSsGcTldCTPJ0OCuri7MeD1
WlG0LRkyLzbU
=iSff
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZiu/3gAKCRCb9qggYcy5 IUNWAQD+M2yVbNTMhGSiIRE1w2hRzAs792aTnPrWl6vFIRxnWwD+Ph9EYxiSODoz g4EQMAkLv4EA5hVtNk8/NIJs+J04Kws=evmS
-----END PGP SIGNATURE-----

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