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

  • [Git][ocaml-team/coq-doc][master] 5 commits: New upstream version 8.15.

    From " @21:1/5 to All on Wed Mar 30 11:10:02 2022
    Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc


    Commits:
    dca29b0c by Julien Puydt at 2022-03-30T08:46:26+02:00
    New upstream version 8.15.1
    - - - - -
    3cb611eb by Julien Puydt at 2022-03-30T08:46:47+02:00
    Update upstream source from tag 'upstream/8.15.1'

    Update to upstream version '8.15.1'
    with Debian dir 8ff721322332c340de5a213a166b0b05e924d642
    - - - - -
    979993df by Julien Puydt at 2022-03-30T08:47:24+02:00
    Package new upstream 8.15.1

    - - - - -
    e6508cfb by Julien Puydt at 2022-03-30T10:02:30+02:00
    Disable error-on-warning

    - - - - -
    87110e0f by Julien Puydt at 2022-03-30T10:41:40+02:00
    Prepare for upload

    - - - - -


    30 changed files:

    - .github/workflows/ci.yml → .github/workflows/ci-macos.yml
    - + .github/workflows/ci-windows.yml.disabled
    - config/dune
    - debian/changelog
    - debian/rules
    - + dev/ci/user-overlays/15721-fajb-micromega-interval-analysis.sh
    - dev/doc/archive/Translator.tex
    - dev/doc/critical-bugs
    - dev/doc/universes.md
    - doc/sphinx/changes.rst
    - doc/sphinx/language/coq-library.rst
    - doc/sphinx/language/extensions/arguments-command.rst
    - doc/sphinx/practical-tools/coq-commands.rst
    - doc/sphinx/using/tools/coqdoc.rst
    - ide/coqide/coqOps.ml
    - ide/coqide/coqide.ml
    - ide/coqide/ideutils.ml
    - ide/coqide/ideutils.mli
    - ide/coqide/session.ml
    - ide/coqide/tags.ml
    - ide/coqide/wg_Debugger.ml
    - ide/coqide/wg_Find.ml
    - ide/coqide/wg_Find.mli
    - ide/coqide/wg_ScriptView.ml
    - ide/coqide/wg_ScriptView.mli
    - interp/constrextern.ml
    - kernel/inductive.ml
    - kernel/subtyping.ml
    - lib/coqProject_file.ml
    - plugins/ltac/rewrite.ml


    The diff was not included because it is too large.


    View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/dee62bbbc4bb122fb23fe8b201beaa2d11e8b7b4...87110e0f1788c9644af561d6c4a5e82f9aca7a29

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/dee62bbbc4bb122fb23fe8b201beaa2d11e8b7b4...87110e0f1788c9644af561d6c4a5e82f9aca7a29
    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/coq-doc">Debian OCaml Maintainers / coq-doc</a>
    </h3>

    Commits:
    </h4>


    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/dca29b0c80b7d5e22144589019eb354778bb6bb4">dca29b0c</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-03-30T08:46:26+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 8.15.1</pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/3cb611ebec7c4fba1f45207afe57211e74abdc82">3cb611eb</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-03-30T08:46:47+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update upstream source from tag 'upstream/8.15.1'

    Update to upstream version '8.15.1'
    with Debian dir 8ff721322332c340de5a213a166b0b05e924d642</pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/979993df55047d3d3b9006fec2f967ea891fa926">979993df</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-03-30T08:47:24+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Package new upstream 8.15.1
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/e6508cfb422e576887e05cce2fe4ea381ecb75b7">e6508cfb</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-03-30T10:02:30+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Disable error-on-warning
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/87110e0f1788c9644af561d6c4a5e82f9aca7a29">87110e0f</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-03-30T10:41:40+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Prepare for upload
    </pre>
    </li>
    </ul>
    <h4>30 changed files:</h4>

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

    </li>
    <li class="file-stats">
    <a href="#325358a6e3a4aa4d749cfb88452e1069ced5601a">
    <span class="new-file">
    +
    .github/workflows/ci-windows.yml.disabled
    </span>

    </li>
    <li class="file-stats">
    <a href="#8e7a7cbd3c2f4ab13ddf6bdf61c3e52bb679ae7a">
    config/dune

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

    </li>
    <li class="file-stats">
    <a href="#8756c63497c8dc39f7773438edf53b220c773f67">
    debian/rules

    </li>
    <li class="file-stats">
    <a href="#b89262673baa9dc8d2e2ad56ecc5891c4309790b">
    <span class="new-file">
    +
    dev/ci/user-overlays/15721-fajb-micromega-interval-analysis.sh
    </span>

    </li>
    <li class="file-stats">
    <a href="#a456e85db6f9eae4abf2f3e73daa67daf24d8b6e"> dev/doc/archive/Translator.tex

    </li>
    <li class="file-stats">
    <a href="#8cc2b24cbe72c83111dfdb73c8e6e353db89a6b1">
    dev/doc/critical-bugs

    </li>
    <li class="file-stats">
    <a href="#6c18cc02155ed2e73124cde8e761fd9d6d9f60f9">
    dev/doc/universes.md

    </li>
    <li class="file-stats">
    <a href="#d62bd65cdfed5a8cbe517a5cf39df7c8c4298218">
    doc/sphinx/changes.rst

    </li>
    <li class="file-stats">
    <a href="#4d9a5fc2659062a1df89b76f72af67701e85bb84"> doc/sphinx/language/coq-library.rst

    </li>
    <li class="file-stats">
    <a href="#31255f1dac5945f608b323429b3773e79905e83b"> doc/sphinx/language/extensions/arguments-command.rst

    </li>
    <li class="file-stats">
    <a href="#5903d4c0acd22390572815a76ef5f39deed4202c"> doc/sphinx/practical-tools/coq-commands.rst

    </li>
    <li class="file-stats">
    <a href="#222733631d0934a4a6c853995a531cd48f367c5e"> doc/sphinx/using/tools/coqdoc.rst

    </li>
    <li class="file-stats">
    <a href="#b2fc7614fcdb58029a85e0153fdf6456533c01f4">
    ide/coqide/coqOps.ml

    </li>
    <li class="file-stats">
    <a href="#d8dc21168ef8ecdddcea2d1f85350187d4594c4b">
    ide/coqide/coqide.ml

    </li>
    <li class="file-stats">
    <a href="#b98ee15d9c308880a364a278732848002d806446">
    ide/coqide/ideutils.ml

    </li>
    <li class="file-stats">
    <a href="#bbadc40a2029ae0526df0b4fb12fc0339cda69e7">
    ide/coqide/ideutils.mli

    </li>
    <li class="file-stats">
    <a href="#ba458e884e1890cf64f10830d4b0d0c392ab7b32">
    ide/coqide/session.ml

    </li>
    <li class="file-stats">
    <a href="#7feff722f3708c195bc8190232dfc66339a1a7de">
    ide/coqide/tags.ml

    </li>
    <li class="file-stats">
    <a href="#421fc2105980eea4b3e7a668ccbc55d6e47ed834">
    ide/coqide/wg_Debugger.ml

    </li>
    <li class="file-stats">
    <a href="#b089ed43efef32152787b8b5458d5404d73da81f">
    ide/coqide/wg_Find.ml

    </li>
    <li class="file-stats">
    <a href="#4ccc14dfa9e2b394688d04149997be5199cec8ce">
    ide/coqide/wg_Find.mli

    </li>
    <li class="file-stats">
    <a href="#859b29ac6ac427d0078ed7008e427f53b461893f"> ide/coqide/wg_ScriptView.ml

    </li>
    <li class="file-stats">
    <a href="#cb8bfc10e3f7e17ba40d91ac5c24d39552e03fc8"> ide/coqide/wg_ScriptView.mli

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

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

    </li>
    <li class="file-stats">
    <a href="#7f8592dca5271afcd824d9025aa35449e287cce1">
    kernel/subtyping.ml

    </li>
    <li class="file-stats">
    <a href="#96634c3a9a5834132d12648054bc2dc11cee2f7e">
    lib/coqProject_file.ml

    </li>
    <li class="file-stats">
    <a href="#f3b0af171c0f805fc8bf29f8bc10e6bc1cb9535a">
    plugins/ltac/rewrite.ml

    </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/coq-doc/-/compare/dee62bbbc4bb122fb23fe8b201beaa2d11e8b7b4...87110e0f1788c9644af561d6c4a5e82f9aca7a29">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)