1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • coq-doc_8.15.2-3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Thu Jul 14 13:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Thu, 14 Jul 2022 12:16:36 +0200
    Source: coq-doc
    Architecture: source
    Version: 8.15.2-3
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Closes: 1014678
    Changes:
    coq-doc (8.15.2-3) unstable; urgency=medium
    .
    * Add b-dep on OCaml's native compilers (Closes: #1014678).
    Checksums-Sha1:
    5202c9e13e5412013999c6bcf347c23ae0988b24 2604 coq-doc_8.15.2-3.dsc
    daebdcf6ee4ff620430c1595e72131aa03ab8ad8 8236 coq-doc_8.15.2-3.debian.tar.xz
    b443bee0bb1efedd202aa28ea76677d31b6863a3 5775 coq-doc_8.15.2-3_source.buildinfo
    Checksums-Sha256:
    6dbf3f0890d8b825b1e19f5fb23d001c1c76c9090768deccee940d262c4629a0 2604 coq-doc_8.15.2-3.dsc
    6925c470d10ccf6bb168c6f4df77cedf1255086e12ae67d8b283febb2ad5b400 8236 coq-doc_8.15.2-3.debian.tar.xz
    91385ac04139595b16a6e9744b4399c93306ca8d463678d2dfb444d074638a71 5775 coq-doc_8.15.2-3_source.buildinfo
    Files:
    fd2aeb5c7b32125c8313471040134bd9 2604 non-free/doc optional coq-doc_8.15.2-3.dsc
    570f75a62771acdd8ba4856c70b5bddb 8236 non-free/doc optional coq-doc_8.15.2-3.debian.tar.xz
    90c8a06c138155515914fb8e62d83810 5775 non-free/doc optional coq-doc_8.15.2-3_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLP7YASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRz88P/2wWDPZM5R5qa2x3uqpRTA+clzPmHS3L y+E4Yjf0Lhj0NY6yk6FN6HDxcyk6yk9B819VQM2txm3gav3uvr1XZBEPNVhtnlAR QZsE1oMAxBhaP8HZJIOvhGqA4DYf7gAKiTa1we9XXpvqrwvuIJdmMB0BaRz806tT pUNpun4sr1QfzabYJD8cGJB4SdVuFsugXl22gOyf9xAaB7/JOQK8YUl4ZZJgm+JP +K+jXtHlvi79fuAL5OOv2hEBAj/Im04bNZxqLNrnClpZbeImGPeiPDXzlwVRqYY9 LHPgVUrT/DiPbhU7LtkJKhcKKCk+CMCOGeeFaxGZnXcGPoBBhBPCR4KJNLniA0ev vz82Vmw3HzF/Q3on1uEgj8SDGWdxT2IckoiXEJTPJUbDjalpiZAhKv0BnnNbWRUk CFcZtM3hmXSXze1ovIIzTiJSDad23+nUFqiT9qXAl/ZgLFXRgubYoS0sOWqrkq9b 4VYhNgL8VWOO0Ovslfd0bGkL2zZfqCm3e5WT4xIt43LfsehUEGzvtVri6iF17rLG y644mmp+8ne3GS/5DF7Iutj7C7a5yVDK+UfO9Q2UShAGlwkl1oN70h8+DbPZSPQT qzdVbm/cDq2vENIitCMRERytBJUlJ/KXb1e0DfWI0mBzWcF52ACD6/+cG2nBy68J
    m47NFcW0zG/K
    =Dw9q
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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