Accepted hol-light 1:3.0.0-2 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 15 Dec 2024 21:49:40 +0800
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Bo YU <tsu.yubo@gmail.com>
Changes:
 hol-light (1:3.0.0-2) unstable; urgency=medium
 .
   * Team upload.
   * Remove libcoq-bignums on B-D from previous upload.
Checksums-Sha1:
 ce74ddc8aeba63340cc0b4e335499bba8969970e 2039 hol-light_3.0.0-2.dsc
 a45cc3ad7249adf15aaa2a84259fc009fb72c639 10892 hol-light_3.0.0-2.debian.tar.xz
 573e62242061e9b5c1d61fe2416272ccfd26f6a7 7626 hol-light_3.0.0-2_source.buildinfo
Checksums-Sha256:
 a670350689395cb0510fc2d267c917f65328503b432e90afd469a701f84b11d5 2039 hol-light_3.0.0-2.dsc
 e882632c1fe52554fb8fa33c345373733a5f75105e13eef23bca5a89e48704b9 10892 hol-light_3.0.0-2.debian.tar.xz
 78fe589cc9470b0cb7c8973bb21ec418d84ff0dfd715084f7b12ed26b98ff116 7626 hol-light_3.0.0-2_source.buildinfo
Files:
 f5d9d9d4fa0e2f02e5cb1de40204bef6 2039 math optional hol-light_3.0.0-2.dsc
 07e8f72f27278a25b255dae1f3f2a166 10892 math optional hol-light_3.0.0-2.debian.tar.xz
 bfb7110911310d64fc5f985e2de2d69e 7626 math optional hol-light_3.0.0-2_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmdfyn4ACgkQ808JdE6f
XdlacBAAzzxtpsygTvhEYERVckOMaZv9vlm7gDRBx462fku1PlngNkjfTgCjoxTU
kS6jJ7Sy7HpY8cdiuJMmSYaPpbYio1eBlpRnLvHYGTMup+nHsy9Nm/uTD4A5XF5B
OngE0NDrOfLExSJnOoj48PomAnUcgGjIqdzuTcr7IsGDPxAglwm6KnmRtSv7+rlD
CihTJw2sDo8Ii1ZObTGELrXUA9B6gvpXnWOrPKvhbvXYqO4BlKxNkced1wOLTYEa
p9HSaKUfi8xBqfw4oJxAaxf9ov5ikxl64m+fnrgNxjK+rlW0w/m4BxzV8FSUSsgq
gkVRzJ7ZCnZ5bP6L90NWJVOOyYp0iDiijV8Q4Brvci75EQJmS+PbLkG1TkDEZ+9l
4fNVGn7TU/EOlrUjiD81reYAOi2BBkpOSDkbSxmhQBdActTnTkeYj9QtZIxW01TW
0CnUGHi0J6W/csbHg6E9BDJJBQc4GIqyRcBuCYASVYKGLTzfFya2kEQfq6Nx0OTm
UkrMf9OjZxsyhRgnAMjVbTG6QTcZ+AC2OMQyMU39cRUBNwMXCqIx8925ahSM/BXt
JQ1ZURFayd/diQfzmKEawocmdt2YBYEf/ofhrggF2jM/kpypbXK54Dz3/TKjd1v5
wvJa3caG4wn35l2y/cbegWqS2DWOY56K51ZxEsjoMoeRk4SVvaE=
=Y1Kc
-----END PGP SIGNATURE-----