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

  • coq-hierarchy-builder_1.2.1-6_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed May 11 18:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 11 May 2022 17:35:39 +0200
    Source: coq-hierarchy-builder
    Architecture: source
    Version: 1.2.1-6
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-hierarchy-builder (1.2.1-6) unstable; urgency=medium
    .
    * Fix the dependency on the Coq ABI.
    Checksums-Sha1:
    a22c0a5d05dfc1427722cd3e6dccb3949357790d 2214 coq-hierarchy-builder_1.2.1-6.dsc
    196186ff1aa19a2e3d08d81f5066d707b87c24a9 2904 coq-hierarchy-builder_1.2.1-6.debian.tar.xz
    3a0a80584407d065091641c8c23bc2684551a9eb 7322 coq-hierarchy-builder_1.2.1-6_source.buildinfo
    Checksums-Sha256:
    5d28714c2810085195c86c8b8bbcbae4553435588f52f873e6652fdaf46bec8e 2214 coq-hierarchy-builder_1.2.1-6.dsc
    f502ddfe27874a137176fd86d4ba53c36c6a437501acfb4f7f9e903b79b4e111 2904 coq-hierarchy-builder_1.2.1-6.debian.tar.xz
    b99645b8228c5f8c0b2c7353a64396fc93d47b235dd369be8ab164cf00f0d876 7322 coq-hierarchy-builder_1.2.1-6_source.buildinfo
    Files:
    1fbde8ea1573d9d987210d2290f862d6 2214 ocaml optional coq-hierarchy-builder_1.2.1-6.dsc
    cfdf48276248c7afdc66d256edb3737c 2904 ocaml optional coq-hierarchy-builder_1.2.1-6.debian.tar.xz
    e73d2a86fc3b26221691561d005d23aa 7322 ocaml optional coq-hierarchy-builder_1.2.1-6_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ71+gSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRNpgP/R3Ytu9PiXgMiPBbtgtv9EiDvV4bQY/d esPKFmtkWf/WCnTPmciTxY1x2Lfko9meRYLLd0RWaZ8U33EPmFJj7uVZ4FvdXv7Q wUl7h+rAnz/65nIoOTIJrp85fLDxTqblLvvrfN5/GSAmIZeEpHpWg5hAXErAVhg/ l6tyEbSdsuAHEIP28/9+Fy4nvD0pfQQJICfFjNEFLlIv6IU801pMTIGZxXbWatOF /pEvMtGVvzw9gJhVfJ4KWt/3w82TW7jxVUEZrwF8PN7LNYy2L4fey3JIvNCVnGTw uXIBxENpZMBFVfoRPGYYxk1f2oeZIyut4gcumzGt5q+UFA/rhIXp6UIQhTkoSeMM 0lr/C7MMvFW2Y5SLxotchbSWicBOmKRTGwyBugXlr4SZmOjvvXzlcSvha6EOuu/T KjwU8oda+LSeKkSeHLDQZFrIBXHv0Z1LyLengXzezJIg9NHvb1aszmH1uGeC97NG gKa0feLEcNRIqxnExBX8C6Rbh4u/S0GsLo7+UjQyzMS3+qK74Xu7wIbu5YOI8C8y Y5mDPnH0aApHbYzWkl1l29esMmAnmZtt728q9qHjO/oLRwy8T8wbtw8WJIDO1GP4 OaUIfFYoh9FiCTF4tnwOKvT2OnDOqC3Tkhu8O3o0u8aRRTZfYLBKsqUjuZx2hFmZ
    2A9s+Aw6jCJ1
    =KBkB
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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