Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sat, 30 Mar 2024 11:44:41 +0100
Source: coq-interval
Architecture: source
Version: 4.10.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-interval (4.10.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
6319d6dee537a685db06e562d0b869c634bc4052 2194 coq-interval_4.10.0-1.dsc
b5fe1cb12c7303fc692dbdc8fc48cd3b1a6155f6 299750 coq-interval_4.10.0.orig.tar.bz2
7fa16896223749dec18bff115d249c29feb912c6 9216 coq-interval_4.10.0-1.debian.tar.xz
f39406d1cc3c4f5b5325bdd745d9f3acbf1afa6b 9043 coq-interval_4.10.0-1_source.buildinfo
Checksums-Sha256:
89ab66274e5d6bb174b6d84aef2c17a153575965d7e68b20f29cabb562bed5a2 2194 coq-interval_4.10.0-1.dsc
b2df60516c66ffe239e43738fcf9bc234741e1ca554409efa6a44491e640852e 299750 coq-interval_4.10.0.orig.tar.bz2
5a2d9495b2366a4826428dd78a0a03f9bd6292f1c60765add6b0c1ab85884dd3 9216 coq-interval_4.10.0-1.debian.tar.xz
242546c862299c6a462155631ad9ab070c8cd1e12a937c9c7f4da437164d1b4f 9043 coq-interval_4.10.0-1_source.buildinfo
Files:
3f44388c607112ab3914adf7bbdd13d6 2194 ocaml optional coq-interval_4.10.0-1.dsc
4015bfff66a211ce3739fd4de7e5e6af 299750 ocaml optional coq-interval_4.10.0.orig.tar.bz2
6d86caa2432890f0b820b24e0581076e 9216 ocaml optional coq-interval_4.10.0-1.debian.tar.xz
e63736ee7f623f1c58c82347779b7f26 9043 ocaml optional coq-interval_4.10.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH7VsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRNQYP/3M1wW9cGFGphr1Zm5ixShmL9+qK9zYv +H3kv2H/m8HtVmza//KpL5a3ogKgsFFHrpr8bqAQUYch/DBe4YmgN4wkfTU5p6ga iAhEvc2tVUcrnZeDN3cz0wsPMFCaE2EPDJbDkHsglMiA0wSGMlmGVTwPMYZ+Wb3F Z8VLHdCBcJGjzwm+XC9tD0NxWvrDtj2ieC54t3GUShJd/ZPQxE2adURnqUTLmO1K GnJQkQ2kcsUCr2ceCkzz/ThYZE+woNBsd+VJldWKEiWin/DILcjx3YQ01xE59Ydi cmIprDNqMauwCfVSGxTuSg8bOOO6exzU0sA0y186CeJkzuGziCpSfj7vVQpBn/g/ zD2a0QgDQhSZnk+diXTBZkhxyZhERq0UxJQNaOBvZx8NHIzEI/Vc3IQYS4Dak/xP jIywy13gx6ITQmmEJopV0J5FDR7sq/JIxOfcEkaN6NGBdVCY8B5FaCGN1chvadnr 1K4A3VPUhOzA86Z978AdVU+WJqp2/eypxJtmjIUSAgjcIl1Kf8yqk/RFYMQeVDcZ q8V+RCWs9cvEM95jcHVjLHAA2LPLDun2sK18OVdDt9iALiy0Uxl3teypJVUXf+PN jweFMjS/SNCey6MHqrZzL9cJka72rr8N0+LthgUrWt+aq6VmEht3NBUZ0CE39APt
IN9ayFKtRK3a
=7u1S
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZiu/zAAKCRCb9qggYcy5 IQmQAQDyJyE6w56LCzt4EvnslZz0ma33V0Zo0sS6eteKmBfQWQEA2e6uwE03HM5K rxjZIvznsnSefM0g6ysmpYkkLT58IQA=tB4F
-----END PGP SIGNATURE-----

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