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

  • coq-elpi_1.14.0-4_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Jun 12 14:40:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 12 Jun 2022 13:57:38 +0200
    Source: coq-elpi
    Architecture: source
    Version: 1.14.0-4
    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.14.0-4) unstable; urgency=medium
    .
    * Use dh-coq.
    Checksums-Sha1:
    13119f0016ed9ae50df0e237043675cf4d6419f5 2165 coq-elpi_1.14.0-4.dsc
    f8178a8cc9689c7986945aa74d2d9d962b568f4e 3188 coq-elpi_1.14.0-4.debian.tar.xz
    bf321494c8e9d278ff63dfc0622636d2dde84481 7202 coq-elpi_1.14.0-4_source.buildinfo
    Checksums-Sha256:
    aa907415e7364ba9e728230e9c057a8d4338eb18fc2cdaef180aa4afd2a70fd1 2165 coq-elpi_1.14.0-4.dsc
    65c8b6d069289af84111f24d93072f1305559e4d612a6d901640dcf1cb5253c1 3188 coq-elpi_1.14.0-4.debian.tar.xz
    f2153a21b91e6ff0d1d6ba1d5515aeae63f02f344997dc076ee7330997250c77 7202 coq-elpi_1.14.0-4_source.buildinfo
    Files:
    cf98c8c3dd754dc05b2dfea8ac53f14a 2165 ocaml optional coq-elpi_1.14.0-4.dsc
    d2304fc9e7994b6c02817d1286666157 3188 ocaml optional coq-elpi_1.14.0-4.debian.tar.xz
    0aee7d056a8ad0a8965f867a9b5fd4ca 7202 ocaml optional coq-elpi_1.14.0-4_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKl1MkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRGG0P/i0V6uk9DTBKTG3XO2c3SDH355NAAFIx HegjxBe2ThpiYGwyOf6bLDUxqLi/I1M+WntPi+Za2V3WXLikyDoQE+S7TVT3h7Di Ry35cOKf6Ar0V0ela5IlnSbqZV03mZk2f0P9x048k/Oogk1Qf7Zzr2OeryCgEq26 rISS+CrYReh2vwqpeI8S+xhrf8t8sV0VLHZT/Gt9zsMsvyptMwsLXt9AkH1tuzRa EyDzNdTmVBP9g/SJORv9YBFI7a+vpkVk683Z5qHdhyE8ZT9Ew20u/oTG73lOeHvb owxYMr+mZXV5hE9Qx/6vmqRlqcshh5PELYDxqh4o4wI1YCF3/FtdqZ5Ac5uXw6cl lqUTK3Q3N81/D1Tmg1akb0l54RjNpbJVqJkfXpC+kbrQAKA6igVM+G/Bb7zWviXy CjeFKQsbgmzzwXtgQWP0PugX6cf8c9ejGPcG77m/PXAMz69dDRsV+OHiZb/BTk/H DCDxX8Eyxv0bKyaUeac3r/FpyR7BobBcc/D2nCBjUg3KW6aJVI3WFsN/hP5BrKuU Df4eJjtevVjeSZ/hczEEgacBAmRiDQtIS8jK5xvwPNkDuJVjPcrfXCoF2PI78WN+ uXdc9n4TqZG2KPLvF5/XLw3T0JvvW2UF8DGQVaDfjMo91Leyn8A8FSG9230E3Q1d
    MT96YhKZhhJQ
    =5Ojl
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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