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

  • coq-hammer_1.3.2+8.16-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Sep 6 12:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Mon, 05 Sep 2022 16:17:43 +0200
    Source: coq-hammer
    Architecture: source
    Version: 1.3.2+8.16-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-hammer (1.3.2+8.16-1) unstable; urgency=medium
    .
    * Adapt d/watch to new upstream scheme.
    * New upstream release.
    Checksums-Sha1:
    f3a35099cca3901cb1eb8485409d32ec84bb56c4 2097 coq-hammer_1.3.2+8.16-1.dsc
    be07a140beea9df4bb73544784218d1e7e383fea 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
    c4a28db89db4513b717c860a006dca649949c181 2264 coq-hammer_1.3.2+8.16-1.debian.tar.xz
    232aa6298076e2e814dee5d9d6cf4ad30a882fe6 7003 coq-hammer_1.3.2+8.16-1_source.buildinfo
    Checksums-Sha256:
    54c3bccbc70b83999d2e11afed57f95d815e58241a647fb8024a09a78cef3ee0 2097 coq-hammer_1.3.2+8.16-1.dsc
    4993b914028006fc11f58eb3e993709f50057b9d91d67abb8347cc0ffe82c6f6 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
    941ea3a5d7899804c54a0a038954da6303b02ae17be7eb9ccdb0e49793f317f3 2264 coq-hammer_1.3.2+8.16-1.debian.tar.xz
    d147503219deb79c2c216ba24b98a62b6d1eecd47d415a65c61018d2ee581f1f 7003 coq-hammer_1.3.2+8.16-1_source.buildinfo
    Files:
    d47e6abc38d4d4c1a63d0b27071e5218 2097 ocaml optional coq-hammer_1.3.2+8.16-1.dsc
    d3d759c01cbba8a4f156661fadc963e5 148694 ocaml optional coq-hammer_1.3.2+8.16.orig.tar.gz
    53d5e02872f7b5724708b3acbfa113e1 2264 ocaml optional coq-hammer_1.3.2+8.16-1.debian.tar.xz
    7f734b767678f021b803188f69a011d5 7003 ocaml optional coq-hammer_1.3.2+8.16-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIRASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR4BEP/jvNQSlZXYOoJBpVBCJFf7QLO83+ryBy kAA4xNmjs5VQ4HDiAIsuGpvITByPZRE3Lh/jhfPrPxUbg88xFqaPbftV7S4oi4Zs SmJztLBE+R2sI6yPCxaWstZWNe47icKcuHxtjYwUgn8SzrdG7DS27JWUWw+COyXd T1Zr9fCYnPq5VLipnXe1eUTJ4sBaegY97yyNiiciOWd+jPaZX0Fak0CQh9VAevkq z1Dam+M+Kw2gk1MLCffa7oowvB9++qM/xOW2G0ElQJlieO1XCXOhGbE8QFCkfOFa IHe4ADj5ZJGoVJJqL1C2KB2HwcPJbVva34Rs3exyoXiI6GXK28DIEJasM5cWRSm2 yalq5gRwalAz+1MX0WOhO8F0z6ZHlqSwcZZXjNeFscLWyBb16AFDX34Ue6stYtUM Vx66gpHUVWPzUCrBF0XZ/3LQyPeyzzafzOzfiOwiQEJ6C5dU5UuU+mctJFl7r9TI jR4PDXLvULhvwcLMJzdhOr9ffSAL6mePGZRpXfiBt9OGDCeld1LZe7JCPt6x0Xay Y0livnNRBRj/g+ZF7pdZ53lo7hRZpV32clNeHx9QuJ4WpW262du1V0I4JnVJewEy P0NrzHTA7zwCvLCID5QLvPaM4NkcxaHQownK4aA0sSmgtswUYDD1yY71LgWOOkkW
    gla1rlWS2uUE
    =LG2r
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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