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

  • [Git][ocaml-team/alt-ergo][master] 11 commits: New upstream version 2.4

    From " @21:1/5 to All on Wed Apr 20 12:10:01 2022
    Julien Puydt pushed to branch master at Debian OCaml Maintainers / alt-ergo


    Commits:
    0637ce5a by Julien Puydt at 2022-04-07T13:09:58+02:00
    New upstream version 2.4.1
    - - - - -
    82154412 by Julien Puydt at 2022-04-07T13:10:04+02:00
    Update upstream source from tag 'upstream/2.4.1'

    Update to upstream version '2.4.1'
    with Debian dir 8bc17863cee2057aa9e6ce1f49b84de8fa0fd18d
    - - - - -
    2bdb5b5a by Julien Puydt at 2022-04-07T13:10:46+02:00
    Package new upstream 2.4.1

    - - - - -
    65ea4c3b by Julien Puydt at 2022-04-08T09:07:01+02:00
    Adapt to new upstream build system

    - - - - -
    d8aa5ab8 by Julien Puydt at 2022-04-08T09:07:06+02:00
    Drop patches (obsolete)

    - - - - -
    7b26652f by Julien Puydt at 2022-04-08T09:07:29+02:00
    Complete b-deps

    - - - - -
    594de841 by Julien Puydt at 2022-04-18T16:46:58+02:00
    Add a patch to work with a recent menhir

    - - - - -
    890afbe3 by Julien Puydt at 2022-04-18T16:54:49+02:00
    Update d/copyright

    - - - - -
    de892443 by Julien Puydt at 2022-04-18T16:56:49+02:00
    Find the manpage in docs/ and not doc/

    - - - - -
    2ff5ea46 by Julien Puydt at 2022-04-18T17:35:55+02:00
    Adapt to new upstream install system

    - - - - -
    2c381d6b by Julien Puydt at 2022-04-18T20:41:17+02:00
    s

    - - - - -


    27 changed files:

    - + .github/workflows/README.md
    - + .github/workflows/build_docker.yml
    - + .github/workflows/build_js.yml
    - + .github/workflows/build_macos.yml
    - + .github/workflows/build_make.yml
    - + .github/workflows/build_ubuntu.yml
    - + .github/workflows/build_windows.yml
    - + .github/workflows/documentation.yml
    - + .github/workflows/linter.yml
    - + .gitignore
    - − COPYING.md
    - − INSTALL.md
    - LICENSE.md
    - − License.OCamlPro
    - Makefile
    - − Makefile.configurable.in
    - − Makefile.developers
    - − Makefile.users
    - README.md
    - + alt-ergo-lib.opam
    - + alt-ergo-lib.opam.template
    - + alt-ergo-parsers.opam
    - + alt-ergo-parsers.opam.template
    - + alt-ergo.opam
    - + alt-ergo.opam.template
    - + altgr-ergo.opam
    - + altgr-ergo.opam.template


    The diff was not included because it is too large.


    View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/compare/ec83c5d0cc10dc4e74b0101facd057321f109d8e...2c381d6b2270a461eef8a5be475f7e8989353e40

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/compare/ec83c5d0cc10dc4e74b0101facd057321f109d8e...2c381d6b2270a461eef8a5be475f7e8989353e40
    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">
    <head>
    <meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
    <title>
    GitLab
    </title>



    <style>img {
    max-width: 100%; height: auto;
    }
    </style>
    </head>
    <body>
    <div class="content">


    Julien Puydt pushed to branch master
    at <a href="https://salsa.debian.org/ocaml-team/alt-ergo">Debian OCaml Maintainers / alt-ergo</a>
    </h3>

    Commits:
    </h4>


    <strong><a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/0637ce5ac88d4cc19d276b7b844b3bf36fe39492">0637ce5a</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-04-07T13:09:58+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 2.4.1</pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/821544125c64536b015d82cdb5950cbf9565dfc1">82154412</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-04-07T13:10:04+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update upstream source from tag 'upstream/2.4.1'

    Update to upstream version '2.4.1'
    with Debian dir 8bc17863cee2057aa9e6ce1f49b84de8fa0fd18d</pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/2bdb5b5a4c2f011ed9d86002684f213e3916fd71">2bdb5b5a</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-04-07T13:10:46+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Package new upstream 2.4.1
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/65ea4c3ba76d6219ef13500685b90588b56f1e66">65ea4c3b</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-04-08T09:07:01+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Adapt to new upstream build system
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/d8aa5ab830a6da0eb4b94216c7a012316b8907d3">d8aa5ab8</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-04-08T09:07:06+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Drop patches (obsolete)
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/7b26652f661a5f33651fcf41137321d7db805ab5">7b26652f</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-04-08T09:07:29+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Complete b-deps
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/594de841978b51ffd374cea3e5b640230e595396">594de841</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-04-18T16:46:58+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Add a patch to work with a recent menhir
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/890afbe36edbd5c3837871fb810db9695afdcba4">890afbe3</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-04-18T16:54:49+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update d/copyright
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/de89244383a14ccaf8cb5b824da8c1965e499c69">de892443</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-04-18T16:56:49+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Find the manpage in docs/ and not doc/
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/2ff5ea46ad285c346097a1b707f8c21f95b8b0be">2ff5ea46</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-04-18T17:35:55+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Adapt to new upstream install system
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/2c381d6b2270a461eef8a5be475f7e8989353e40">2c381d6b</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-04-18T20:41:17+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">s
    </pre>
    </li>
    </ul>
    <h4>27 changed files:</h4>

    <li class="file-stats">
    <a href="#43081045592ec20a825c7d95135da29851f3353f">
    <span class="new-file">
    +
    .github/workflows/README.md
    </span>

    </li>
    <li class="file-stats">
    <a href="#c1dffec1982ad3fccfd17197c5cf85dd7d0ba23f">
    <span class="new-file">
    +
    .github/workflows/build_docker.yml
    </span>

    </li>
    <li class="file-stats">
    <a href="#4e8a107f3fc1409223206929e608f96590d568e3">
    <span class="new-file">
    +
    .github/workflows/build_js.yml
    </span>

    </li>
    <li class="file-stats">
    <a href="#fdec6e5647996cfd6b68fc2b211f112af1d11bb4">
    <span class="new-file">
    +
    .github/workflows/build_macos.yml
    </span>

    </li>
    <li class="file-stats">
    <a href="#694b3601de882e189e83d8bc731a048bccc6d21b">
    <span class="new-file">
    +
    .github/workflows/build_make.yml
    </span>

    </li>
    <li class="file-stats">
    <a href="#bdd9cb2c5a377b212da38d36ed1c32b9ec8b4aac">
    <span class="new-file">
    +
    .github/workflows/build_ubuntu.yml
    </span>

    </li>
    <li class="file-stats">
    <a href="#d399ec3b5e0f008cc57b0efa7a0880b487fa4abc">
    <span class="new-file">
    +
    .github/workflows/build_windows.yml
    </span>

    </li>
    <li class="file-stats">
    <a href="#09955933b412fbf2f6cd3ced21488cc6925af39f">
    <span class="new-file">
    +
    .github/workflows/documentation.yml
    </span>

    </li>
    <li class="file-stats">
    <a href="#32041b1c9d997b5f67aee1542cc355f2390d3bd0">
    <span class="new-file">
    +
    .github/workflows/linter.yml
    </span>

    </li>
    <li class="file-stats">
    <a href="#a5cc2925ca8258af241be7e5b0381edf30266302">
    <span class="new-file">
    +
    .gitignore
    </span>

    </li>
    <li class="file-stats">
    <a href="#e225bdb5a30142a57a851190d03727a16a08645a">
    <span class="deleted-file">
    &#8722;
    COPYING.md
    </span>

    </li>
    <li class="file-stats">
    <a href="#b2270542d41297db1ee0d12698e609ea3ec25ce7">
    <span class="deleted-file">
    &#8722;
    INSTALL.md
    </span>

    </li>
    <li class="file-stats">
    <a href="#4a8486805915245bbbe2e3c8c1a9d680c6843a82">
    LICENSE.md

    </li>
    <li class="file-stats">
    <a href="#6c588aa3836565b7a17977164c0687847b22f2df">
    <span class="deleted-file">
    &#8722;
    License.OCamlPro
    </span>

    </li>
    <li class="file-stats">
    <a href="#836efb6e25a091dcb4ff8e1dbb2f0be6a5cbf14c">
    Makefile

    </li>
    <li class="file-stats">
    <a href="#69a30da1357c419b019497e1ee4fe4714e9a60ac">
    <span class="deleted-file">
    &#8722;
    Makefile.configurable.in
    </span>

    </li>
    <li class="file-stats">
    <a href="#e7e49cccd4abd7eb571acef0e52bb31b4e10553f">
    <span class="deleted-file">
    &#8722;
    Makefile.developers
    </span>

    </li>
    <li class="file-stats">
    <a href="#26daee47a35d0664a305f050c4d0aa83c700664e">
    <span class="deleted-file">
    &#8722;
    Makefile.users
    </span>

    </li>
    <li class="file-stats">
    <a href="#8ec9a00bfd09b3190ac6b22251dbb1aa95a0579d">
    README.md

    </li>
    <li class="file-stats">
    <a href="#9b65a80c84fd7cfbb403996d07dc47fc1c8077da">
    <span class="new-file">
    +
    alt-ergo-lib.opam
    </span>

    </li>
    <li class="file-stats">
    <a href="#2653ce093e70f05e78f0f285d8cef9a21a987d29">
    <span class="new-file">
    +
    alt-ergo-lib.opam.template
    </span>

    </li>
    <li class="file-stats">
    <a href="#0c3a9826f4b2f408811b6c69e956c3d5a7caffcc">
    <span class="new-file">
    +
    alt-ergo-parsers.opam
    </span>

    </li>
    <li class="file-stats">
    <a href="#cdb5149fda5b0114a711a8ea2233fa7f51ad869b">
    <span class="new-file">
    +
    alt-ergo-parsers.opam.template
    </span>

    </li>
    <li class="file-stats">
    <a href="#81f0092aecd79d4e01923749a7c80b9859c0637a">
    <span class="new-file">
    +
    alt-ergo.opam
    </span>

    </li>
    <li class="file-stats">
    <a href="#d40bb447a3c924a0c7e1911b4d9739816d7e19e5">
    <span class="new-file">
    +
    alt-ergo.opam.template
    </span>

    </li>
    <li class="file-stats">
    <a href="#d3e2496d0fadea9a80c91734e3b8468bce952c76">
    <span class="new-file">
    +
    altgr-ergo.opam
    </span>

    </li>
    <li class="file-stats">
    <a href="#780b35fdd369c5ef472cb063d4594fcb965cee76">
    <span class="new-file">
    +
    altgr-ergo.opam.template
    </span>

    </li>
    </ul>
    <h5>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: #666;">
    &#8212;

    <a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/compare/ec83c5d0cc10dc4e74b0101facd057321f109d8e...2c381d6b2270a461eef8a5be475f7e8989353e40">View it on GitLab</a>.

    You're receiving this email because of your account on salsa.debian.org.
    If you'd like to receive fewer emails, you can
    adjust your notification settings.




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

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