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

  • [Git][ocaml-team/coq][master] 5 commits: Rework things to simplify upda

    From " @21:1/5 to All on Mon Nov 8 08:50:01 2021
    Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq


    Commits:
    a99782b9 by Julien Puydt at 2021-11-05T21:51:01+01:00
    Rework things to simplify updating

    - - - - -
    7af584de by Julien Puydt at 2021-11-05T21:51:30+01:00
    New upstream version 8.14.0+dfsg
    - - - - -
    2230da18 by Julien Puydt at 2021-11-05T21:51:38+01:00
    Update upstream source from tag 'upstream/8.14.0+dfsg'

    Update to upstream version '8.14.0+dfsg'
    with Debian dir 60409a1a321960512f9c3b4aee7f6ace67f5a369
    - - - - -
    85e8c618 by Julien Puydt at 2021-11-08T07:54:43+01:00
    Package new upstream 8.14.0

    - - - - -
    223f9fc7 by Julien Puydt at 2021-11-08T07:54:47+01:00
    Prepare for upload to experimental

    - - - - -


    24 changed files:

    - .github/CODEOWNERS
    - .github/ISSUE_TEMPLATE.md
    - .github/PULL_REQUEST_TEMPLATE.md
    - .github/SUPPORT.md
    - + .github/workflows/check-conflicts.yml
    - + .github/workflows/ci.yml
    - .gitlab-ci.yml
    - − .merlin.in
    - .ocamlformat
    - CODE_OF_CONDUCT.md
    - CONTRIBUTING.md
    - CREDITS
    - INSTALL.md
    - − META.coq.in
    - Makefile
    - Makefile.build
    - − Makefile.checker
    - Makefile.ci
    - Makefile.common
    - Makefile.dev
    - Makefile.doc
    - Makefile.dune
    - Makefile.ide
    - Makefile.install


    The diff was not included because it is too large.


    View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/41d5fdb3478c5ded0c79c17e2f3a355b83dd45f7...223f9fc73ce184737c1daa11c142c9badda1ef86

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/41d5fdb3478c5ded0c79c17e2f3a355b83dd45f7...223f9fc73ce184737c1daa11c142c9badda1ef86
    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">Debian OCaml Maintainers / coq</a>
    </h3>

    Commits:
    </h4>


    <strong><a href="https://salsa.debian.org/ocaml-team/coq/-/commit/a99782b9ffe1e91cf908fcaab61fa6b2acb86ce0">a99782b9</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2021-11-05T21:51:01+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Rework things to simplify updating
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq/-/commit/7af584ded8c1e7df26899933758f089feb46c9a9">7af584de</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2021-11-05T21:51:30+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 8.14.0+dfsg</pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq/-/commit/2230da18317265942eadcae5d34323e3a4e6d4de">2230da18</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2021-11-05T21:51:38+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update upstream source from tag 'upstream/8.14.0+dfsg'

    Update to upstream version '8.14.0+dfsg'
    with Debian dir 60409a1a321960512f9c3b4aee7f6ace67f5a369</pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq/-/commit/85e8c6185cb192733ff3b19a7e25e6d73d269d1c">85e8c618</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2021-11-08T07:54:43+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Package new upstream 8.14.0
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq/-/commit/223f9fc73ce184737c1daa11c142c9badda1ef86">223f9fc7</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2021-11-08T07:54:47+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Prepare for upload to experimental
    </pre>
    </li>
    </ul>
    <h4>24 changed files:</h4>

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

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

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

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

    </li>
    <li class="file-stats">
    <a href="#63d9ca3e8f27422671991ce01c2fcc20bdd0c862">
    <span class="new-file">
    +
    .github/workflows/check-conflicts.yml
    </span>

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

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

    </li>
    <li class="file-stats">
    <a href="#478688d738b7c60ce52103f92a8e61c5696d777e">
    <span class="deleted-file">
    &#8722;
    .merlin.in
    </span>

    </li>
    <li class="file-stats">
    <a href="#0cf472bed88991efb449d2d513fa25c0ae3c88e6">
    .ocamlformat

    </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="#338f52baadf832c435e6693a6b1e770c010b5681">
    CREDITS

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

    </li>
    <li class="file-stats">
    <a href="#946f721db36671c1f99b81eb098fbead79a21d08">
    <span class="deleted-file">
    &#8722;
    META.coq.in
    </span>

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

    </li>
    <li class="file-stats">
    <a href="#d202fafe9306f176e34a79c29c8dc14b91baaef7">
    Makefile.build

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

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

    </li>
    <li class="file-stats">
    <a href="#44cf1f305f76b35baf56b3ade9e6f45847f68715">
    Makefile.common

    </li>
    <li class="file-stats">
    <a href="#3515858b49c558c246fa8365a67908e239a345c9">
    Makefile.dev

    </li>
    <li class="file-stats">
    <a href="#b459e31d8869c23ae2499d0a8bb70bcc6c10679f">
    Makefile.doc

    </li>
    <li class="file-stats">
    <a href="#b2dac6e6ef363bc181effb61e1e3ae1eea770dce">
    Makefile.dune

    </li>
    <li class="file-stats">
    <a href="#7d7964dceff2e39f6c39ef417d3ab734d21dcad8">
    Makefile.ide

    </li>
    <li class="file-stats">
    <a href="#c0c368b8fd04ef5c7e6e023406b8f7e79c639f4f">
    Makefile.install

    </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/-/compare/41d5fdb3478c5ded0c79c17e2f3a355b83dd45f7...223f9fc73ce184737c1daa11c142c9badda1ef86">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)