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

  • dh-coq_0.3_source.changes ACCEPTED into unstable

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

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

    Format: 1.8
    Date: Wed, 15 Jun 2022 10:16:08 +0200
    Source: dh-coq
    Architecture: source
    Version: 0.3
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    dh-coq (0.3) unstable; urgency=medium
    .
    * Mark the package as Multi-Arch: foreign following hinter.
    * More robust parsing of the b-deps.
    Checksums-Sha1:
    5daad029e0e705b70210b279c98fd09125ebc6da 1587 dh-coq_0.3.dsc
    74e9a233de52cba176afc86194e26999abf52e01 3832 dh-coq_0.3.tar.xz
    67bb3ed3164977746f333944085ce37167f05146 5615 dh-coq_0.3_source.buildinfo Checksums-Sha256:
    a148152239d7d7fc89932e3991e4fea6a4c153f36681d4d761700e58231e00f3 1587 dh-coq_0.3.dsc
    523debf6a81e864fa4687f01c6867a09191425b5618c26b2d03cc6edcd0377ae 3832 dh-coq_0.3.tar.xz
    63efabdec048349290cb3d26585a519c4ee58226009ceefcb4c68f0b4457d03a 5615 dh-coq_0.3_source.buildinfo
    Files:
    8842325ec51dff8cf8adba537f8848ea 1587 ocaml optional dh-coq_0.3.dsc
    33d52f87d57ce0f3891c6960f049b47a 3832 ocaml optional dh-coq_0.3.tar.xz
    6f5a0e726b728e52c70cecca31bb0d02 5615 ocaml optional dh-coq_0.3_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKplV8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR7L4QAIvdzn5RE6tCG0LK/g3wWtJ8zF+nQVXF d77ygJpZVlE8lbVRQnhnAAHv8Xdp+h9qxla7oRH04ZhaoO/TbRpQFcEKfbyQnpjr dL/47rw0RP/9LUkcJaHjLC9m9u+Np/vlZSBBoNGzNegXC5UYCA+UWn01C8IwROVJ V6nLTyfFtaa1kHBK+dm3ESrU4VsgRH4w7DT2iuQDs8Nuv6W1Y7pF+Z6Y/6FlfTWQ iG6YGEq+uogfreLKcgJQ6Zhu1BSH9ebGm8qmz8JULnCNhhrgJRBvEoKEtwG0JDqg arP3MzM0lxVsv/Yv5qgb4GJExtASEfQUqnPbSHz+0bKGyzYVJ3Wwjj49X2GpY82v UGx03m7eWSNGPBmIFuwGzJUDI6hW57+hgOtfREOep6yEeWHHAQAqI4GAzDNGCBbB sJkt2iEtIyIycsFPO68eCNR+lb8FpqHHUjpRUG1fNTIkXq0e7i+PYKUIX5NjgEYt Epfdv1VhKvFYnd+offxN4PrqrJ0XBjkQLGChQ9IA0S8iHmrV8F5+SdDPzPj+K6eB aiSstRJU6ptRZEmG4N9rdUXpzL3U+be3TbH7o1cqUQaafaDZKPXWW17vFMjN0Lcs dRY1lCxQwYjkKoxCEWtsuLd99x946Jl7BgYtj33k5G1N0kFcM2EAGa2fDRS39PN/
    gqxDE/vPyw9x
    =E78w
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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