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

  • [Git][ocaml-team/coq-doc][master] 10 commits: Switch from debian/compat

    From " @21:1/5 to All on Tue Feb 8 19:50:01 2022
    Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc


    Commits:
    8152918d by Julien Puydt at 2022-02-06T21:32:28+01:00
    Switch from debian/compat to depend on debhelper-compat (and level 13)

    - - - - -
    ee49c538 by Julien Puydt at 2022-02-06T21:32:58+01:00
    Bump standards-version to 4.6.0

    - - - - -
    d306aee5 by Julien Puydt at 2022-02-06T21:33:30+01:00
    Declare d/rules doesn't require root

    - - - - -
    e24c37e0 by Julien Puydt at 2022-02-06T21:34:14+01:00
    Simplify d/rules

    - - - - -
    d9b924e5 by Julien Puydt at 2022-02-06T21:34:59+01:00
    Rewrite d/watch following the main coq package

    - - - - -
    f70ccf62 by Julien Puydt at 2022-02-06T21:35:10+01:00
    New upstream version 8.15.0
    - - - - -
    d69f749c by Julien Puydt at 2022-02-06T21:35:28+01:00
    Update upstream source from tag 'upstream/8.15.0'

    Update to upstream version '8.15.0'
    with Debian dir 44ef702abf4a8e6a75bd5d4c2627e932e7da8e47
    - - - - -
    0c53607b by Julien Puydt at 2022-02-08T15:04:29+01:00
    Package new upstream 8.15.0 (closes: #1003539)

    - - - - -
    d1421a29 by Julien Puydt at 2022-02-08T16:45:59+01:00
    Add myself to uploaders

    - - - - -
    0c3696ce by Julien Puydt at 2022-02-08T17:10:26+01:00
    Prepare for upload

    - - - - -


    13 changed files:

    - − .gitattributes
    - + .github/CODEOWNERS
    - + .github/ISSUE_TEMPLATE.md
    - + .github/PULL_REQUEST_TEMPLATE.md
    - + .github/SUPPORT.md
    - + .github/workflows/check-conflicts.yml
    - + .github/workflows/ci.yml
    - + .github/workflows/stale.yml
    - + .gitlab-ci.yml
    - − .mailmap
    - − .merlin
    - + .ocamlformat
    - + .ocamlinit


    The diff was not included because it is too large.


    View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/7a73b092493b8dd3dbf07aeb30070478ed1c7428...0c3696cebea1ee13c69d95dff139868b260581cd

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/7a73b092493b8dd3dbf07aeb30070478ed1c7428...0c3696cebea1ee13c69d95dff139868b260581cd
    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/8152918d419d4e1dd593c53ddb2a61efeadbfd8a">8152918d</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-02-06T21:32:28+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Switch from debian/compat to depend on debhelper-compat (and level 13)
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/ee49c5384b5b9a258c8840f71de5a744e44973e9">ee49c538</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-02-06T21:32:58+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Bump standards-version to 4.6.0
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/d306aee55e4aca3c4af097cf7315a6481c462e29">d306aee5</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-02-06T21:33:30+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Declare d/rules doesn't require root
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/e24c37e03b144df0fd7e1df8b80e1dbfe6cd3605">e24c37e0</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-02-06T21:34:14+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Simplify d/rules
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/d9b924e574a2050568ffc0626c1ee5cbad31d066">d9b924e5</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-02-06T21:34:59+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Rewrite d/watch following the main coq package
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/f70ccf62c56413cc4046337cdd6a37c9d6feb819">f70ccf62</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-02-06T21:35:10+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 8.15.0</pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/d69f749cc7c9db3bd5f57739444a907a4d3a81cf">d69f749c</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-02-06T21:35:28+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update upstream source from tag 'upstream/8.15.0'

    Update to upstream version '8.15.0'
    with Debian dir 44ef702abf4a8e6a75bd5d4c2627e932e7da8e47</pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/0c53607b6e4b1c003bd669900a22af2049c3fc0d">0c53607b</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-02-08T15:04:29+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Package new upstream 8.15.0 (closes: #1003539)
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/d1421a296d11eda1e1f92020abad557e2366d4d4">d1421a29</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-02-08T16:45:59+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Add myself to uploaders
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq-doc/-/commit/0c3696cebea1ee13c69d95dff139868b260581cd">0c3696ce</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-02-08T17:10:26+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Prepare for upload
    </pre>
    </li>
    </ul>
    <h4>13 changed files:</h4>

    <li class="file-stats">
    <a href="#24139dae656713ba861751fb2c2ac38839349a7a">
    <span class="deleted-file">
    &#8722;
    .gitattributes
    </span>

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

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

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

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

    </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="#1d19aad7b7b27d190877325ddc2bf187f2ea4808">
    <span class="new-file">
    +
    .github/workflows/stale.yml
    </span>

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

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

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

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

    </li>
    <li class="file-stats">
    <a href="#b3ffb15924c1ae9e24dbbc94cef511a4daaf8697">
    <span class="new-file">
    +
    .ocamlinit
    </span>

    </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/7a73b092493b8dd3dbf07aeb30070478ed1c7428...0c3696cebea1ee13c69d95dff139868b260581cd">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)