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

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

    From Debian FTP Masters@21:1/5 to All on Wed Mar 23 23:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 23 Mar 2022 22:15:06 +0100
    Source: coq-elpi
    Architecture: source
    Version: 1.13.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.13.0-2) unstable; urgency=medium
    .
    * Update dates in d/copyright.
    * Add an upstream metadata file.
    * Add a lintian override for libcoq-elpi-ocaml-dev.
    Checksums-Sha1:
    7ead37d0f645a6a7530d155b98e91d7ad17fb247 2088 coq-elpi_1.13.0-2.dsc
    8475564bca6ccbcf7b0e4a3b74741fe731e9d8ff 2812 coq-elpi_1.13.0-2.debian.tar.xz
    4c4fc75b121a5505d1543bb9bc05568c1044c0f5 7152 coq-elpi_1.13.0-2_source.buildinfo
    Checksums-Sha256:
    b052112a642f441cf944ceaac8a5ee07703c65b84a99191db192af08c2b22661 2088 coq-elpi_1.13.0-2.dsc
    64e2ad30505ca11398ddea278fdd5051164c8a6332d7c5fad79b9eb6cbc910c0 2812 coq-elpi_1.13.0-2.debian.tar.xz
    54b767c7fd5e9564091beb082ce9c455c36e072d735b953b0fbe68e12fed473b 7152 coq-elpi_1.13.0-2_source.buildinfo
    Files:
    5d8b0b5a9b55f948e0a5941c1fd79574 2088 ocaml optional coq-elpi_1.13.0-2.dsc
    6b09fcc1a8141e4686c7ca2231d2ed91 2812 ocaml optional coq-elpi_1.13.0-2.debian.tar.xz
    156571849288542e0a7f6e6613de90e9 7152 ocaml optional coq-elpi_1.13.0-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI7kEUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRU34QAJIeC9xGcTEY8LmSLB2/KpL2DfKOwyTz z6iqKZkL86rl/pX+2qKsTQohQPO2gbOP55kAdf8+ijDZZGn3Hv/P69TNTzS8c6oU ULN+UCffVUPyEtLlJ0kjLuJ9S3RufIDRy6tlpGOnKaIxt/lDcNgQ2Nm7oF8RMqvE 2y4kvlRU+xfW9OZM1+fj17pGFU8Gjxv19Ln4cOgIhoQG7tOF/3eQvS/g+G2ABIcp tx2D0vk+5095VqZ+v0U9C6AD2L1fa/rof8vthb2yPPV8/B7gAm1Rh4QDTixThNPR zZaejQP+uAaOuI3hTOKPg8skOK7wRq6nbr45PF16R18mqtNSTBVkbawRnjv3/INO khECGkRgTjiIb7ZCZIUI6oVdXtXoiKKkioI/Py87LhrhCK1Wno9g9pFG9cVvKpYm MxmetNua14Vxuc99+OpzTrtTcXLTcwzmCINUfEs524iUaCdcNVKBNg8iSO6AKUkU Ialz4RUWS++lgqaDyyqIq5qy97ZO/+kv9Q3oR2e32C69vnAWxHAmVhXgkp9ld7Go mvhXyttLHjWxypZkbDOdQTg1mHy0Ws9JwLGpzzIplJtCBS8wTz0aby1mYMRIgnP+ jzBUvp9C3v6snQHHaAy+628wqBKYdueZcCuCiJ6AA96M8XD/HYrDU9v1Qdaan12y
    mqCKAzfOmjj5
    =Hpnk
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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