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

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

    From Debian FTP Masters@21:1/5 to All on Sun Jun 12 21:00:02 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 12 Jun 2022 20:11:07 +0200
    Source: coq-elpi
    Architecture: source
    Version: 1.14.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.14.0-5) unstable; urgency=medium
    .
    * Fix the deps which make the packages uninstallable.
    Checksums-Sha1:
    24be8bb2ed0e6d1c58c05ca7ecf4cddc3ecc73e1 2165 coq-elpi_1.14.0-5.dsc
    f4ea7d9391555ec00334990f8b91a6d3cc9465fe 3208 coq-elpi_1.14.0-5.debian.tar.xz
    c9cb14c8ac9e35a50d437ca07ed31d4043ee5022 7202 coq-elpi_1.14.0-5_source.buildinfo
    Checksums-Sha256:
    0bec08679bdd14163917495aa5f3e09d9e7dc94259164b4cbcbfea81970d88d8 2165 coq-elpi_1.14.0-5.dsc
    3ce6b41f6e293c0d53a6a1a6ee4a93d766a83042f6d5054e8e57ee03d9c68bb1 3208 coq-elpi_1.14.0-5.debian.tar.xz
    a81cf9e36d5c8583c3de0a8b34aa0a74f62cf5b1862c6291e810595d668cd639 7202 coq-elpi_1.14.0-5_source.buildinfo
    Files:
    b6e0eeaa59698e033f657a3d698eb669 2165 ocaml optional coq-elpi_1.14.0-5.dsc
    270f22386587fda66e4980a0f4137044 3208 ocaml optional coq-elpi_1.14.0-5.debian.tar.xz
    64ae75dab71a5779e5f8071840919385 7202 ocaml optional coq-elpi_1.14.0-5_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLFcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRNF0QAJwgHaR4sKI+mjxjLeL9wvUPelxpyhBi 03ajF7/Ovc8LMiu2MesH1sV/ghYjcs7IdLlU79pAYQiEa43bGSFl/c8OsccnLFjd zhbyoa6HVLj31N4zItHYnezoLKkgjmvtxc+AG+cJdsdeCt+ku1Tern+S4FwHue+2 iHZG1wuvIGxOYG5LKpGp7FrDOWx/Fa6aBYrh0VaOlg3cK2XkdkF/w9p4rdES1OFW heZH7sQpi/+OkTMyW4O6uCz9Rt43BvOqEytvT1XF58d1YQkK+Gx9V4lZQXFC/gmg g5u9cDP7ZZ7AhAP51DQxBEC/jI2hdpCR2ByeBPXPJVInv3B/jjDCW/X/mrb3uF+s CDY+0Kzf5tJVQvah6sWoZmYtVCz1vOX2EwN7EsaLxpRPYLJqcAt1Cy5goro23TwT HpSw7c/SlP2Mawi1lqIVsULPgp1zgkak9VF5Dqw2mkN+dtQ+uckYdc/z4NdkMRzn z7uyl0Mbdm5IGwZQTXYjAr/DCZi5oa1gGvCwNhy2Q4xMRkJKQPJSsiy0T7r1Utbf wFCJKXqzQ042Bq51v+WWDCYqkzkktYHAofznaiWLKe6hES1sDbQg4WV+rS98ZOsC yRJ1HZJEcn1jlzfFvDhgfNoS6nHdXQWpMYbV/wyNRK+Y47XEfbKvwYX1lBYFIAWg
    Rj9gb7rQBlKz
    =SMX+
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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