Accepted coq-interval 4.11.1-1 (source) into unstable

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:58:25 +0100
Source: coq-interval
Architecture: source
Version: 4.11.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-interval (4.11.1-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 ee1e59b94642b1d63fcbf26520df2b339e9eb8a0 2191 coq-interval_4.11.1-1.dsc
 dc428df35162294c1a2a0a9c0dadb9e43dc2be89 380862 coq-interval_4.11.1.orig.tar.gz
 3c428c6732b573c8dffefaca84a41ba194e5ad40 9364 coq-interval_4.11.1-1.debian.tar.xz
 fccc7ca27e67696456bd6c439caa69d10cae1671 7768 coq-interval_4.11.1-1_source.buildinfo
Checksums-Sha256:
 bd98a064fba91bbb8274290782b06df19d8f94f54876a268aa074768ef0ff792 2191 coq-interval_4.11.1-1.dsc
 a5a76baafc1e7cf0b2125f992c982375f864d4ae808fb605a9ff3a73a5c0bf4f 380862 coq-interval_4.11.1.orig.tar.gz
 e2070550d06174e7de9943f86f677144e1a28ae9f93d468733f6973e093995b2 9364 coq-interval_4.11.1-1.debian.tar.xz
 c6c39bb7b3e91571e6fda0f0c31cd427685cecb936e36d8f8b5c0e718729d7cd 7768 coq-interval_4.11.1-1_source.buildinfo
Files:
 7a287363ea64376f3747a1433099b7ad 2191 ocaml optional coq-interval_4.11.1-1.dsc
 84fe59b6aaf35174798ebb6b826409fd 380862 ocaml optional coq-interval_4.11.1.orig.tar.gz
 831825eccefe35ee8a953e41ee9036e6 9364 ocaml optional coq-interval_4.11.1-1.debian.tar.xz
 bbd92d351c71ed8d477e22792c47a664 7768 ocaml optional coq-interval_4.11.1-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9stsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRydsP/2GttfioN9RZYrm775WXuruLPgUjh0bY
G7kWxzGCqVImElIS3lOguOb5J4ND53N71l3zGXSbNX50m3oZeU0tCxQiYNJFH0LZ
W7vYGvu9vWiKSaWrUiqwJyDigVq4CyNzfC+oMSXTVlQNIBgqKiBXIG43aI23vIwq
1wKBxyyND36WWdKTcTSIVWdkClPOZZi8y59hXCqG9XtLtI15Q998dzurAGDxmIOf
psNAso0QlicaMIFMM7fPRSnc2zQlEsVkvSPdaJamldAn+oy+51mOm4mV6vR2LtNJ
LE8S0uR/M7Qiy2hJ8zOQHht2xzETPPzK6ulrCR/7T0ogtc626RjW2wo4P4nrtUK+
J03fBMwE4Ch8N8674PKSR3/0g+FzYswOeTiM31196otEmdj19H+yDpRZHoVNQ2IG
1+mErHw4WA24D09wYBOxc9R99UwYcPgDJfu3TJrjtvpMztFmh0lO4zk036GobuZH
hH5HU41mGEFtCZGt4hmVgs9dOJgtekp/koent92A1NdrFcUgSk4VI0yHp9vf+J8t
qWjKOgFqgpSucAdWGgqt8wq1yrf86DP6cu/KYkctMNNFDWWu8IuyHJ8pPnNjmmrC
LLTSSJrfLTGQDBOboSOe7J8vHEqy9OOOB7I3J0JWnBLKs6absSYhrjY2Nj1pVAK9
qk5ukSi03JKc
=RgcO
-----END PGP SIGNATURE-----