-----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-----
