Accepted coq-interval 4.11.4-3 (source) into unstable

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

Format: 1.8
Date: Wed, 12 Aug 2026 14:54:52 +0200
Source: coq-interval
Architecture: source
Version: 4.11.4-3
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-interval (4.11.4-3) unstable; urgency=medium
 .
   * Fix mc2.6.0.patch header.
Checksums-Sha1:
 77a6e9c8de7caba593d96a6fdd868677aeade9d6 2213 coq-interval_4.11.4-3.dsc
 8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar.gz
 2fcb9266a706e09ccd4cfc22ea78544d11cd3c99 10388 coq-interval_4.11.4-3.debian.tar.xz
 b789d9693fabd979a1a475476805a2548ef92933 7613 coq-interval_4.11.4-3_amd64.buildinfo
Checksums-Sha256:
 3894f9f2807ac077ebdd26ed026b1d67928069bb233566f93c98174041f306b6 2213 coq-interval_4.11.4-3.dsc
 f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-interval_4.11.4.orig.tar.gz
 6749a2ab3433fff4b9fc4b8a099d0822fb4336e048a7e185289a62f061d042f1 10388 coq-interval_4.11.4-3.debian.tar.xz
 c56154f93f8ca42a6b20707ed3315b6307cf415fecd9244304ed28780e9cac96 7613 coq-interval_4.11.4-3_amd64.buildinfo
Files:
 2123059a79c47f3f710d2472dc543e8b 2213 ocaml optional coq-interval_4.11.4-3.dsc
 62fb47fa58c6ce854ea3bf9534a9b648 346599 ocaml optional coq-interval_4.11.4.orig.tar.gz
 5353e919ff2b8b2676e9fe444e01c9da 10388 ocaml optional coq-interval_4.11.4-3.debian.tar.xz
 7938991eb54f32d03b9fcbcfa1ba1eb1 7613 ocaml optional coq-interval_4.11.4-3_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8bmIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURJnD/9DTSPvMd3ESLWT/0uWIIBf
JbDXeGPkRgbMRP4AjUeGEKASDsVosb3f4lr31HAtS418ccQs7u7w+sf0at9I9IyU
N7K90JbIzsST35aYFpxigK66u8tshVhIFUd4RnaxZIdLyNj61M92XREyXfuv5yTi
8zl/4bKXyzl3w+GCuL5t7+ra1DTzpwos1ajfZppHvCFbhGNgqGPmAEsUz779gN9s
taxtTbIvHvI34lTAxfNIw1htgXUz6c4oGKAVy83jnZHwaD+f7k9tpyTENYFpqbqX
pnDNEYDmdjby1p8R+paT2RuC00Yx27KKa9xxIijjsfXHgvHY4c1R6rZJzJn5YRMs
wvLBnlfYHo+iROzpY9y7BqSM1yMEkxPuwkWqcg3Tf6ENXkjdwflqFua6u8DPQxim
KhF+nniaQs9bkkgs7l9SEy2/UZZGsdTYUwwX1MBq2jCBPmzyIiMugkK6bAIM8zhy
JS2o0lTXR5KB75pwuYsNQIXoK+OWOKy9I11HYOV13apMECrfq5YmDqTw22EsiBt0
CUX3r8tdu6wFGDeYw2FCjpM1OgvZfMo1w80pVI6KOI1SZQBt7lh5YTvGKnqrzjp6
V46Amw+Vfy4Q4ZLTU8ZtgbDRbhNf/pl05YtcVfWhk05iSwwfOQAEnN4tiL87wLqS
TkA9GvLB+JXaUdf8Lgc9pQ==
=lLSQ
-----END PGP SIGNATURE-----