Accepted coq-ext-lib 0.13.0-1 (source) into unstable

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

Format: 1.8
Date: Thu, 26 Dec 2024 21:36:46 +0100
Source: coq-ext-lib
Architecture: source
Version: 0.13.0-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-ext-lib (0.13.0-1) unstable; urgency=medium
 .
   * Package new upstream.
   * Bump standards-version to 4.7.0.
Checksums-Sha1:
 cb086ad82b02a97ae17d4217143b2948343a85ca 2101 coq-ext-lib_0.13.0-1.dsc
 2014297759e8e54f2e5cb57ad6c096eacea5eab9 85306 coq-ext-lib_0.13.0.orig.tar.gz
 b77bb4f2bd32a9887982d677335b3c686b5593b9 2368 coq-ext-lib_0.13.0-1.debian.tar.xz
 631ad70fb1e1d36235edb50e05909b8860d49a49 7281 coq-ext-lib_0.13.0-1_amd64.buildinfo
Checksums-Sha256:
 d5aa9d2c7720c6b5c0ad8ff01ce3fd0a2647e7bdae6ea0d2bef2d088e937131a 2101 coq-ext-lib_0.13.0-1.dsc
 e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz
 f337ec3e4af389333da7464cfe4af2b3d2c2a5fa6b3c1ec127699cff754ba777 2368 coq-ext-lib_0.13.0-1.debian.tar.xz
 83f0be39420f26af33cdc9dc45c1a7031a8b3babeec1ba06cdc9d375a349d468 7281 coq-ext-lib_0.13.0-1_amd64.buildinfo
Files:
 49811e55632d4122170794c8a01b87f6 2101 ocaml optional coq-ext-lib_0.13.0-1.dsc
 0393eb00e923631c5316bfd49144c95b 85306 ocaml optional coq-ext-lib_0.13.0.orig.tar.gz
 7b8fbee3f9705f5a65b4ae6a9a540485 2368 ocaml optional coq-ext-lib_0.13.0-1.debian.tar.xz
 634f4d08a4df9d73840952c3350b13bb 7281 ocaml optional coq-ext-lib_0.13.0-1_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdtwUoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUc7OEACUAcnn9IlNmWHGAmxuJUW1
Opi2ZgM63yqizQ8tPufyP1aYNc1X0s8e1eLZUgTrZ3aqqn5CY1kC/XozmngoGCpH
ZIQYYPC6e76eS11PqWvAwEbGs6dhjDSsRkdIbqR7axT49Wa9hRW8ueXNDFF18LW5
YsCGIUkHKpxVkh3I9uOT/OBJsh5VjuUk74OfO3EBD9ayrRXyp9yIk+VuMFdZYRnk
hkdxwOQdGETCivLQoFK+B6QuGiGI0gRDeCAqFhp8pYLVIBJCbtzp8+zo+RaXbEsu
V6KE6es8u9VomLM5n+ibJM2mu5CZW0GBMIxtA2oj+Q2Dm7xILhx273k3ZOHILzm9
6JjSAfSVF5EVKKIOdXhdLQwb76dxqdTgqHcOnD+7Ek9Qiga4pqQakQ/Q9pt/0XuC
PJC0VLjculIgOsW8GCoOjHR2WZCBRrIGh1jMnEm84HyimtKOVw06iv7+0IjUZ5bV
AwBwSut2dL69mOUTlm+SCaZPsRvuP2C31MmJs8i+wu2oQyH2kTV54vEV44aYCAUf
g77HRQYAxwhpREodhVm8IYM8Kuh0jOfNpF0B2Ho3OegBF90MbGJiltU/D7+8QF03
X0wxDPipfMoclp7ilyJAnrdZfdIAQzdpnTXsue8H85lbH15HQpNya40HA58AemQk
kow5WcGN620BCrF0ipGjWg==
=aFl7
-----END PGP SIGNATURE-----