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

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

    From Debian FTP Masters@21:1/5 to All on Sun Nov 13 22:40:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 13 Nov 2022 21:47:42 +0100
    Source: coq-elpi
    Architecture: source
    Version: 1.15.6-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.15.6-4) unstable; urgency=medium
    .
    * Provide a better fix for the libelpi-ocaml depend.
    Checksums-Sha1:
    7b9395bcab8ddbfe67cff8e17521ee66327e1d1e 2025 coq-elpi_1.15.6-4.dsc
    14560613f89ffe95736e5533c25b75eeee7377fb 3328 coq-elpi_1.15.6-4.debian.tar.xz
    4e332a2e764df612746110c9ffb36b272e86b711 7988 coq-elpi_1.15.6-4_source.buildinfo
    Checksums-Sha256:
    d70e6aa81914d6fee02270119b92acf433a29fae1e7070bb9d1204c7bce0ef17 2025 coq-elpi_1.15.6-4.dsc
    6016dbb5360a9acab71fde948f34eda90154d6dbacbaaea36cf991613934a1f4 3328 coq-elpi_1.15.6-4.debian.tar.xz
    66d352649d6e277835175003c86333ec3d9ff4fe21c051e653d8ae2bf3ac000e 7988 coq-elpi_1.15.6-4_source.buildinfo
    Files:
    07624b99c93d3d6f81e1f4b6751fee08 2025 ocaml optional coq-elpi_1.15.6-4.dsc
    d56ef3afd032eada835055463722873d 3328 ocaml optional coq-elpi_1.15.6-4.debian.tar.xz
    b7fdcfa7ccdf3b5bcc06a1101754b05a 7988 ocaml optional coq-elpi_1.15.6-4_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNxWBgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRr4sP/A61D51So1SyXFzwR5LIedOCLJr5bfJq uM7bMdQGkOXFhPV1Ig3GvN56NBR0YJ5dfIZUGAt3cluy5G06l/WeGHVyHLOqJKzS BWqd4V49UL0lc99om3Xm2v4+OSwoEEyaPfu9wbm2wP/D59flgF0L5zXzE+3lcS1p oOhDmSBHym7Wzq0MJ7v5Mzls15dpn8fb5m/4fvO/eflwyKe3uhuXtnorEdVWz8EK p9VbAXF+FTinD58MVqQ8CfKEQ79/szaSrVyR8j5i8r+iCckkFZp6p1LTr46AxKUG zvTC0oRTTGqccE2NnOeMLYtHw1S2jSyaq1fFfEBcwnnNWevxMdhTFfcimVljsKfC Gy3yMKDDXu8b8RF0QTYt3HTS4LNc0jXquXPHHl5wmatfwPOKIkvUEjuf8J1aE+MW HHt0n5bQ83vt2VsfbKDMMIpuv1Lbmou8wFeQ9yQDJrawPx3izdSYHcrZ5CcNlNTk D9nWaKF6+lpfYIiLl3t4ylU7KZGToj8KxbdJWZiZcUcwXV0MSPaynCcPlIgEV7aI /OsSL6ssErmFRLvM3WlIzxC53Vlry8cJdtHK0HA07g7w8V2bLnK7BHCn4AcgFVYK UPZ9uol72i6UMc4RcvqqU4WShKZL8L5M+4PaWvzq2f2UyKgfhlxi1m0vDNAF96kx
    UDiEjO+s7JRW
    =J83j
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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