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

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

    From " @21:1/5 to All on Sat Feb 15 15:40:01 2025
    Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq


    Commits:
    48e95990 by Julien Puydt at 2025-01-27T15:10:01+01:00
    New upstream version 8.20.1+dfsg
    - - - - -


    30 changed files:

    - .github/workflows/ci-macos.yml
    - .github/workflows/ci-windows.yml
    - .gitlab-ci.yml
    - dev/ci/ci-common.sh
    - dev/ci/ci-http.sh
    - dev/ci/docker/edge_ubuntu/Dockerfile
    - dev/ci/platform/coq-pf-03-build.bat
    - + dev/tools/pipeline-stats.py
    - doc/tools/docgram/common.edit_mlg
    - doc/tools/docgram/orderedGrammar
    - engine/eConstr.ml
    - engine/univSubst.ml
    - interp/constrexpr_ops.ml
    - interp/constrextern.ml
    - interp/notation.ml
    - interp/notationextern.mli
    - kernel/constant_typing.ml
    - kernel/context.ml
    - kernel/context.mli
    - kernel/inductive.ml
    - library/lib.ml
    - library/lib.mli
    - parsing/extend.ml
    - parsing/extend.mli
    - parsing/notgram_ops.ml
    - plugins/funind/functional_principles_types.ml
    - tactics/btermdn.ml
    - + test-suite/bugs/bug_19661.v
    - + test-suite/bugs/bug_19712.v
    - test-suite/output/Notations3.out


    The diff was not included because it is too large.


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

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/48e959902f710a8683e4c6dba612cdd4bde9e2aa
    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: "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: "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;">
    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: 600;"><a href="https://salsa.debian.org/ocaml-team/coq/-/commit/48e959902f710a8683e4c6dba612cdd4bde9e2aa">48e95990</a></strong>
    <div>
    <span> by Julien Puydt </span> <i> at 2025-01-27T15:10:01+01:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "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 8.20.1+dfsg</pre>
    </li>
    </ul>
    <h4 style="margin-top: 10px; margin-bottom: 10px;">
    30 changed files:
    </h4>

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

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

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

    </li>
    <li class="file-stats">
    <a href="#cd02a62c52d2a256e74e2bcbaec8cd70e79ddf21">
    dev/ci/ci-common.sh

    </li>
    <li class="file-stats">
    <a href="#9ede2aac9843dfbc282d8e72027cd32a6c60476a">
    dev/ci/ci-http.sh

    </li>
    <li class="file-stats">
    <a href="#dc15fcd7af40a3617a1396c23f879b240e50a9c7"> dev/ci/docker/edge_ubuntu/Dockerfile

    </li>
    <li class="file-stats">
    <a href="#df5e058b071ca0e74f6485bfba9c550eb1346693"> dev/ci/platform/coq-pf-03-build.bat

    </li>
    <li class="file-stats">
    <a href="#b90c99f3c7f730cc1491e488e0422e552fe0782e">
    <span class="new-file">
    +
    dev/tools/pipeline-stats.py
    </span>

    </li>
    <li class="file-stats">
    <a href="#0c16f37c6d16ac8ade11c5cbc7691ec2e0e94936"> doc/tools/docgram/common.edit_mlg

    </li>
    <li class="file-stats">
    <a href="#7805f61838654837e342b58f744f1b7ad313f8bc"> doc/tools/docgram/orderedGrammar

    </li>
    <li class="file-stats">
    <a href="#63515d4dbead380f075b2060eeeb4d1802d2415b">
    engine/eConstr.ml

    </li>
    <li class="file-stats">
    <a href="#05100c6759c5402d691b9d4cb2f7ce5ee706e2bb">
    engine/univSubst.ml

    </li>
    <li class="file-stats">
    <a href="#e77434f93c403f8e3b6d656d88aa31bf22f02e1c">
    interp/constrexpr_ops.ml

    </li>
    <li class="file-stats">
    <a href="#088cc2a0e54605210cf96f3ffeebd761ddd7ed86">
    interp/constrextern.ml

    </li>
    <li class="file-stats">
    <a href="#954dd24cb759b68f2d24d0b552fa7c5953f5c11f">
    interp/notation.ml

    </li>
    <li class="file-stats">
    <a href="#b00fefb2fd80c6df2d157ce1904a7c9f03d19365">
    interp/notationextern.mli

    </li>
    <li class="file-stats">
    <a href="#bfc3afc8dfefc22ddc3db250b6a2a54739a26ecb">
    kernel/constant_typing.ml

    </li>
    <li class="file-stats">
    <a href="#238e732636535772af7a97dfa9fd065d7863d6da">
    kernel/context.ml

    </li>
    <li class="file-stats">
    <a href="#2f3c4beed8d28055f4c4efe4566befe4cdc01011">
    kernel/context.mli

    </li>
    <li class="file-stats">
    <a href="#252b47d06ee8e11ebbb7b95eca6fbb4b3d2216d7">
    kernel/inductive.ml

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

    </li>
    <li class="file-stats">
    <a href="#224acecd33c24117474941281cb7d13b4127b90b">
    library/lib.mli

    </li>
    <li class="file-stats">
    <a href="#40402ec157fa3a305b163e2a74902628faacb493">
    parsing/extend.ml

    </li>
    <li class="file-stats">
    <a href="#bc29944b7e88f75e8bc21ebeae26278450d3dc47">
    parsing/extend.mli

    </li>
    <li class="file-stats">
    <a href="#f23f0b8258b64035222d45c95d6c3fb039880716">
    parsing/notgram_ops.ml

    </li>
    <li class="file-stats">
    <a href="#beb937b81c3f43b7493c2cc3d08a5b124d06a2b0"> plugins/funind/functional_principles_types.ml

    </li>
    <li class="file-stats">
    <a href="#aec52120b953a2961a11f59f6ff34ca30e419b06">
    tactics/btermdn.ml

    </li>
    <li class="file-stats">
    <a href="#5de0033fa6a3812e05159578250c65473917aaa5">
    <span class="new-file">
    +
    test-suite/bugs/bug_19661.v
    </span>

    </li>
    <li class="file-stats">
    <a href="#e2b7ca549aafb70e90cb325fc47dd3d7021cd8b0">
    <span class="new-file">
    +
    test-suite/bugs/bug_19712.v
    </span>

    </li>
    <li class="file-stats">
    <a href="#d086a499a589a8e66b6152a7e8b8cad62b541da3"> test-suite/output/Notations3.out

    </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/coq/-/commit/48e959902f710a8683e4c6dba612cdd4bde9e2aa">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/48e959902f710a8683e4c6dba612cdd4bde9e2aa"}}</script>



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

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