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

  • coq_8.14.0+dfsg-4_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Mon Nov 15 07:40:02 2021
    Accepted:

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

    Format: 1.8
    Date: Mon, 15 Nov 2021 06:59:19 +0100
    Source: coq
    Architecture: source
    Version: 8.14.0+dfsg-4
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Closes: 999651
    Changes:
    coq (8.14.0+dfsg-4) unstable; urgency=medium
    .
    * Strip libraries.
    * Build using dune directly.
    * Make the html doc point to a local logo file.
    * Make the html doc point to local css files.
    * Disable the bytecode-only architectures (Closes: #999651).
    Checksums-Sha1:
    27a6dccf197abaee522ec6481bbc056cb4c8d10f 3021 coq_8.14.0+dfsg-4.dsc
    bcde7acb5f2e139ac4fe2479224e873de9424823 39800 coq_8.14.0+dfsg-4.debian.tar.xz
    a29c1751785fd064d87446abd668d4ebe59f0b8f 15505 coq_8.14.0+dfsg-4_source.buildinfo
    Checksums-Sha256:
    7eb7ee3762717a896415c0addac5726f8fea60ebe47e805d93a5e1b4f781aed2 3021 coq_8.14.0+dfsg-4.dsc
    b7851ef824dff080e9c07e726546bfc683059b5c67d6703b8360fc0c7b35218d 39800 coq_8.14.0+dfsg-4.debian.tar.xz
    5bb3272d18f2085f6ea3ab9ccd367a3c83ea53993cacf53fe2621b838c2d9179 15505 coq_8.14.0+dfsg-4_source.buildinfo
    Files:
    e1fe5a66acb281be35b80dc69ea390d3 3021 math optional coq_8.14.0+dfsg-4.dsc
    53ea74659338ae05aef130981b31ab3a 39800 math optional coq_8.14.0+dfsg-4.debian.tar.xz
    ccdb159086a6848296cf63196940ad84 15505 math optional coq_8.14.0+dfsg-4_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGR94gSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRU2gQAJuiKWLKp0JbBFNw4g7YISfYMTrzHq0B VkIdzZYAWRlvb5WUJncYcIb9+lX9seff6hNRl0l7Wds1lscmHW3Azl0KrRCWRR6r yTF9v6dlFynI/rXeNk3wfJ0psAoIYm/aePCHFS1BJ0gtkCdy/PbFiTX3tJyFtllK HIq7iJmjZWTcQHsAKMN9cU5ADYnxUcm5cTgHJkFKWZ/XZk+NSuofKcxEgwiOK0vd 8W+msH1NyOZkCNlbO0BBFEGKLxwWWoC52vNdELnY2JYTRDOwt1cNZbvUBuOnArGL 25zhABHoGLj0baUOM/2GyySSDcmfw3iVBMA8kYi1j8M0LdAp1Hy4Yl49IUrNY3aa 9kuo4RwFU9PDYyCgZeMUC0U/0JHs5br5PahsMNtToQhlSyB7/8sWmv6xIk0FAF+T 8waCCDUQxQh2Hku7c4M/YjHoP8Yu4WUDjaGocHKjeqSqolRFeYfChS1OT2sZr6Y2 P3gRIwUI59zYadd/kBDTRM5NrViaC/k0mNP38rGCupFBGsRfHtG9Rx21pMInQ+na j5JTjRGf3UvepSM4Ajyz9Y7fP2y3M78fTd+fmW768MOnFe/83kkZ69m+BS8DZ/tJ 7cYIwLRt9AsaYdX0m+OBLZEwfEaorPJ4qk1qSaX7lMpqyCArWWJkbT/jxFvFFth1
    cEIeOK4O+TkI
    =xWOw
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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