Accepted coq-interval 4.11.3-2 (source amd64) into experimental

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

Format: 1.8
Date: Tue, 11 Nov 2025 20:48:26 +0100
Source: coq-interval
Binary: libcoq-interval
Architecture: source amd64
Version: 4.11.3-2
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-interval - interval arithmetic for Coq
Changes:
 coq-interval (4.11.3-2) experimental; urgency=medium
 .
   * Strenghten depends on coq/rocq.
Checksums-Sha1:
 cfda98f5a030b846b5a82a0eec229488c3f48b4e 2210 coq-interval_4.11.3-2.dsc
 88f17c3f1200dd2a801144b1f137f6f208eb2dcd 9484 coq-interval_4.11.3-2.debian.tar.xz
 5e067b6ca34a9d1a757052158b3b9c082ea85535 7515 coq-interval_4.11.3-2_amd64.buildinfo
 0878fc1d4b01a8336c9178ee59e39be4e30752aa 6508188 libcoq-interval_4.11.3-2_amd64.deb
Checksums-Sha256:
 ab273399276bb5c94680d04abdcc5fafaf4fe5f74dc56b7aa05d8a1567f458f5 2210 coq-interval_4.11.3-2.dsc
 d31db471c79b6c84a29ce1a2bd2e6b27113b264658417e1d7182afccdaef2f5b 9484 coq-interval_4.11.3-2.debian.tar.xz
 1d4b4025a0ffea591258fb38835bf320efebb37fda373e9d03910e3c6380a7ab 7515 coq-interval_4.11.3-2_amd64.buildinfo
 c3c3b3079ef05720706f8eb2114a69b3679bdaac7ffedb851badb09c0efe0f6a 6508188 libcoq-interval_4.11.3-2_amd64.deb
Files:
 cdbf99da899e80ab32bdc47675564e60 2210 ocaml optional coq-interval_4.11.3-2.dsc
 174fd6c09a51694e7f5659bafe374edb 9484 ocaml optional coq-interval_4.11.3-2.debian.tar.xz
 b1591f7ccfd9ea1d22dfa62e2e23131b 7515 ocaml optional coq-interval_4.11.3-2_amd64.buildinfo
 47300cbbc71101613d9dcfdcf99dc170 6508188 ocaml optional libcoq-interval_4.11.3-2_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTlOQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfS5D/wNbFTJjG1kUqs3OnaNCc4h
GGZQ1g875nrrAiqPQUAigyXWJtzRt+TTz+76FoxiagLniYZnF1+vLDWafIwlMeck
jZX7/royAl4xfdnZpXQz0zYGXceKfBQOA/IN4Ov7f3jn5p2xBGT8INxSC8BocB1l
4FUKlLYjVWw9UL+B9icCRV+h4BE9YM3+ogn79MNJokjO7PljdY/EywMFecGWV49s
SoA78cmng9tCRMUimxWaCCKNlPD2GIP1BXzLv9A18lUG2tj223BE2lg0I3jvQt7j
aFtD9oHymxvD1Il076ks3157n7aoEw08XQRdEG2oj9IxDR6hLkq/T9C7Q4ExHXO2
4icBL918/2MbBXgb1TMChkMO36lQjQDmn5uM0FHckECCMAeQNk6Bc8bcG8TDIjvp
9QHUuIqx5ilNQEbOzJnqZAbELU4K+qxo91HFsEmkcuB2BO9dv44x2JBsz9+tA/NY
d19+nr6Y8Nc5LPqk/SuXcx3skubbkwzu9zSbao9fnr5JmjlNaDrDEU+lFy3q1Bxk
a3zMEED+7gTRngUOC9TewxIj10WOQ3L+Ed6+LENkeK6Xqcm6Dsyg0l5hnT2W9xjK
puFyKSApIo+MsmV1GFbPhjv0ZcKcdJTy/AixzSl16MGuifN/UZ66rq8rnrbPEAXM
R/6hTJ1BNZqYF3n36hNc4w==
=XYMD
-----END PGP SIGNATURE-----