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

  • [Git][ocaml-team/menhir][master] 6 commits: New upstream version 202312

    From =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdSAoQ@21:1/5 to All on Thu Feb 15 14:50:02 2024
    Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / menhir


    Commits:
    5ef0c133 by Stephane Glondu at 2024-02-15T14:13:39+01:00
    New upstream version 20231231+ds
    - - - - -
    cabcdb38 by Stephane Glondu at 2024-02-15T14:13:40+01:00
    Update upstream source from tag 'upstream/20231231+ds'

    Update to upstream version '20231231+ds'
    with Debian dir 7d499bfff28230f31f4af2a924fb02f5384be019
    - - - - -
    e12453cd by Stephane Glondu at 2024-02-15T14:13:47+01:00
    New upstream release

    - - - - -
    2888a3ec by Stephane Glondu at 2024-02-15T14:15:25+01:00
    Update packaging

    - - - - -
    7e944a33 by Stephane Glondu at 2024-02-15T14:16:57+01:00
    Refresh patches

    - - - - -
    2b373dca by Stephane Glondu at 2024-02-15T14:22:54+01:00
    Prepare upload to unstable

    - - - - -


    30 changed files:

    - LICENSE
    - check-tarball.sh
    - + cst/Makefile
    - + cst/Settle.ml
    - + cst/Settle.mli
    - + cst/dune
    - debian/changelog
    - debian/debian-dune
    - debian/patches/menhirLib
    - doc/.aspell.en.pws
    - doc/local.bib
    - doc/macros.tex
    - doc/manual.tex
    - + doc/unparsing.tex
    - doc/version.tex
    - dune-project
    - lib/Engine.ml
    - lib/EngineTypes.ml
    - lib/IncrementalEngine.ml
    - lib/TableInterpreter.ml
    - pprint/CHANGES.md
    - − pprint/src/PPrintCombinators.ml
    - − pprint/src/PPrintCombinators.mli
    - pprint/src/PPrintEngine.ml
    - pprint/src/PPrintEngine.mli
    - − pprint/src/PPrintMini.ml
    - − pprint/src/PPrintOCaml.ml
    - − pprint/src/PPrintOCaml.mli
    - − pprint/src/PPrintRenderer.ml
    - pprint/src/Vendored_pprint.ml


    The diff was not included because it is too large.


    View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/compare/5327938cfa55b841d2f25acebd35e8ccdc5432b7...2b373dcaa9a4e7d240c43e437afef8207cdec23a

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/compare/5327938cfa55b841d2f25acebd35e8ccdc5432b7...2b373dcaa9a4e7d240c43e437afef8207cdec23a
    You're receiving this email because of your account on salsa.debian.org.



    <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
    <html lang="en" style='--code-editor-font: var(--default-mono-font, "GitLab Mono"), JetBrains Mono, Menlo, DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;'>
    <head>
    <meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
    <title>
    GitLab
    </title>

    <style data-premailer="ignore" type="text/css">
    a { color: #1068bf; }
    </style>


    <style>img {
    max-width: 100%; height: auto;
    }
    body {
    font-size: 0.875rem;
    }
    body {
    -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
    }
    body {
    font-family: var(--default-regular-font, "GitLab Sans"),-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size:
    inherit;
    }
    </style>
    </head>
    <body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px; font-family: var(--default-regular-font, "GitLab Sans"),-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"
    Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";'> <div class="content">

    <h3 style="margin-top: 20px; margin-bottom: 10px;">
    St&#233;phane Glondu pushed to branch master at <a href="https://salsa.debian.org/ocaml-team/menhir">Debian OCaml Maintainers / menhir</a>
    </h3>
    <h4 style="margin-top: 10px; margin-bottom: 10px;">
    Commits:
    </h4>


    <strong style="font-weight: bold;"><a href="https://salsa.debian.org/ocaml-team/menhir/-/commit/5ef0c1336cce6c3c12ed80f1945c35e7449fd085">5ef0c133</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-02-15T14:13:39+01:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","
    Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>New upstream version 20231231+ds</

    </li>

    <strong style="font-weight: bold;"><a href="https://salsa.debian.org/ocaml-team/menhir/-/commit/cabcdb38bd98086f45faae3923933b9c6dbcb02b">cabcdb38</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-02-15T14:13:40+01:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","
    Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Update upstream source from tag '
    upstream/20231231+ds'

    Update to upstream version '20231231+ds'
    with Debian dir 7d499bfff28230f31f4af2a924fb02f5384be019</pre>
    </li>

    <strong style="font-weight: bold;"><a href="https://salsa.debian.org/ocaml-team/menhir/-/commit/e12453cd5cf8a518fbd0033930f7f7fcd3356817">e12453cd</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-02-15T14:13:47+01:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","
    Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>New upstream release
    </pre>
    </li>

    <strong style="font-weight: bold;"><a href="https://salsa.debian.org/ocaml-team/menhir/-/commit/2888a3ecfb9abf74add7bc9b585d73872213310e">2888a3ec</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-02-15T14:15:25+01:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","
    Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Update packaging
    </pre>
    </li>

    <strong style="font-weight: bold;"><a href="https://salsa.debian.org/ocaml-team/menhir/-/commit/7e944a33ddb26f587e758b2bcccc672bfbfc5b85">7e944a33</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-02-15T14:16:57+01:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","
    Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Refresh patches
    </pre>
    </li>

    <strong style="font-weight: bold;"><a href="https://salsa.debian.org/ocaml-team/menhir/-/commit/2b373dcaa9a4e7d240c43e437afef8207cdec23a">2b373dca</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-02-15T14:22:54+01:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","
    Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Prepare upload to unstable
    </pre>
    </li>
    </ul>
    <h4 style="margin-top: 10px; margin-bottom: 10px;">
    30 changed files:
    </h4>

    <li class="file-stats">
    <a href="#0398ccd0f49298b10a3d76a47800d2ebecd49859">
    LICENSE

    </li>
    <li class="file-stats">
    <a href="#246e5d6a5aa6c4bbdbc2d1304c5d063a6fa1891c">
    check-tarball.sh

    </li>
    <li class="file-stats">
    <a href="#f062c58199495f380fb176f5233a05dca0bcf387">
    <span class="new-file">
    +
    cst/Makefile
    </span>

    </li>
    <li class="file-stats">
    <a href="#37af2971554ab97a4036fa304dae26b9f9766956">
    <span class="new-file">
    +
    cst/Settle.ml
    </span>

    </li>
    <li class="file-stats">
    <a href="#570f3e694979be8c580c8481b2dd465f24de81ed">
    <span class="new-file">
    +
    cst/Settle.mli
    </span>

    </li>
    <li class="file-stats">
    <a href="#0d3ec0efae03835cb2131bff072e10fdf705f87c">
    <span class="new-file">
    +
    cst/dune
    </span>

    </li>
    <li class="file-stats">
    <a href="#9c96da0e9f91d7d8937b69b524702c106258f0d1">
    debian/changelog

    </li>
    <li class="file-stats">
    <a href="#53fe299d8bcb95237ec1acfcbc9349a24f0a5d2e">
    debian/debian-dune

    </li>
    <li class="file-stats">
    <a href="#e00be41e7376e0bc1f6d5d95ee2e0eb0d2da1541">
    debian/patches/menhirLib

    </li>
    <li class="file-stats">
    <a href="#2c83727e22f58db8cb85584c4a668d78a272a1df">
    doc/.aspell.en.pws

    </li>
    <li class="file-stats">
    <a href="#f2c59acc781d31962e7c42cecda6b7df9e44f199">
    doc/local.bib

    </li>
    <li class="file-stats">
    <a href="#aa053d6412ebb25668354a712807f550678a8c43">
    doc/macros.tex

    </li>
    <li class="file-stats">
    <a href="#708cbc7b584b2f8ebbf34725c60b059470cd4c33">
    doc/manual.tex

    </li>
    <li class="file-stats">
    <a href="#70580f54aad45407b462d60a0d25e2de87ccbca9">
    <span class="new-file">
    +
    doc/unparsing.tex
    </span>

    </li>
    <li class="file-stats">
    <a href="#02341af53a6b8d2f3bbf5d3eb84ef27dd4bda03f">
    doc/version.tex

    </li>
    <li class="file-stats">
    <a href="#a883255a0b9405feaed74dd1260b37fc100b3554">
    dune-project

    </li>
    <li class="file-stats">
    <a href="#ce2986e62cc4876f64dd913a23eb5433c979c6fe">
    lib/Engine.ml

    </li>
    <li class="file-stats">
    <a href="#01d1fc69501651382f0a8bf3b0001f7c3497f343">
    lib/EngineTypes.ml

    </li>
    <li class="file-stats">
    <a href="#a743bcc212f139af8f6dec9f2e2f077f1e6f20d2">
    lib/IncrementalEngine.ml

    </li>
    <li class="file-stats">
    <a href="#dcf172d47697c34596b54ce2ccacac9c6cc7870d">
    lib/TableInterpreter.ml

    </li>
    <li class="file-stats">
    <a href="#173662fd6b7565d19c49d342c3772dc5713d029b">
    pprint/CHANGES.md

    </li>
    <li class="file-stats">
    <a href="#d2951d938f6492877af08dfd46843f0dfbf06df9">
    <span class="deleted-file">
    &#8722;
    pprint/src/PPrintCombinators.ml
    </span>

    </li>
    <li class="file-stats">
    <a href="#0d24f30735cb207b2cd790a938bf0aa32184a7fe">
    <span class="deleted-file">
    &#8722;
    pprint/src/PPrintCombinators.mli
    </span>

    </li>
    <li class="file-stats">
    <a href="#5e283ccb53e16f8c23ece92d32fb00089a716444">
    pprint/src/PPrintEngine.ml

    </li>
    <li class="file-stats">
    <a href="#6bc33f4ec6d43711b1e4d66757333192884c5aa1"> pprint/src/PPrintEngine.mli

    </li>
    <li class="file-stats">
    <a href="#96b70e9acb48e62a00bdd0af3dd27f77f3089087">
    <span class="deleted-file">
    &#8722;
    pprint/src/PPrintMini.ml
    </span>

    </li>
    <li class="file-stats">
    <a href="#c14715ef87c08ebf0152b4ef0e63c836a4c9090b">
    <span class="deleted-file">
    &#8722;
    pprint/src/PPrintOCaml.ml
    </span>

    </li>
    <li class="file-stats">
    <a href="#6dd71aa2291f996b0f0b2b609f8b9fdf48a34d67">
    <span class="deleted-file">
    &#8722;
    pprint/src/PPrintOCaml.mli
    </span>

    </li>
    <li class="file-stats">
    <a href="#8d6d2380edada765cc0f4a2cc78dec0258bcc231">
    <span class="deleted-file">
    &#8722;
    pprint/src/PPrintRenderer.ml
    </span>

    </li>
    <li class="file-stats">
    <a href="#18032cbcfbe8ba00ac18bfa2d8ef5a25c18f0de7"> pprint/src/Vendored_pprint.ml

    </li>
    </ul>
    <h5 style="margin-top: 10px; margin-bottom: 10px; font-size: 0.875rem;">
    The diff was not included because it is too large.
    </h5>

    </div>
    <div class="footer" style="margin-top: 10px;">
    <p style="font-size: small; color: #737278;">
    &#8212;

    <a href="https://salsa.debian.org/ocaml-team/menhir/-/compare/5327938cfa55b841d2f25acebd35e8ccdc5432b7...2b373dcaa9a4e7d240c43e437afef8207cdec23a">View it on GitLab</a>.

    You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://salsa.debian.org">salsa.debian.org</a>. <a href="https://salsa.debian.org/-/profile/notifications" target="_blank" rel="noopener noreferrer"
    class="mng-notif-link">Manage all notifications</a> &#183; <a href="https://salsa.debian.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>




    </div>
    </body>
    </html>

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