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

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

    From Debian FTP Masters@21:1/5 to All on Wed Jan 25 08:30:02 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Wed, 25 Jan 2023 07:50:31 +0100
    Source: coq-hammer
    Architecture: source
    Version: 1.3.2+8.16-2
    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-2) unstable; urgency=medium
    .
    * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1:
    850d0273817b24cf94ff0a3d5763f9f152ec9885 2102 coq-hammer_1.3.2+8.16-2.dsc
    de4c02e9f3345f1895ead397eb4dfaa0f0f5c2ae 2316 coq-hammer_1.3.2+8.16-2.debian.tar.xz
    18691c7e6ca8d7510e573fbaf9899764c6708b57 7403 coq-hammer_1.3.2+8.16-2_source.buildinfo
    Checksums-Sha256:
    d3c279a1075082df4d69c99fd99ed13e0bdb4e4f26ee5737a0e5cfe11aba1cc9 2102 coq-hammer_1.3.2+8.16-2.dsc
    7290c70a5f181c3ed90461654c49b65332697ec790056b9ab97514670b485c26 2316 coq-hammer_1.3.2+8.16-2.debian.tar.xz
    cd07ecf33b03a6f7204cd4d87f8ea5368333599239641e6a67f9ac5bebc8874b 7403 coq-hammer_1.3.2+8.16-2_source.buildinfo
    Files:
    0d95afb175f40674d5ab6493bfe23394 2102 ocaml optional coq-hammer_1.3.2+8.16-2.dsc
    53e37e2e6926779de21ee3c5dd5a6537 2316 ocaml optional coq-hammer_1.3.2+8.16-2.debian.tar.xz
    8c4e8c3b632d60baa4fa8ccc6fb2ead7 7403 ocaml optional coq-hammer_1.3.2+8.16-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ0WoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR8n0P/A8zbpVutZoXt240SHnS/AOo8WaHF2SH lvEbqoNppnVP7yJqm9JBnedKNRjMfsVDm+mfKPnjzCqCI4mMwd5Nb3Cx4Cvt3lua TDxnbFMN8upqFX5EkRILhpgfKXP/iZORATkcxmE9qcu32m9IPRzbfxtmxVJZgJTx VyEy2Ja3WmEM2p0+AoBzw6BfPLhxqjhb4DBZQ7jd5Sy8210yXyDF+7f4aQn07rkG IytBU45XqQi7yUttE5AQFNSGZzofO5nL0zJDEbHQB7aIVfa+noYvSVquK2fgIIZz oER2KO9bd+L2VKwRxpuh+J+BZBA1jDDvzJaUDHhT94HpHOSQzNdCZsbCC4XgDcoD Cz+l602sbVyHEOS6P0R95gEGwWJBo4SDj9rKJgub4LWzMH3WmTU0qjp+l+TMm8YG SsA4uT7jGRXj/xeKbTagh67N4pVf49lZtWFNCKkg6pMLlg/fBVWdeE1CdrSjfiId txvVeojLqF3036fLU7jlX6s4vrSCwZReSSNbxlyw+fG8fl9qOQFionhbWcSGku6x uzPqINmczrBpOnwpTgK/iBsUVG+mDVKMmjgl/ujxCuCrA7hZYc8KM4d8b0zlhMn9 fxGYdPkF24wPvu4Sdo2awWbAjLZutiqaTxXvkcuu0KxYcX05Wz5aeoiQ2NZz4F/V
    tYHM6giezTLg
    =6NmJ
    -----END PGP SIGNATURE-----

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