Thank you for your contribution to Debian. Accepted: -----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-----
Attachment:
pgpZl9z2D2dnx.pgp
Description: PGP signature