-----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-----
Attachment:
pgpe7F63l8zqV.pgp
Description: PGP signature