Thank you for your contribution to Debian.



Accepted:

-----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-----


--==============w12980487836888792=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz23rAAKCRCb9qggYcy5 IZ06AQDEV1eWDMNrsElhxLFp+DmsZoCAcGWybCCoYkSE0hZlswEArqkFIApTn9xu i1dgjxuf83eeRHmRnv1X/qQat8CAjQQ=L6oB
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)