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

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

    From Debian FTP Masters@21:1/5 to All on Wed Apr 13 09:40:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 13 Apr 2022 09:01:51 +0200
    Source: coq-elpi
    Architecture: source
    Version: 1.13.0-5
    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-5) unstable; urgency=medium
    .
    * Fix binary packages' depends.
    Checksums-Sha1:
    37c97a89da126e5448b4d7f4d3c4267ff00df6b6 2146 coq-elpi_1.13.0-5.dsc
    29c9a4492322ce0d7dc3a4c09a7750ec50f7a09b 2960 coq-elpi_1.13.0-5.debian.tar.xz
    ad135550d17fd411aeaa003b8bb2349dc71a61ec 7158 coq-elpi_1.13.0-5_source.buildinfo
    Checksums-Sha256:
    d9dae9cd4f84439538bd1ef662e2d987ca7e4d6022f436ae7a390f61c7c133cd 2146 coq-elpi_1.13.0-5.dsc
    fea05f1ab9dbf5b217400745eb9e468f09bd571c9433238f77a39788f9d60086 2960 coq-elpi_1.13.0-5.debian.tar.xz
    def6b3df3cfba5de3ddbadbcaa686e15bddf9623a769815e0b260da6bee5eb28 7158 coq-elpi_1.13.0-5_source.buildinfo
    Files:
    be9eed1e79dbfee07ee023b24330ef5a 2146 ocaml optional coq-elpi_1.13.0-5.dsc
    d92297375ac5c5536d5ac5ef71582949 2960 ocaml optional coq-elpi_1.13.0-5.debian.tar.xz
    777e79527c859f4d26fa0c1db3320891 7158 ocaml optional coq-elpi_1.13.0-5_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJWdZMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRMXsP+wfl+hWOVwsHuBuwZHJKbA/UNuwpzJ3n 0CNpTNvISwpc8i3KCWhFLodlBwRMa3u2cHQ/GlVJ0upyqNTdn5FHRPaJ8O4ARdCr kOFFDHDi5EYF3iodOhs66H4y4LVXT0Vgi5r3TTu297QJMp08J/9unQzyVje9eBXT fjVwsF562+0gNcdNYWKNbodtchQi+bsypODexd0mngI3PIh4zgShM4kf6iBUKLiI 4ajZW5H7O0z9Kn6sgxLrSxkAliTHCE7n25Sjz72sLLAeYSYk8714R3/aWByKN0dg fx6Gx2BmvLB3ukn4I28PmDZiBlHBrZ+FlQjET6aKP/si4Sw4wpGQIfJlqAYtJx44 aYw09lKLnwvYyPugZeoyyE7BSknNdM4juBn/imixRdsH9ueQwmVLoOtwraKfWYaX mL5WyPji71k3D/tannicbp4j9krBW63RCVG6TaCVjDM2p7YIeKwhYg1sJzcXWARh r4lwVJES9nSDSSoRJGasBhg4PVB1SW1fa1EpwOkEQfLJV4cL1F7lOabcrMTKtw6/ SLaG0R+dn/UXLnVWRyPBOrXJAGm/D2/ZCrC+DyZrjO3kldQiHssB09C/SFdG5k4r UCjcFMYbg2rJUX4yDdR+A+srF3rDTDVKAeKUiiQj1aKSmIIFOzymC+xri39OXpND
    dDKYr3p7Clp6
    =jbG+
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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