• hol-light_3.0.0-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Mon Dec 16 07:50:01 2024
    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-----


    --==============ˆ73789745154200001=Content-Type: application/pgp-signature

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZ1/NfAAKCRCb9qggYcy5 ITtHAQDBn6rVf5IQKXNZ7Big1APx+s9WcAAtTuAS4woegmm2kQEAsEwbYK695Mum oLa9b/akhbuZb6klqfD+mW4O89LCiQA=4oum
    -----END PGP SIGNATURE-----

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