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

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

Format: 1.8
Date: Thu, 30 Oct 2025 08:16:54 +0100
Source: coq-interval
Binary: libcoq-interval
Architecture: source amd64
Version: 4.11.3-1
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-1) experimental; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.2.
Checksums-Sha1:
 72e7f99e6c779a1f80121735faedfb20111c9325 2203 coq-interval_4.11.3-1.dsc
 4f3af399ed7dcaecab388b59d02c9c48e7f6fa7f 381004 coq-interval_4.11.3.orig.tar.gz
 82753267c9a0dfce0a1c7f277f5d02220bd4deed 9440 coq-interval_4.11.3-1.debian.tar.xz
 736bf0bb75cf09fc0825fffefbf71ae80b0f34b9 7518 coq-interval_4.11.3-1_amd64.buildinfo
 be725721af4510a14088e3418256d3b03faa353c 6482220 libcoq-interval_4.11.3-1_amd64.deb
Checksums-Sha256:
 2455ccfec4a8862ddcd10092e28439ca32d96158d28c6eeb4c3a094cacf5fd38 2203 coq-interval_4.11.3-1.dsc
 c7cbafe6ff69545ff04ae98ff1ea05a31cbc33a910ecdce29d3cd8d38a478358 381004 coq-interval_4.11.3.orig.tar.gz
 cf8844d9c2be0beeb70fa7e160622f6d397db6c27ae3d460c9e4d185e2c909c0 9440 coq-interval_4.11.3-1.debian.tar.xz
 3d9d2122c9d540415bfc00413da7360a49fb9c94bda377bb7a646db69694ac3a 7518 coq-interval_4.11.3-1_amd64.buildinfo
 e66af92d11d3ebdc5edf163ed1f071f4ba020137575c957283ad79a52b46536d 6482220 libcoq-interval_4.11.3-1_amd64.deb
Files:
 7e8a2bbf9c063eed3613b721099f977a 2203 ocaml optional coq-interval_4.11.3-1.dsc
 bd08470ff301a3f4f4f8bc854a45c316 381004 ocaml optional coq-interval_4.11.3.orig.tar.gz
 6e2837a4a012659a037082e45d4f045b 9440 ocaml optional coq-interval_4.11.3-1.debian.tar.xz
 cc8eb1e485544ff2f2e0acdcbad08d3a 7518 ocaml optional coq-interval_4.11.3-1_amd64.buildinfo
 c4f96f74e438223ce567c9ac1ae35030 6482220 ocaml optional libcoq-interval_4.11.3-1_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDEqUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeZwD/9LNV2pFOEEjJobXus6rQMn
psIwlzMZtjnJzfQRCCd2D86Erl8PnE+1DqBa2UwSUhAOukSoedsTzFyla97iI7tz
tqAsFdGBKyzQxUjSSiFb6f9jSCuF8o34j+OPNVK0eFwXaKKvnD+R46tMkL58q/oV
yEqDmkR/eJvDz0ihwpAA+hVdPObr33OnLUGFjgEAwuQrWlzPt+rzYv3kElEA+acU
UUzAsIh5oohF94/+c45gfGXztgqyC7DEZjLpVYCHupLb6VvCbFqltaL130azIpgW
I5YtELu3AtvcmWSHOKfuB33xCA9GyjvPnZt9FeuuULhGpR0eNfCjq5//BxeOUE7R
RDOLz71jGOpccdbZqvkk7ZKNefFlf63npy0KXnWNhAb/C1ILV2CZEY7A7t8CLAJk
X2Up3gtKw+CKW/s54QGjA7vXuKfwbl+CvBIMVYTMEZmuz7eoE9QWNPckoKBuqqHX
gcF0FxM+sDD/QWx9cUj4U+l16ie2++AZBScIL7WdS+93msJmABhPRNX4uzTvZNyD
XQuP/fAN/eGPTQG9CRe6d9P1Ep/mkQwOChBla5hwh4OyhlWLKIsRrpwce5Pq25Cp
ZcETG3DopsqPd7mt3ZrNJMAQB2j0iBystL8rMKPGJllciBASo+A6yr78U6ZcItEu
HSytXVBlQt3gQ42JErrvcw==
=/6Pc
-----END PGP SIGNATURE-----