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

  • coq_8.15.1+dfsg-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Fri May 20 21:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Fri, 20 May 2022 15:53:07 +0200
    Source: coq
    Architecture: source
    Version: 8.15.1+dfsg-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq (8.15.1+dfsg-2) unstable; urgency=medium
    .
    * Don't strip everything!
    * Add a patch to fix a typo.
    * Bump standards-version to 4.6.1.
    Checksums-Sha1:
    570791bffd68b0941ad5d0a826017b33cfd8298a 2599 coq_8.15.1+dfsg-2.dsc
    1e9d99664b157e78209e6e98b0a8826546bcbef8 40084 coq_8.15.1+dfsg-2.debian.tar.xz
    25ab70587bf0ef1f953819ba3fa352c12337f565 14697 coq_8.15.1+dfsg-2_source.buildinfo
    Checksums-Sha256:
    43ad17b535b9f29bc1a1ae3d82c38317c6a8d29dd38d66f12699905fac38dfac 2599 coq_8.15.1+dfsg-2.dsc
    aa60c44680a03018d7e63f0e90215447e02874a4c36f90bdd189e47d9b6ceb69 40084 coq_8.15.1+dfsg-2.debian.tar.xz
    d39e7b8891f82cb6c348f7c52e491c628f10c1757e13abfccb437e693c6d3af9 14697 coq_8.15.1+dfsg-2_source.buildinfo
    Files:
    3f122be4225f96d88b902d3975bf9168 2599 math optional coq_8.15.1+dfsg-2.dsc
    3e1bd64583e1cb326546c2d745e0ed45 40084 math optional coq_8.15.1+dfsg-2.debian.tar.xz
    b5a60fe19c004b889df2d04f26736968 14697 math optional coq_8.15.1+dfsg-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKH2YESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR4l8P/iAJQfSHRW80RORQD9BmqpjDsG9ECjuM kJzZFn9+dXnJdWQA9fOreoFV5mM1FgMsCtlabOi9Jkad6Q/KXMNBrnpZWI65kkna JvD/loGY92UU6zYMLE/oBHU2/PX7SC/ktoHINk+7rBTSDVsTnJmPcLlt2yQZMZhu oAfhxG7o/Ox6YLq4Y73j3Fiw+OewVuDWmeG8UBlj/JdS9Ox24Z2tFnmgX8aGGrok wwoWetgnyJ+dWiUT3wZbmJiuIcavRA51kUAQnWDrFJV3YJ+M6iWctDGbisHQYKS3 eEi6isNt1rqjYy0gOe4YVPLLY51Oapp5H3PDSyIds+ECFwUB+48VPtSNGyj91yXT QOB4NMv9sq1WMy5HRZXhricjvOisI4KPHWNfQE/iaOes1qLQlUtnJ4GYwfv0gdwe rLPHhvgyuR4II4c91OHSkr7387U2oID/jU9DwqNC525lpVhatvRJlOijJNIY3iak aHZSHP3YhqAtw7nl6WZIohn7TyX18M3Z8jOH8kWC1xzVSX+cM+u9sT8iY4y9DYFr MAJXREAlyM6pOgX2NExYrbDbk07jO8UeNtPb56HsEobRd7HollWGjYJzohujft+g vbOpslIu4lr7YOvxmBibeJfS+7ZsVCTGXvMOMztow9t0a7RxrzD8Lp2Pb0uJtaph
    Al9V2nsY9F6t
    =7l9r
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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