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

  • coq-menhirlib_20230608+ds-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Fri Dec 22 12:00:01 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Thu, 21 Dec 2023 15:40:55 +0100
    Source: coq-menhirlib
    Architecture: source
    Version: 20230608+ds-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Closes: 1044951
    Changes:
    coq-menhirlib (20230608+ds-2) unstable; urgency=medium
    .
    * Fix d/rules clean target (Closes: #1044951).
    Checksums-Sha1:
    ee7f99a2120261032c187d105dfb34e340ba3290 2145 coq-menhirlib_20230608+ds-2.dsc
    1ec5a8422dedda68b7968217f6bfee3c90762798 1916 coq-menhirlib_20230608+ds-2.debian.tar.xz
    eadbf953e69fd385554e171dd98a0d7642f238b3 7872 coq-menhirlib_20230608+ds-2_source.buildinfo
    Checksums-Sha256:
    9e708e3aaf67bf82dbbe0479a3889d1eb724d30cadfdbf5c2ca9cba1eae0ed95 2145 coq-menhirlib_20230608+ds-2.dsc
    f66590efdd811b1757ab1d510435fa44008a47873903e83d9d76907da0e77beb 1916 coq-menhirlib_20230608+ds-2.debian.tar.xz
    efcdc3d90fb91c33edff2e968ca68860e322162c796d058677c5ad1d17621e60 7872 coq-menhirlib_20230608+ds-2_source.buildinfo
    Files:
    7a948e09e18bb962581b3fa0b15be8d2 2145 ocaml optional coq-menhirlib_20230608+ds-2.dsc
    1b7a355b2929e3ce1e108927d6d8a00a 1916 ocaml optional coq-menhirlib_20230608+ds-2.debian.tar.xz
    1364aaaf022cd3c613c9defeeb3714bd 7872 ocaml optional coq-menhirlib_20230608+ds-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWETpYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRJu4P+QH9tHQWqnftgvft8DlfdHLeuN3k22bn W9WJk4mxGVy7LdR49VT+g/Shh9c/d7E/ogB43fKZT1qFpCzeMg4RF2ez7hXwKgoN kJwpzecdO4E0gdyjhhssbEz0aqHVRpPlkkG3snT0M1rShCaMlGcAED68gfCLVrjC TWOKX8CL1vahtL8Uy+o7cGKPzbtGNAxn4UpJyoM3iBGcqD2ZqssW5aMuE5aVrlAH Jy52vhYcOBcCWxuPhmDwv27Dbos7xjDf9ym8yTzNdjDTDiME22N3L28eeTYXAcHI pzI0K2ej+Agz0+rtvyzGdzxWix7c0EAqV6VILvWqg8zuiMRDSFL3JjwjSTfKLI6v Nd1yjY5AI0ASfzjcrRgZckwpLnhHyrhOiD7corP7bqRTbFlqjKWrQolZ4Hxo90Of HWq0FaW7A/jRlkRdFOW2hkVooVb4jg26Qv01uDro5FTBYiiUnOerG8xcoYmTHlZl Njyke3HoO8goQTOcA33GVjiGYtsFmWUMQ5yrHaQWOIbARV6ej4rjQnAE0SZ/1BoN T2jutiDIJfc8ZaYnd4fc7kwYTr3CR4hubPyQXLQrGqjgaMwgfTtM6V4wR/skvSja pzcnBsj6vTENiUj6zYcnBbe4lxdLKwGOnFachVrDx7/W+WdrIrY9LhKQT766UFir
    3+jif/SvHyCP
    =OWWW
    -----END PGP SIGNATURE-----

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