• [Git][ocaml-team/alt-ergo][master] Prepare for upload

    From " @21:1/5 to All on Fri Apr 22 11:30:02 2022
    Julien Puydt pushed to branch master at Debian OCaml Maintainers / alt-ergo


    Commits:
    445134a7 by Julien Puydt at 2022-04-22T11:07:53+02:00
    Prepare for upload

    - - - - -


    1 changed file:

    - debian/changelog


    Changes:

    =====================================
    debian/changelog
    =====================================
    @@ -1,5 +1,6 @@
    -alt-ergo (2.4.1-1) UNRELEASED; urgency=medium
    +alt-ergo (2.4.1-1) unstable; urgency=medium

    + * Team upload.
    * Fix d/watch.
    * New upstream release.
    * Adapt to new upstream build system.
    @@ -9,7 +10,7 @@ alt-ergo (2.4.1-1) UNRELEASED; urgency=medium
    * Update d/copyright.
    * Adapt to new upstream install system.

    - -- Julien Puydt <jpuydt@debian.org> Thu, 07 Apr 2022 13:10:35 +0200
    + -- Julien Puydt <jpuydt@debian.org> Fri, 22 Apr 2022 11:07:37 +0200

    alt-ergo (2.0.0-8) unstable; urgency=low




    View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/445134a74db474db3362250d3034303ffd6c314c

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/445134a74db474db3362250d3034303ffd6c314c
    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/alt-ergo">Debian OCaml Maintainers / alt-ergo</a>
    </h3>

    Commits:
    </h4>


    <strong><a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/445134a74db474db3362250d3034303ffd6c314c">445134a7</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-04-22T11:07:53+02:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Prepare for upload
    </pre>
    </li>
    </ul>
    <h4>1 changed file:</h4>

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

    </li>
    </ul>
    <h4>Changes:</h4>
    <li id="9c96da0e9f91d7d8937b69b524702c106258f0d1">
    <a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/445134a74db474db3362250d3034303ffd6c314c#9c96da0e9f91d7d8937b69b524702c106258f0d1"><strong>debian/changelog</strong></a>

    <table class="code white" style="font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">
    <tr class="line_holder old" style="line-height: 1.6;">
    <td class="old_line diff-line-num old" data-linenumber="1" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#f9d7dc">
    1
    </td>
    <td class="new_line diff-line-num old" data-linenumber="1" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#f9d7dc">

    </td>
    <td class="line_content old" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#fbe9eb"><pre style="margin: 0;">-<span id="LC1" class="line" lang="plaintext">alt-ergo (2.4.1-1) <span class="idiff left right deletion">UNRELEASED</span>; urgency=
    medium</span>
    </pre></td>
    </tr>
    <tr class="line_holder new" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="2" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">

    </td>
    <td class="new_line diff-line-num new" data-linenumber="1" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
    1
    </td>
    <td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0"><pre style="margin: 0;">+<span id="LC1" class="line" lang="plaintext">alt-ergo (2.4.1-1) <span class="idiff left right addition">unstable</span>; urgency=
    medium</span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="2" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    2
    </td>
    <td class="new_line diff-line-num" data-linenumber="2" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    2
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"><pre style="margin: 0;"> <span id="LC2" class="line" lang="plaintext"></span>
    </pre></td>
    </tr>
    <tr class="line_holder new" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="3" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">

    </td>
    <td class="new_line diff-line-num new" data-linenumber="3" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
    3
    </td>
    <td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0"><pre style="margin: 0;">+<span id="LC3" class="line" lang="plaintext"> * Team upload.</span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="3" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    3
    </td>
    <td class="new_line diff-line-num" data-linenumber="4" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    4
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"><pre style="margin: 0;"> <span id="LC4" class="line" lang="plaintext"> * Fix d/watch.</span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="4" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    4
    </td>
    <td class="new_line diff-line-num" data-linenumber="5" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    5
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"><pre style="margin: 0;"> <span id="LC5" class="line" lang="plaintext"> * New upstream release.</span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="5" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    5
    </td>
    <td class="new_line diff-line-num" data-linenumber="6" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    6
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"><pre style="margin: 0;"> <span id="LC6" class="line" lang="plaintext"> * Adapt to new upstream build system.</span>
    </pre></td>
    </tr>
    <tr class="line_holder match" style="line-height: 1.6;">
    <td class="diff-line-num unfold js-unfold old_line" data-linenumber="9" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">...</td>
    <td class="diff-line-num unfold js-unfold new_line" data-linenumber="10" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">...</td>
    <td class="line_content match" style="padding-left: 0.5em; padding-right: 0.5em; color: rgba(0,0,0,0.3);" bgcolor="#fafafa">@@ -9,7 +10,7 @@ alt-ergo (2.4.1-1) UNRELEASED; urgency=medium</td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="9" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    9
    </td>
    <td class="new_line diff-line-num" data-linenumber="10" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    10
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"><pre style="margin: 0;"> <span id="LC10" class="line" lang="plaintext"> * Update d/copyright.</span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="10" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    10
    </td>
    <td class="new_line diff-line-num" data-linenumber="11" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    11
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"><pre style="margin: 0;"> <span id="LC11" class="line" lang="plaintext"> * Adapt to new upstream install system.</span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="11" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    11
    </td>
    <td class="new_line diff-line-num" data-linenumber="12" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    12
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"><pre style="margin: 0;"> <span id="LC12" class="line" lang="plaintext"></span>
    </pre></td>
    </tr>
    <tr class="line_holder old" style="line-height: 1.6;">
    <td class="old_line diff-line-num old" data-linenumber="12" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#f9d7dc">
    12
    </td>
    <td class="new_line diff-line-num old" data-linenumber="13" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#f9d7dc">

    </td>
    <td class="line_content old" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#fbe9eb"><pre style="margin: 0;">-<span id="LC12" class="line" lang="plaintext"> -- Julien Puydt &lt;jpuydt@debian.org&gt; <span class="idiff left deletion">Thu, 07<
    /span> Apr 2022 1<span class="idiff deletion">3:10</span>:3<span class="idiff right deletion">5</span> +0200</span>
    </pre></td>
    </tr>
    <tr class="line_holder new" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="13" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">

    </td>
    <td class="new_line diff-line-num new" data-linenumber="13" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
    13
    </td>
    <td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0"><pre style="margin: 0;">+<span id="LC13" class="line" lang="plaintext"> -- Julien Puydt &lt;jpuydt@debian.org&gt; <span class="idiff left addition">Fri, 22<
    /span> Apr 2022 1<span class="idiff addition">1:07</span>:3<span class="idiff right addition">7</span> +0200</span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="13" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    13
    </td>
    <td class="new_line diff-line-num" data-linenumber="14" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    14
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"><pre style="margin: 0;"> <span id="LC14" class="line" lang="plaintext"></span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="14" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    14
    </td>
    <td class="new_line diff-line-num" data-linenumber="15" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    15
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"><pre style="margin: 0;"> <span id="LC15" class="line" lang="plaintext">alt-ergo (2.0.0-8) unstable; urgency=low</span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="15" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    15
    </td>
    <td class="new_line diff-line-num" data-linenumber="16" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #f0f0f0; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#fafafa">
    16
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"><pre style="margin: 0;"> <span id="LC16" class="line" lang="plaintext"></span>
    </pre></td>
    </tr>

    </table>

    </li>

    </div>
    <div class="footer" style="margin-top: 10px;">
    <p style="font-size: small; color: #666;">
    &#8212;

    <a href="https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/445134a74db474db3362250d3034303ffd6c314c">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.
    <script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/445134a74db474db3362250d3034303ffd6c314c"}}</script>



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

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