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

  • coq-extructures_0.3.1-4_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Thu Jun 15 08:30:01 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Thu, 15 Jun 2023 07:21:29 +0200
    Source: coq-extructures
    Architecture: source
    Version: 0.3.1-4
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-extructures (0.3.1-4) unstable; urgency=medium
    .
    * Bump standards-release to 4.6.2.
    Checksums-Sha1:
    3e9782a920b4d032d95ce680da71a466a885d397 2166 coq-extructures_0.3.1-4.dsc
    76085695f19f89da3655e758e48442cb6b88c8e7 2048 coq-extructures_0.3.1-4.debian.tar.xz
    d5285ddfeebd9d4ca39d769687cfa4c37fac072a 7524 coq-extructures_0.3.1-4_source.buildinfo
    Checksums-Sha256:
    32f0f433bb6159adb74a0d561c4906a8d0e7101137ff74a8cfda06081501d9e8 2166 coq-extructures_0.3.1-4.dsc
    19680c30e5ffa99d5227ca6a8dda69333b3aac6735d22e77e9d93a8bc64520dc 2048 coq-extructures_0.3.1-4.debian.tar.xz
    eff067ec8f9a964e7167c987bf8c8ae0eb0826be410c15fdc3a7cdca779cb2df 7524 coq-extructures_0.3.1-4_source.buildinfo
    Files:
    a218f5b4d94569b88365e4a6945d1423 2166 ocaml optional coq-extructures_0.3.1-4.dsc
    20da45a5b86b8c4b8da85329ef9cb46e 2048 ocaml optional coq-extructures_0.3.1-4.debian.tar.xz
    1b77ba5840d46d2d99c36485a2a181ca 7524 ocaml optional coq-extructures_0.3.1-4_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSKn+USHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRdEwQAIkcXr7y88ayc896xXXSsLF76XeeMS8W LW9Flgzot5r+cLpxDrtzm8HNxLl8LoJCtPrqscKbaaX/8NVEpWUqlnQCmY6tb02t rtWFsmvbBxPZ5++EoYJ5BUCM0ze+T4eOSnLiAWoxRScFwVZ7Tdh5AuJEhmyukGnW y5yedDumhHQzh17bZ7jGZPkuN/e/Sv5okJMkPrVcwbcqj+yQjsyJlsgu/gCirhmO xLlWA00xcbzcV1irTKCSc+VtFnzubwJg85+oHRyro+UB+Ub4NEG6eY55sUpHGkUK lSOqVA2NvwNyPBRih4XFTU+pbjksi2/RLqiudYiQf1gZ8x0zSwu+o4oaOC56J9Sg ZlOrpJ9u7CH5KaT5KEBIzKwyupSW4UdNERnAnOo062pgegIyWB7Ai0SPyHe35f/l fr9BVslFK2knJ3BrC84T+JU4VHwjH7vaZbInrLCsgqA8iJPfTHIQaRf5vK0W5gQG 4fdYDGBww3ZbLFVK00CYtz0DuCIMDG7/SZWB4O7Yzhu3snwxjbSL43+IS4bifgZ0 n5wrjARHkc2x4VmbgRuLhS1/9Zoc+898JWulcQ+G3pAfF9o+U0sqeLdtrQU3I8jz iOBQ/UXCtWX0dPpTUbQBAg1MYfYN3KQz4Q17nuMoVV6W5LWIJeEkR77Ww/pWrDx7
    PLNDk+kpJbJd
    =ocM3
    -----END PGP SIGNATURE-----

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