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

  • coq_8.14.1+dfsg-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Dec 11 13:00:02 2021
    Accepted:

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

    Format: 1.8
    Date: Sat, 11 Dec 2021 11:46:49 +0100
    Source: coq
    Architecture: source
    Version: 8.14.1+dfsg-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq (8.14.1+dfsg-1) unstable; urgency=medium
    .
    * Ship META in the right package and hence Suggest: ocaml-findlib
    (following OCaml Packaging Policy).
    * New upstream release.
    Checksums-Sha1:
    83cf09b06d3e4e04b1fc3db6c80548dddf8e9159 2925 coq_8.14.1+dfsg-1.dsc
    8825cd8eacd75edb237829d4e1d085b106e05069 4614312 coq_8.14.1+dfsg.orig.tar.xz
    ce45fcba3c8e67b09b515dd5e7f16b480e0b062a 39916 coq_8.14.1+dfsg-1.debian.tar.xz
    3e37abc0be759f0f8a2bfd779be531f407acad88 15435 coq_8.14.1+dfsg-1_source.buildinfo
    Checksums-Sha256:
    6338cafd8962d24d81fda91f7fe726d2dd73107c56c9e1809f1b67e6e8c610a6 2925 coq_8.14.1+dfsg-1.dsc
    64c41fe6566465c343bc652691bb6e2bccff1a7dbbd4c97d3fe154e094d342a1 4614312 coq_8.14.1+dfsg.orig.tar.xz
    5c55f268543370dfef63e243c8ad30f97acdf3af0fd601cc974bcb9342c53971 39916 coq_8.14.1+dfsg-1.debian.tar.xz
    3fcca950ad9cf638968268d70bd649e12662231fa9b3ef693470da720698b808 15435 coq_8.14.1+dfsg-1_source.buildinfo
    Files:
    a260ace4153143a9cfd4e51ea2110fe9 2925 math optional coq_8.14.1+dfsg-1.dsc
    83f6ebf664b30aacfa00af543012734a 4614312 math optional coq_8.14.1+dfsg.orig.tar.xz
    549e6b2f9761c86180976584163f87d1 39916 math optional coq_8.14.1+dfsg-1.debian.tar.xz
    6821b18da058e8f0ad25a8a845cdca50 15435 math optional coq_8.14.1+dfsg-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmG0ghASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRrRwP/jQrtP122vmxQIjoZDHGhXjoyZtHxZ2W ggQ+6MnqNLf0cva4mudl7YgbOmDQ9swGYEEx3fvYKepGpZ6VY72NYaxcTP/GGhQ1 HKDijF7Mp3u6kASAooiZil3x7OgRRb2rWoAvEh5QFOF4n4yK2m/ZznIDcrsrfRUz jr4IE4kJlCGgRjAS/DgRfqoyYVyTfxduNS+GPbzfZOhimHiXqNveq+n+M4mPCTAT XY/ODyus7zCJhRR1VBl5LMMcRDWREfXG1ebzVGhPia9aDvNdiX2rdrIwLh/BRP5d JSJaVQmCMeyK772OhvzHlKJR8hZOzxZvbu0JuY1YgKxX4QOizSLKv/XwSCPU72Dz hX9riUQH4gLi01vMx19vO4x20hfn1Vir8SB2TK49z2yKGCzLF2l58k7ntbnU6BoD Zi4/Gg1FeG1XcE+YxG43c4tyNUQ6W5/y6+dM4jV/QtRInCTXxC1WyC4gJ89ys+Qd 1a71RDnJZZXggSNilEB8T9xEn77rVzS50Vf0mEOJBOxEHoi7aOjLms9csb5D7//M QSveZa6m7OcfyRjv3ZpAb2XQdDdMGf3QNqWnCrd2d7UK9Si4JQXfjebNAEapjb6E 06fPHls4pq5QBPd/mWiX4H28iSAqlaRRyeJkLEYJKk571odZLm/IY/82obrp9MFh
    8RetOl0d94eh
    =vGpn
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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