Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Tue, 25 Jun 2024 08:40:53 +0200
Source: coq-bignums
Architecture: source
Version: 9.0.0+coq8.20-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-bignums (9.0.0+coq8.20-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.7.0.
Checksums-Sha1:
e92f3541f02cf7f6e3e89bec97b282b7bc471f6b 2146 coq-bignums_9.0.0+coq8.20-1.dsc
29a2655888580b58d46372ffb1bd01e8ea89d2f5 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
ec5b16a0e6cbc2d9d58ae9909702457bf68ff280 2080 coq-bignums_9.0.0+coq8.20-1.debian.tar.xz
513c35d8958bc9b48d90300b084449c1d96be8b6 7902 coq-bignums_9.0.0+coq8.20-1_source.buildinfo
Checksums-Sha256:
c8e22462e05df2684444cdd95d125ebec35e9728c720aa9a917ef4de8b20e19a 2146 coq-bignums_9.0.0+coq8.20-1.dsc
55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
357d377fb039e70c0d3142fe01af6b6596620209741a3c03ef7d206b5c469105 2080 coq-bignums_9.0.0+coq8.20-1.debian.tar.xz
de7eb2eb2c518072b1591a47aa974ffec54aa97f389735b72bc24408694e4e8c 7902 coq-bignums_9.0.0+coq8.20-1_source.buildinfo
Files:
11ae6233595aa1621e4cc558842b2854 2146 ocaml optional coq-bignums_9.0.0+coq8.20-1.dsc
8af0a3df71fd3cd83e4391741519fc19 117267 ocaml optional coq-bignums_9.0.0+coq8.20.orig.tar.gz
d50556a8e1a69ff31f7cacf58500e829 2080 ocaml optional coq-bignums_9.0.0+coq8.20-1.debian.tar.xz
eeacae96a674a75772f5ad0f20b86f64 7902 ocaml optional coq-bignums_9.0.0+coq8.20-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZ6Zq4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRy7oP/1523WGL35cEjn0ogibl9kK7/ZBdpUe1 17pn4ciR4psPmKUolw7b8oQ2PiGc17n4WMH2LIOdV/96nWy6G0QLnhdeY1SjuSAi MwpRKVRiwnLAfw46B0GYNScCFRO26h2uUe8J1NCryd9FQR8nW21RR5dergbOmvfz 6oIoNPkxVSmdWuGpuTtYSwwiatVC4Yn8mY3yqVLD9AGr77f59vTO7kYSwr89sThK SHOb5mDwrT78cT7ggGiaKtzRSYCnofC7c5gymhXNUTZCYhhq46qPGDgNGPLMW9di N0aE0fe8uaLkDsxM70QNErIoYpELaBBQ2qyw9sVooHKsAh4/cbMnwnLaP5VUn9OR daRhf3IylgSDoZVwfIKQU447dzBQBXQwAB6s1jovohvY3nz5jqvZY45vdjvwvptb zRk6wgdNstRUsASd/v/MALBJHNlP9r7OmrUoUPd2DRS9Oo3Wj5D7E/GHYwluYvQU Llf5qd38hQaGxUBseAWhrbxQXc/5n7tSabyr+mDTJNQxuU76HpvQ6MtwLx7huHmg m1xasnlSYtwxJ0TOnOQXnbPGYd+VmV5/o8XbuU9BNk89KJ/v6lG7DnKmKEWzIXSM T2R/qXNZEGyFrd3LNGEOlpAndRhxhVGsbNIYlDUJdLlyOCc/TTuaSt0u1bLe8ZtR
l53iLSTHOQ++
=gVzH
-----END PGP SIGNATURE-----


--=============="14422610732163569=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZnpr4wAKCRCb9qggYcy5 IY49AP9wWaM3W+UyXnU0ZSDitqAH+vAx0KlL7s/ghQ7D/0RvuwEA9+pki7GaHXh4 UjGC8wrTV99LQVqv8K/gUA4hmcIiPwI=8sjD
-----END PGP SIGNATURE-----

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