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

  • coq-elpi_1.16.0-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Jan 25 08:30: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:46:31 +0100
    Source: coq-elpi
    Architecture: source
    Version: 1.16.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-elpi (1.16.0-2) unstable; urgency=medium
    .
    * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1:
    06f70f5b81110608177bd75049f520f88eb42245 2030 coq-elpi_1.16.0-2.dsc
    f9e3bf46f1c14ccdb7a87ad0e54bb0f53c3418ce 3412 coq-elpi_1.16.0-2.debian.tar.xz
    8b137926e3fd4a091ca5666e4263fffe4860503e 7865 coq-elpi_1.16.0-2_source.buildinfo
    Checksums-Sha256:
    57e49b0b9bf7a032475994ab8cbbf914b7653042f6c908772989ca1a4621f93e 2030 coq-elpi_1.16.0-2.dsc
    6f7d9746c758a91ca8d5a04571e0a77e919db8468f7c632f481379c4af09d0d1 3412 coq-elpi_1.16.0-2.debian.tar.xz
    36c24ab9bf7b0c55b8e45b522631ad7cb182adac242834f1d89407c52a5ff7e1 7865 coq-elpi_1.16.0-2_source.buildinfo
    Files:
    4fd7b903bb86e8714388f11c9d36eda3 2030 ocaml optional coq-elpi_1.16.0-2.dsc
    9f065e96760ef1865665140f54e9f4f3 3412 ocaml optional coq-elpi_1.16.0-2.debian.tar.xz
    5b015598128f321e25f476d621f7b14c 7865 ocaml optional coq-elpi_1.16.0-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ0GMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRaxoP/jQi6rp02VzQmI+LGGZOBK1lniwzKsvb ED/1olx6iuMPUZDgnDFsEesYjcr9iVw3hWor1Ocb/T6bC2BE9rRp0F4eU/1zbEgK j4ii07iRf7B/FwphWdcBDJnCfVQhSCN4ca7lcR7+Is8i7cEg67BqkNQIlvj8OYKg c0+uh1TseP5S7O8DRvLVFaQjmfx/IzlKQEd3IFzkjWT5A36XqZk9CqrpcG/ps7M1 Ehi7LQw5F6au3Nq1khktGGgJ216usXFUly/8nDOYpyuIxjhRvT1frlP/9l7OD3eT 90e1tZ/Fs1kIxay1I81i0ENPo8TvFme9OrlMqhiWQFGPoZM1S49votgmhTG2fb7V ggnUxFNQ903lhar2UKS74zoAqQyNG6NWkg8izbRhlQi2IYX1CamDzo7JcZqSrbYX EaSCOtcFv0hF+SsTYz8B34ZykHckUtDq6gJAXCABhUTfAc+gwJaSingxUzYJ5gtG PiUpvojBWAG2nFgPesNpW0Zwb35s9ss0tKF5hAz/HMjCTwQfsUOaJrlWD4RSHblc nCpKIa/DvBwqWvVmvFZFuTyhTElKjDMIxtzEGwv3Snx8JMgWrjdudvGNLv+XgfWc UjexJdRRagXva5K5+1EUfp0JcPVtb1IGHl2cvJO+OODCwZmWNQTZfivPtNQ52sC8
    dhk9VcwZrdPf
    =7NaI
    -----END PGP SIGNATURE-----

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