• [Git][ocaml-team/coq][upstream] New upstream version 8.17.0+dfsg

    From " @21:1/5 to All on Mon Jun 12 09:20:01 2023
    Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq


    Commits:
    8b939ce1 by Julien Puydt at 2023-06-07T12:47:39+02:00
    New upstream version 8.17.0+dfsg
    - - - - -


    26 changed files:

    - .github/CODEOWNERS
    - .github/PULL_REQUEST_TEMPLATE.md
    - .github/workflows/ci-macos.yml
    - .gitlab-ci.yml
    - − .ocamlinit
    - CODE_OF_CONDUCT.md
    - CONTRIBUTING.md
    - INSTALL.md
    - Makefile
    - − Makefile.build
    - Makefile.ci
    - − Makefile.common
    - − Makefile.dev
    - − Makefile.doc
    - − Makefile.dune
    - − Makefile.ide
    - − Makefile.install
    - − Makefile.make
    - − Makefile.vofiles
    - boot/usage.ml
    - checker/checker.ml
    - clib/cList.ml
    - clib/cList.mli
    - clib/cMap.ml
    - clib/cMap.mli
    - clib/cThread.ml


    The diff was not included because it is too large.


    View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/8b939ce19035af82fcfa3ed012ab2b7e2fa7604d

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/8b939ce19035af82fcfa3ed012ab2b7e2fa7604d
    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, "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, -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, -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;">
    Julien Puydt pushed to branch upstream at <a href="https://salsa.debian.org/ocaml-team/coq">Debian OCaml Maintainers / coq</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/coq/-/commit/8b939ce19035af82fcfa3ed012ab2b7e2fa7604d">8b939ce1</a></strong>
    <div>
    <span> by Julien Puydt </span> <i> at 2023-06-07T12:47:39+02:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "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 8.17.0+dfsg</pre>
    </li>
    </ul>
    <h4 style="margin-top: 10px; margin-bottom: 10px;">
    26 changed files:
    </h4>

    <li class="file-stats">
    <a href="#7f9004ad0df1b6391abc998d9a153f9e763cbdd7">
    .github/CODEOWNERS

    </li>
    <li class="file-stats">
    <a href="#b8baf23d7ed7f2b79b86aeb041867428fb196428"> .github/PULL_REQUEST_TEMPLATE.md

    </li>
    <li class="file-stats">
    <a href="#d3cd39d8095dcf735896e03a35a723305797fd9c"> .github/workflows/ci-macos.yml

    </li>
    <li class="file-stats">
    <a href="#587d266bb27a4dc3022bbed44dfa19849df3044c">
    .gitlab-ci.yml

    </li>
    <li class="file-stats">
    <a href="#b3ffb15924c1ae9e24dbbc94cef511a4daaf8697">
    <span class="deleted-file">
    &#8722;
    .ocamlinit
    </span>

    </li>
    <li class="file-stats">
    <a href="#0834ae016f8fea5cff771880c0be1d55299732ff">
    CODE_OF_CONDUCT.md

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

    </li>
    <li class="file-stats">
    <a href="#b2270542d41297db1ee0d12698e609ea3ec25ce7">
    INSTALL.md

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

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

    </li>
    <li class="file-stats">
    <a href="#e7198ec1cb82d0071e94c5e8e89a9b4c4909a091">
    Makefile.ci

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

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

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

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

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

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

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

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

    </li>
    <li class="file-stats">
    <a href="#7e9ffd42ac624b29b14ce781743192d85462c547">
    boot/usage.ml

    </li>
    <li class="file-stats">
    <a href="#97813e31f0f3eb58b79ee73f8fa2e6bb5d17d91e">
    checker/checker.ml

    </li>
    <li class="file-stats">
    <a href="#a8b1644a77a9a3da048a03f72715224cbced960d">
    clib/cList.ml

    </li>
    <li class="file-stats">
    <a href="#a9cd6692b0d2c839b2c3cb0b947665eefc15871e">
    clib/cList.mli

    </li>
    <li class="file-stats">
    <a href="#44ff6299867832718720759119972c62b43f535c">
    clib/cMap.ml

    </li>
    <li class="file-stats">
    <a href="#c1dcb31716f55bc8b275f7a44948f08d63717a1f">
    clib/cMap.mli

    </li>
    <li class="file-stats">
    <a href="#a551ff8ae980b65a685a35188e52cdbadaa835c8">
    clib/cThread.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/coq/-/commit/8b939ce19035af82fcfa3ed012ab2b7e2fa7604d">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>
    <script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"https://salsa.debian.org/ocaml-team/coq/-/commit/8b939ce19035af82fcfa3ed012ab2b7e2fa7604d"}}</script>



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

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