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

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

    From Debian FTP Masters@21:1/5 to All on Wed Jun 15 23:40:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 15 Jun 2022 22:54:08 +0200
    Source: coq-doc
    Architecture: source
    Version: 8.15.2-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-doc (8.15.2-1) unstable; urgency=medium
    .
    * New upstream release.
    * Add patch to fix sphinx 4.5.0 support.
    * Bump standards-version to 4.6.1.
    Checksums-Sha1:
    127370a5d5dfcf3bfe1d6cf17a93cf6173968188 2565 coq-doc_8.15.2-1.dsc
    fb02fea07df50c9a3036d7f092769f9e35a00ced 7222794 coq-doc_8.15.2.orig.tar.gz
    ba9565b4551b5f38daf27e8083a2941fd2647db4 8180 coq-doc_8.15.2-1.debian.tar.xz
    b9891b569f70daf91d07ffbcd52a4b11d67de473 5686 coq-doc_8.15.2-1_source.buildinfo
    Checksums-Sha256:
    8ff022d93b4cd144692bb684d8765e4fab41cc4161c0a87df40339c53e2c98c7 2565 coq-doc_8.15.2-1.dsc
    13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926 7222794 coq-doc_8.15.2.orig.tar.gz
    3e5b1ad6e8efd163a8c9178d9ad55790ad8ff477f66712fe7c8c008664ea1b58 8180 coq-doc_8.15.2-1.debian.tar.xz
    c4e6c274367d6434474f1c5688f83209b863d2744e1a9b6b100c4a58067b0d12 5686 coq-doc_8.15.2-1_source.buildinfo
    Files:
    859cdd874684496c9dcd1f79fc3372af 2565 non-free/doc optional coq-doc_8.15.2-1.dsc
    8a6c4808585731292919d75e089954e3 7222794 non-free/doc optional coq-doc_8.15.2.orig.tar.gz
    3a79fe8bd3dd69e1ff7b06f9afbf3d64 8180 non-free/doc optional coq-doc_8.15.2-1.debian.tar.xz
    a0b4f9965a93b79191b69f781fa1b342 5686 non-free/doc optional coq-doc_8.15.2-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKqRysSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRzrQQAJ3UjF+Ke7c06bMFfOJUVniz3s5sBSKo ofSm8a5KV+hsxlNx/9zAOr87WV2FwnLRgT0zi8ZtU5JdDsbvkCvSX5Cts3BOFNqg P2eS/cf8mxfLDoNiI11smLFwl2ZcGkxiexUIfWFI0spbmJGtzW6nq8I0R/9V4eU+ OqYSjKjLq5rRZOvSzoCxWsOmV0k3dKRBKVYv7xyAV89WrjIT6caEbk83ZLXUhVm/ SwXSTzwssL+MwR4iDeJOMMULcIJah1OMpsBwQ3KkWpOQVDpoWDxmlyxBKs07QVWU ebqsDLxJeXGFu9ZwVx0bcPV7RaVxmHc6qUNWDFzvxH4V/PoTXfd3o0hgeuVJPiyJ 3ormd1BXdTBoiDUrOvGIbZphxqW5iAe5lJWReJT2f8Ak4FwNCvCdAg6jgCJ8OXN6 tVpcknsdyD+nbn7w1HI43bqsFm8VO1lkF68p0Wr2jmsiy9zFX9GrZ+8qfwBlhwFv ZWffMXg639+3/l1QQDc93IrPWjHooqIZxvkXVu3NwZ3ABnHM1lHtmYLsjirg1xBd xQWuIjLL58tV1PaSpNvhg4EM1OYBbzv8R0r5XJpi+Xrbu3kPZqK+zuMCqjxG5Pw8 X8aj5GWazclO2XtAk2RPUk9TEFkLBj8M5F84lUAQMz/gguoWBbcq9c42/MoMtofu
    SR/priifHJmv
    =CVOS
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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