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

  • coq-bignums_8.17.0-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Jan 25 08:10:02 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Wed, 25 Jan 2023 07:33:46 +0100
    Source: coq-bignums
    Architecture: source
    Version: 8.17.0-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-bignums (8.17.0-2) unstable; urgency=medium
    .
    * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1:
    6d7e3d135425368a71a2da9917d1aa80bbbb09a4 2097 coq-bignums_8.17.0-2.dsc
    062de44deb7dcfd9eb57a1c08c5c471c7c119b7b 1856 coq-bignums_8.17.0-2.debian.tar.xz
    da0c0473beb268cb648919bf6e614fd8e43b1264 7379 coq-bignums_8.17.0-2_source.buildinfo
    Checksums-Sha256:
    42b2a2b822e9f2afabc7e5d075f8ac8758aacd457d824a5a21aa53c712c1bf18 2097 coq-bignums_8.17.0-2.dsc
    ec1e411194ea7eb7811fcfe07790c409e476c4a0527507e0bf550d94497016af 1856 coq-bignums_8.17.0-2.debian.tar.xz
    3ce8c6cfb2d2b2213e85d99ca264858087cc2bf19dbbd93bd36b4b96b6ee65a2 7379 coq-bignums_8.17.0-2_source.buildinfo
    Files:
    5db79a9db2f4ef57bed23fd090c4596f 2097 ocaml optional coq-bignums_8.17.0-2.dsc
    b3e1b9c7a5859d837e7e1b3ae9bc6a30 1856 ocaml optional coq-bignums_8.17.0-2.debian.tar.xz
    b1e6a8a01ffcc93c0d03e55f729eab01 7379 ocaml optional coq-bignums_8.17.0-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQzWwSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRTI4P/ioa1TP726eq+Cqruv78WTkV2UzoJ9XW idwiBPjzRBhTZsp0G9KdN5WqVU6aD9Jsoa6J50labTIFv/f2F8fNw/tqKjeNocp9 7YyHNuvg3E/MdMOfEeILnTE6a2xGh0tIyWlNmnJ4l13tBrYq0E9jZwqhReYyJmlE alqVKhzAZCBZNX36Kgm6YM7GB4urbqOeHzWy9nz+7dEeu+IQDyeptPu++n0j1n8S 6Ed94bIi/Xy7tDOy7MHSEiBOFCjBIib1tIkS+3YBiR1bMOOthF/JQkRjg8P6dF+7 BkF6vgNGnpW51TwGsLoIAE7YmTWrGgfmB0CJtAlqECcFVH5Y3VrJLO3sR46ShmXn M1VGmt1/ZmODLkkOQCM/2zWemtjNlXB2sT7FN/uLXxMINri4XC/aqEhwspnYLsr4 8oFD55fpl2K8Cw7T+gwHUtrYTPxGCotW/1F8EK54TZy6fv8s1vkcMs1X/XiuGdt5 RAioe94yysuzDlrO0E8aTbTEySw7YjMiUorW4gi8dyOl8UbrT7y31D3fyM7nyAL9 J6UEFnCKR8aXTIb3QmDtKFgfYm9VZ1LBEAMcWsn3VaLagjaj3xMGU3BbLeXCVKJx g6y58e/W8/WX9QBGNViGLnINM3q+15Sed06no/6i+RrtFm1H4GqvMEjVb8QspJzX
    l7+PNHgJ9Qw9
    =Ein7
    -----END PGP SIGNATURE-----

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