• [Git][ocaml-team/ocplib-simplex][master] 5 commits: New upstream versio

    From =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdSAoQ@21:1/5 to All on Tue Jun 4 06:50:01 2024
    Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocplib-simplex


    Commits:
    6bc99d47 by Stephane Glondu at 2024-06-04T06:20:00+02:00
    New upstream version 0.5.1
    - - - - -
    543eab4e by Stephane Glondu at 2024-06-04T06:20:00+02:00
    Update upstream source from tag 'upstream/0.5.1'

    Update to upstream version '0.5.1'
    with Debian dir 946f5adff37f4987362a8b6c45055bdc548be15f
    - - - - -
    b7b99585 by Stephane Glondu at 2024-06-04T06:20:05+02:00
    New upstream release

    - - - - -
    c00d7981 by Stephane Glondu at 2024-06-04T06:24:07+02:00
    Update packaging

    - - - - -
    327e1d97 by Stephane Glondu at 2024-06-04T06:26:19+02:00
    Prepare upload to unstable

    - - - - -


    30 changed files:

    - + .editorconfig
    - + .github/workflows/build.yml
    - + .github/workflows/documentation.yml
    - .gitignore
    - CHANGES.md
    - + CONTRIBUTING.md
    - Makefile
    - README.md
    - debian/changelog
    - debian/control
    - dune-project
    - ocplib-simplex.opam
    - + ocplib-simplex.opam.locked
    - src/basic.ml
    - src/basic.mli
    - src/core.ml
    - src/core.mli
    - src/coreSig.mli
    - src/dune
    - src/extSigs.mli
    - src/polys.ml
    - src/polys.mli
    - src/rat2.ml
    - src/rat2.mli
    - src/result.ml
    - src/result.mli
    - src/solveBounds.mli
    - tests/dune
    - tests/simplex.ml
    - tests/standalone_minimal_maximization.ml


    The diff was not included because it is too large.


    View it on GitLab: https://salsa.debian.org/ocaml-team/ocplib-simplex/-/compare/0fef0721ec836c98606035bb37e2bd3352dea2ce...327e1d97a739c1cfb53c810183fe20bbeb2d0481

    --
    This project does not include diff previews in email notifications.
    View it on GitLab: https://salsa.debian.org/ocaml-team/ocplib-simplex/-/compare/0fef0721ec836c98606035bb37e2bd3352dea2ce...327e1d97a739c1cfb53c810183fe20bbeb2d0481
    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: .875rem;
    }
    body {
    -webkit-text-shadow: rgba(255,255,255,.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,.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/ocplib-simplex">Debian OCaml Maintainers / ocplib-simplex</a>
    </h3>
    <h4 style="margin-top: 10px; margin-bottom: 10px;">
    Commits:
    </h4>


    <strong style="font-weight: 600;"><a href="https://salsa.debian.org/ocaml-team/ocplib-simplex/-/commit/6bc99d477b3d72e98287fa6d0e53d76aedf08251">6bc99d47</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-06-04T06:20:00+02: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 0.5.1</pre>
    </li>

    <strong style="font-weight: 600;"><a href="https://salsa.debian.org/ocaml-team/ocplib-simplex/-/commit/543eab4e818ee4e232f31706495e5946a23a7c4e">543eab4e</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-06-04T06:20:00+02: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/0.5.1'

    Update to upstream version '0.5.1'
    with Debian dir 946f5adff37f4987362a8b6c45055bdc548be15f</pre>
    </li>

    <strong style="font-weight: 600;"><a href="https://salsa.debian.org/ocaml-team/ocplib-simplex/-/commit/b7b99585d7634a2f6df4066e8300ba122d2f1248">b7b99585</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-06-04T06:20:05+02: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: 600;"><a href="https://salsa.debian.org/ocaml-team/ocplib-simplex/-/commit/c00d7981a72e6817f76d87dd4e1b21c493112a5a">c00d7981</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-06-04T06:24:07+02: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: 600;"><a href="https://salsa.debian.org/ocaml-team/ocplib-simplex/-/commit/327e1d97a739c1cfb53c810183fe20bbeb2d0481">327e1d97</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-06-04T06:26:19+02: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="#626a747c8694eaae66f2afb3d1a745b045782c70">
    <span class="new-file">
    +
    .editorconfig
    </span>

    </li>
    <li class="file-stats">
    <a href="#fe77d5d1439f26e353a42bbd38dece2467ff6558">
    <span class="new-file">
    +
    .github/workflows/build.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="#a5cc2925ca8258af241be7e5b0381edf30266302">
    .gitignore

    </li>
    <li class="file-stats">
    <a href="#7facec255884dc55d3818e4dfbea89b1bdd7f49e">
    CHANGES.md

    </li>
    <li class="file-stats">
    <a href="#3f454a98e586d1aa0d322e19afd5e67e08f2d3c8">
    <span class="new-file">
    +
    CONTRIBUTING.md
    </span>

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

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

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

    </li>
    <li class="file-stats">
    <a href="#58ef006ab62b83b4bec5d81fe5b32c3b4c2d1cc2">
    debian/control

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

    </li>
    <li class="file-stats">
    <a href="#ea8357e7c981206a6f298a5199e271374cb4b388">
    ocplib-simplex.opam

    </li>
    <li class="file-stats">
    <a href="#255bb2cc6862e196e3b67c2aa5e68044b20b70c4">
    <span class="new-file">
    +
    ocplib-simplex.opam.locked
    </span>

    </li>
    <li class="file-stats">
    <a href="#5cc5024c9ec2bc6fa996ebb4a9bb3a3a686e12f9">
    src/basic.ml

    </li>
    <li class="file-stats">
    <a href="#b7dae4ebddb29fb69d6ad8e7c4656e5c0b2944f5">
    src/basic.mli

    </li>
    <li class="file-stats">
    <a href="#a795885bcd8aba96e9bccacd51dec8de26d62d1e">
    src/core.ml

    </li>
    <li class="file-stats">
    <a href="#19cdf696e05e86e741e2395ec2622a597d524e76">
    src/core.mli

    </li>
    <li class="file-stats">
    <a href="#a8e29d54a29959e0d10eaa708f5e39d2184f8ebf">
    src/coreSig.mli

    </li>
    <li class="file-stats">
    <a href="#03d0a8bf442139ae2a65dd308fe1b484d5c2e52a">
    src/dune

    </li>
    <li class="file-stats">
    <a href="#71377e772b0c1c6ba0f8315d74747721e969aead">
    src/extSigs.mli

    </li>
    <li class="file-stats">
    <a href="#06f37ae79072fe056262ddeb6661b69bec31ffcb">
    src/polys.ml

    </li>
    <li class="file-stats">
    <a href="#2531ad824aca185d25eed6367890f2e5489bf691">
    src/polys.mli

    </li>
    <li class="file-stats">
    <a href="#06a0c2adab63d1570cdd8e6aa6e8a0dd5952641f">
    src/rat2.ml

    </li>
    <li class="file-stats">
    <a href="#c376420912bdea4342ccbfe688a9f36bc5732bf9">
    src/rat2.mli

    </li>
    <li class="file-stats">
    <a href="#ddc4e9238e6e2274c30b79483a025f8e24705e87">
    src/result.ml

    </li>
    <li class="file-stats">
    <a href="#a3047047fd6c28a260e7b845c16b5fe5cc665bb7">
    src/result.mli

    </li>
    <li class="file-stats">
    <a href="#9aae31d54328d71553e7f959b0148f2c808f65b7">
    src/solveBounds.mli

    </li>
    <li class="file-stats">
    <a href="#24d3635d9c90e7be0ad53aeff5ff46133c63cc87">
    tests/dune

    </li>
    <li class="file-stats">
    <a href="#5fe75793710dd58f0c36e633bb1cbb046cd5eae2">
    tests/simplex.ml

    </li>
    <li class="file-stats">
    <a href="#affe205a1891a29240c80dc1d1942cac29b8bfac"> tests/standalone_minimal_maximization.ml

    </li>
    </ul>
    <h5 style="margin-top: 10px; margin-bottom: 10px; font-size: .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/ocplib-simplex/-/compare/0fef0721ec836c98606035bb37e2bd3352dea2ce...327e1d97a739c1cfb53c810183fe20bbeb2d0481">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)