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