-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:19:18 +0100 Source: coq-bignums Binary: libcoq-bignums Architecture: source amd64 Version: 9.0.0+rocq9.1-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-bignums - Coq library for big numbers Changes: coq-bignums (9.0.0+rocq9.1-2) experimental; urgency=medium . * Strenghten depend on coq/rocq. Checksums-Sha1: cebab18250ba33fe67360797cdb1ed1a7d3aac89 2156 coq-bignums_9.0.0+rocq9.1-2.dsc 2b368fcd772e6a053ac4739d49ea445caf16b9e1 2224 coq-bignums_9.0.0+rocq9.1-2.debian.tar.xz 6e28678fa301eb2510eb371cfdb3a6cdb8ce2d26 6871 coq-bignums_9.0.0+rocq9.1-2_amd64.buildinfo eccd7b3c1fa191a42100ca303ab9e22252020c5f 1904900 libcoq-bignums_9.0.0+rocq9.1-2_amd64.deb Checksums-Sha256: ae89c8a6b86b7f91ea2c62c4355424546b8a5771b659a8a5c8d2981babf51b84 2156 coq-bignums_9.0.0+rocq9.1-2.dsc 0a612147851d65bc133fb967a4ad1e4707aaf916716c2eb39e03cc9dcfd76f25 2224 coq-bignums_9.0.0+rocq9.1-2.debian.tar.xz 5e56d7c5d4b19512818234d3ed76280c8e39dd4e8aa2354a1dc954046b6cb43d 6871 coq-bignums_9.0.0+rocq9.1-2_amd64.buildinfo c2e08d659f5b87a0709650e543e5578be634342aaceb8b33560dad0630a564f3 1904900 libcoq-bignums_9.0.0+rocq9.1-2_amd64.deb Files: 831830c503f3e003b3599e6ff176c85d 2156 ocaml optional coq-bignums_9.0.0+rocq9.1-2.dsc e69943de9b2018bdc88dc4874e593a85 2224 ocaml optional coq-bignums_9.0.0+rocq9.1-2.debian.tar.xz 3b7a60390eafb33313582ca1570bd816 6871 ocaml optional coq-bignums_9.0.0+rocq9.1-2_amd64.buildinfo 172a6f8df9be53132785b93a4456f92d 1904900 ocaml optional libcoq-bignums_9.0.0+rocq9.1-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTcM8ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXk/D/4uMZSX6eMRLoKimBrkGt3u /vtTbMSKfitVoI+9TzkAKlh7pUNQ6MzLAcPtyFXOHJl780mMuIk/uUUJeiY4eI9G xLmqMq4pwz9clESj0nDTzYs/c0rne7trGTgnXbqdH3BU9HZmN3DKsSexHp8cZHj/ ZFZBP9iRBLk4L2N+M1Ne69RoHMqzqQPVt3Mn1pXTqhD7z6deESxCG4OWzFviin6U VdkrY5v3Q2lgHBRVFuMRp5CPPAiE2JfjAKt640YS/35aNTLB0Jxr3cC+wwnbZRY1 hJd/aj9id0TxHPQyDeHcVdB8jck7PhzPaFvbPymC/y3xqnWWMtxPvPgvzm8I4Mt4 Z0n5RsE1mHD/AN0YVDt0YtLvWo1pCvFMd4y3LZmE8+Gy8iMZs2TAjR6VzctfSC4C HQUG4mOuzxVccyZXyjbtoGyzYayvqzY+EY702OfTAwZWgxjT/tQ+iPxeM62684Xp fOCk29JgRX7XBqF51rI8gMBRelyo9aK29nLwxu64JcSVbyAIST3eht6mNCs3jRCQ q+AfxrwoMrRHkodAIgqqBQCBzQP6LdWyrinyLymOH4NLXlieNbWnFdXEIY8396AP vj8nS8UfkV1jXoCiVspUFtLT285qPw67fGFASrqrUN4U05MJ8M0uq0I/WDROC0lB NL7UJfONIo3LnIYGypufxQ== =bzyJ -----END PGP SIGNATURE-----
