-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:02:38 +0100 Source: coq-ext-lib Binary: libcoq-ext-lib Architecture: source amd64 Version: 0.13.0-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-ext-lib - Collection of theories and plugins for Coq Changes: coq-ext-lib (0.13.0-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. Checksums-Sha1: d2b6ac227b2b3a78bf6fd18602d0f6df5bce9a4e 2101 coq-ext-lib_0.13.0-2.dsc dce144af8f1ba5d3b1d6e67e165bc8162147c6ee 2420 coq-ext-lib_0.13.0-2.debian.tar.xz 94a1f9d50348b8b5c28d3055f193edd5e5752618 6815 coq-ext-lib_0.13.0-2_amd64.buildinfo 038b129d10a16b67c5d823120e2276907ad3fdb5 774168 libcoq-ext-lib_0.13.0-2_amd64.deb Checksums-Sha256: 30b5fe9e15d5d243142c885c10e192a874b86796e30ee7018718bb22f9980d1b 2101 coq-ext-lib_0.13.0-2.dsc 5e57899cad54074afd8caa0f02486c8000c3dbd5bbb028cd01a38555c5905ef2 2420 coq-ext-lib_0.13.0-2.debian.tar.xz 925d3dc3f191d7302fe70fbcd317c599edbb6c396eaff62db6f69e5e33a55f62 6815 coq-ext-lib_0.13.0-2_amd64.buildinfo dc9ac2f3692568bf0531af967db0737973be4b4f7703ec5300337b8d9d1851ee 774168 libcoq-ext-lib_0.13.0-2_amd64.deb Files: 94473b11d912f2b77e4926c58216ac98 2101 ocaml optional coq-ext-lib_0.13.0-2.dsc 0a9b134ed6233fe0cdd64315765ca15c 2420 ocaml optional coq-ext-lib_0.13.0-2.debian.tar.xz 0b5fe499ba9dda982c7faa516bb140eb 6815 ocaml optional coq-ext-lib_0.13.0-2_amd64.buildinfo e9f7b59c20735b52de6a45c44738e5c7 774168 ocaml optional libcoq-ext-lib_0.13.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkByrQZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUleD/0WPF9r/yTGy9ArWL94ps1W 3tbNpg2NyWAhdQwWUR45ThqjqBthQIm7eeZ4SE7u9QFe+ieXmT7DXTMfjLcMtU4x oKVpLZhDcRUXrpUJVBm/P0K/OMoBRdnaO0WZEg1PuOP4LSxMc4JLG3GgbSCVQewU yF7lNDFKMlQo4RZWQMJvTVqLyqbWlKIO/5NLDIELGeKOUJl3GO9TZeFh75PJBikd 5Jw00b6e0si7VlesunMRIgo6ODIx5jaC+DfKZ6EzPuRR63OjBqnmX2bzT1zQuz7D vnyKBkkVoAcELntjaaReperNFifPcWxTMwVuBzpk0uN+3SqJeNr8Q+wo+a3RVS60 gPKx0MqbDQzybcFr5lQ7nN6TBQQE918hs8nv9okhbyEmwhDR1pMkV/+zYBE0xcMH /D78mwKdOpNimLba8kShXoHh1xAaRy8GLVBq6BvykiCrw4EVrMAQ9GNvqdEnYsGR K0MW1398YzBJkXduXyr7y3ZU0OjZ1SlbBp/ttEkepHi+u+2Yg5Q+nG+0Ht/i5MvK 7N5XoWWkpWhXaq7M8gZ4z+QYV9Q8unovP1AWFzkmaMLiHhLWDEEoZiXUFVp55MCw 81g7QeqdYWGOrwQVWY+fvvD6x/wh3k9GE2i40e5ckkcPqALFJErIQBIrFe5iYieX 8Gv9h3bmkQPjssKsiIWQrA== =pTLC -----END PGP SIGNATURE-----
