Accepted coq-interval 4.11.4-2 (source amd64) into unstable

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

Format: 1.8
Date: Wed, 29 Jul 2026 09:13:11 +0200
Source: coq-interval
Binary: libcoq-interval
Architecture: source amd64
Version: 4.11.4-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-interval - interval arithmetic for Coq
Closes: 1045076
Changes:
 coq-interval (4.11.4-2) unstable; urgency=medium
 .
   * Fix compilation with recent Coq/Rocq.
   * Fix source build after build (Closes: #1045076).
Checksums-Sha1:
 b62a8c9e2910aa72a5c0cd6d6c2ed8fc1c6d9012 2213 coq-interval_4.11.4-2.dsc
 8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar.gz
 fd0a15b3cb832fc01c3aeea93ee5c80c736de8b6 10368 coq-interval_4.11.4-2.debian.tar.xz
 8a0d6664c5acdde70062a326777de74761594d49 7679 coq-interval_4.11.4-2_amd64.buildinfo
 3396d3099d4ad7bc55a5c5c108a48d876f9ce55b 6448212 libcoq-interval_4.11.4-2_amd64.deb
Checksums-Sha256:
 bb7fc4bd251a1464d22136959d570380e33af35c3642598c02465f0f077fadbe 2213 coq-interval_4.11.4-2.dsc
 f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-interval_4.11.4.orig.tar.gz
 a8acd01947ae08be9e9161da2e228337833d7b2cf3d651ea58c5583e5ef5a1f7 10368 coq-interval_4.11.4-2.debian.tar.xz
 75d262d1c3f5a17e84a8a11e09cb0d6c60a7cadc11e560e85a03ee86e2d068c2 7679 coq-interval_4.11.4-2_amd64.buildinfo
 fbcf5e0b160c67afd1c0d2f6d8fc025ff75e8dba684f5e6b138e431fbfb2f1a8 6448212 libcoq-interval_4.11.4-2_amd64.deb
Files:
 da1f6761c60cf62b802eed869f155cdc 2213 ocaml optional coq-interval_4.11.4-2.dsc
 62fb47fa58c6ce854ea3bf9534a9b648 346599 ocaml optional coq-interval_4.11.4.orig.tar.gz
 90f55917b7f0fd228eb55ac323ee3681 10368 ocaml optional coq-interval_4.11.4-2.debian.tar.xz
 2cc998751cac3028c61f00975b0e466e 7679 ocaml optional coq-interval_4.11.4-2_amd64.buildinfo
 268bd1196b477ff97c9664a3bffe4d65 6448212 ocaml optional libcoq-interval_4.11.4-2_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3ZkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdoGD/45KBJ2chptspVAMlJ5yWFp
Gaczqe6l71I09DmHE/CVjlH4icjqDGljzxJCoueUgqrSyRcvvnV3BKY1mv5iX5Mv
17/qaEKQ7ryPCR9sENuTKDT+m9CIVxZ7lTuCKGpOwsK65Ae8mLztxAO6eNBgv9IU
RCE9VvX6YSg9RnBY4zaAxVNR75hNcBBrOceCu7SkBtM6OjyV8hFbwIMLYIYFm4XD
DWZ/63/511wueGw7hfSQafHGR+ZvuaDcKJihgAKN8BO6R4Kg61nRDcHmVS7wG3A4
uTB3liWCi5LLwgDiFXNqeN02S8O4X5Q8UecvrOobAxHddU+FFGWCj2ZJkuP+Wauz
gC4+PWQ4PVyPoHMyL03dxFtRpGu5winL1Zv7MHEnzRiRgYMojn5LQcw+CYev19GT
O7NbQROFbKpWiT6Eo+5EsuNUdL6hfNUXrSShB/qxmeh7HlFrhVXO4/APYIc9meyf
UAdAhaQUPn+ZAxJ1ycaQ6sl1ixGwJ/+MPLYz1UVWLhqWco5vGUqhniz8TofAczI4
A/J2cDD1agc1huzviPzwSqKM72zfmOIaA24N0uskzyFbc5uZ6lH7BZMmhx42ACBV
dJqK14xsXRCiVhi/PTQhqKWkeaDe56TtQGFC45Nghgns3b94FYhtzYnoHlMWfPFR
C+2r2wGO6YMLjGOJKs0YDQ==
=4aqE
-----END PGP SIGNATURE-----