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

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

    From Debian FTP Masters@21:1/5 to All on Wed Mar 23 23:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 23 Mar 2022 22:38:38 +0100
    Source: coq-hierarchy-builder
    Architecture: source
    Version: 1.2.1-3
    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-3) unstable; urgency=medium
    .
    * Trigger rebuild to depend on newer coq.
    Checksums-Sha1:
    8d2f4cf97ed68ab3820c3985de39428ca21b3efc 2215 coq-hierarchy-builder_1.2.1-3.dsc
    bab66afd85a21ae6d109f455f56e819b6cd0fb30 2772 coq-hierarchy-builder_1.2.1-3.debian.tar.xz
    1e41b8bb1346d456c98fb22cc18ad5eec4e35ef2 7092 coq-hierarchy-builder_1.2.1-3_source.buildinfo
    Checksums-Sha256:
    3f409d083fbf000f44169cabc4909eeb4c676ae2d7cb23cc7ce237ec53c93b2e 2215 coq-hierarchy-builder_1.2.1-3.dsc
    41d9805712ad74a1f96a25bb1044935f02b8a46e81429b2175bbfbe98266a18d 2772 coq-hierarchy-builder_1.2.1-3.debian.tar.xz
    678b9ab924a301bd92ef2fbcffe524fbe36cab928fec5b16ff40b8a3f5fb7f33 7092 coq-hierarchy-builder_1.2.1-3_source.buildinfo
    Files:
    68fa3d39d230a8897aedf3ae285ed7eb 2215 ocaml optional coq-hierarchy-builder_1.2.1-3.dsc
    74bdb072ab156a450c35ee25b2e95c70 2772 ocaml optional coq-hierarchy-builder_1.2.1-3.debian.tar.xz
    5bf76ce23c7036c4f61605527ba4b7fc 7092 ocaml optional coq-hierarchy-builder_1.2.1-3_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI7k4kSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRYSMP/in0lOYsPhaFHz7SUCoGdTIwIySr6A0v d8EcsegaqpE/K/dgqCr2/3uK+UoBy7KmkdXZ+fH2sL7xh2n6ZfN/YS4m9csNrsyI 9BXvpbOQiK8C1FHD4YFF2aL1VieeegqPxwV3dmnCsu2+zsD6ZYBZtQMAAHqejkiL sOD6Fj1IT6zjCOExbTynPGzfAMWuChPZY1uC4bNF+x+Wa27ZhIc1F/TPWJGJZva+ atVFEj0eT2YXtE8D7+CJdliN3QiD9P46NktefXzMipMr4ZpEQVdLmQ40JA1GPBLm EQwj5lZYR8qLk+uPY62RgEnaFnFxb2cY8aJQVUyD3fJNYddUK696+rqFvO+zd6N8 awLbXxX+mgafPkqLCgM3Tk1ORUkuRET3/1W7R/w62GS/JEK4dnJDXCxwMSPmtxqu NQ0GfWjdvO+9nKfm/zQBP0ieuZS6K2Mnn19TqdX1f8mrokYtfyPXQMIib0oT3SLi 3b7J5fQJPVIazpo2uzYl3qcQrvghtLhSkf/LIlEOT2Cj1fc/7mpW+ruAgLOYBNtT NRgk0MhaxjlKkTXKSM7h/6Wb1QaQpwIehjCSYVfOk3HCPGwlZoIFRWFczbCEcncJ HPKJs5cRdKrEdSXZ7RhRsQ/mqxNKTFq/bu27x5WB6q+Rj7pZBux8pTl1h6uz0EDv
    qHvfUXIdFGhn
    =e68k
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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