-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 08:02:08 +0100 Source: coq-bignums Binary: libcoq-bignums libcoq-bignums-dbgsym Architecture: source amd64 Version: 9.0.0+rocq9.1-1 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-1) experimental; urgency=medium . * Update d/watch to detect +rocq versions. * New upstream release. * Bump standards-version to 4.7.0. Checksums-Sha1: 40ccd16d2a20f23078bf1b2e4d8388099290957d 2149 coq-bignums_9.0.0+rocq9.1-1.dsc e907b8aa9b3dfbb5a0e9fe4eac59177dad8d0202 116934 coq-bignums_9.0.0+rocq9.1.orig.tar.gz a0f12711fcd2fb514896a425b96d3c98bf91f0c7 2140 coq-bignums_9.0.0+rocq9.1-1.debian.tar.xz 207621b072702041a231d1cef580be5d14da6a7e 7197 coq-bignums_9.0.0+rocq9.1-1_amd64.buildinfo c88cc8ee30bc7ace5b5318f7e80587c63b2d5474 3780 libcoq-bignums-dbgsym_9.0.0+rocq9.1-1_amd64.deb 29dc1ee2d88a1beecfc9dd4696c45832db2186ee 1904940 libcoq-bignums_9.0.0+rocq9.1-1_amd64.deb Checksums-Sha256: 2d332f17faeb72bb3879d40b851a806237a7882a33349c710b9c418fb0dd5dc7 2149 coq-bignums_9.0.0+rocq9.1-1.dsc d67a7e90b31f9ca78172ce4ece6df0952a06477bd06cdcff279eb4af89b25378 116934 coq-bignums_9.0.0+rocq9.1.orig.tar.gz 61491ddef614b5dba7e69e4216036b94a4f63d51eb7a9d3171a06faf0d696685 2140 coq-bignums_9.0.0+rocq9.1-1.debian.tar.xz 7e34a5da6267e992bb355d0b9f3122020477445841d4da7733a98fa10331809f 7197 coq-bignums_9.0.0+rocq9.1-1_amd64.buildinfo 3365c60dcc277ea2d801da364673d4d7b54cdebe6754ad9f9bb3fc43e3a34b03 3780 libcoq-bignums-dbgsym_9.0.0+rocq9.1-1_amd64.deb d8de5f146d9888a05df14a980800018b13a40cb7f49dca52d38286b607f4f8ce 1904940 libcoq-bignums_9.0.0+rocq9.1-1_amd64.deb Files: 7631c373ac19b640e5095a004bb3323c 2149 ocaml optional coq-bignums_9.0.0+rocq9.1-1.dsc 6d23cd1ab5aa29ac9b7f8c6ade47d1fe 116934 ocaml optional coq-bignums_9.0.0+rocq9.1.orig.tar.gz 52cda0eb58f9ba700202daba7090d05c 2140 ocaml optional coq-bignums_9.0.0+rocq9.1-1.debian.tar.xz 62a6868f24a75808157de150c5752dfe 7197 ocaml optional coq-bignums_9.0.0+rocq9.1-1_amd64.buildinfo c06de7fb00a3a3519a3737b8175f5d8d 3780 debug optional libcoq-bignums-dbgsym_9.0.0+rocq9.1-1_amd64.deb 24d9af17f4c122b0abb48a3fec873726 1904940 ocaml optional libcoq-bignums_9.0.0+rocq9.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJMBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBvJ0ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdb3D/dgHzXZC1eCh2JVB/1mEuu9 QFsp32GwbWYzcKeZBl3XrWpeKQAdQM/UPx4k9UharW3mqKvkyacIGknKFVZyvKmG KpbJKvrZh8nCBF1pBDheDZmFQ+SngVEk9mZ2pb00WC7T6QTPFZJzTYVfBGfbGTkY XyhIPy/xq0bgqODrcGkyZ4x3+Gi58oMINyMhHUWNkNMAipPWu/ZF/xSQAzZ8eqpE K02kN7iozQ5rf+D/oBgx5b/AZXkR7xdK4UGlodA7FQWA8qAgakVEd0O/2d0Y2I48 EeT6gYarykzUecaKBG/rKjGz0UslLVsYbp9LgEDGiii6aKiI4CM5kiHQKFjLdJYN 6BWXbP5kfU2m01hIjavJUpNLnEPZNM/67SxDMkBA9fHxWcHksh1Sh8ooqi2B00MV DyBd8rb8Yb8Q1ZAQaaovdMPy5rEp1/f9PIvFhaD5weAY64H+gbdWQ0S6jCF7cdAR FdXbQRF/yvqSgzR8H853248xGWtOZzCNBMQhOfn2IeUC1c+0+9VaSNTYPWW+R30/ mPgz4K+vKg4niZKxMXuycJQEhu2bJ4IenZGkEJThUJHw9HJLTvvN/RGSZs4sh4eD LvtJi9luekZoDCLIhJGWJErwOfHR+kG/CHEoCN7Nq0aGY29koQib1Y3quc82fmKs 0oyk+bfuC0qn1Iv2vMjT =n4uR -----END PGP SIGNATURE-----
