-----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-----
Attachment:
pgpQJDz2_I8KX.pgp
Description: PGP signature