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

  • [Git][ocaml-team/ssreflect][master] 2 commits: Make the package adapt t

    From " @21:1/5 to All on Sat Feb 5 10:20:04 2022
    Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect


    Commits:
    56876c50 by Julien Puydt at 2022-02-05T08:45:48+01:00
    Make the package adapt to coq's layout

    - - - - -
    17902e20 by Julien Puydt at 2022-02-05T09:55:27+01:00
    Make ssreflect adapt to coq's library layout

    - - - - -


    4 changed files:

    - debian/changelog
    - − debian/libssreflect-coq.install
    - + debian/libssreflect-coq.install.in
    - debian/rules


    Changes:

    =====================================
    debian/changelog
    =====================================
    @@ -1,3 +1,9 @@
    +ssreflect (1.14.0-2) unstable; urgency=medium
    +
    + * Make the package auto-adapt to coq's layout.
    +
    + -- Julien Puydt <jpuydt@debian.org> Sat, 05 Feb 2022 09:55:07 +0100
    +
    ssreflect (1.14.0-1) unstable; urgency=medium

    * New upstream release.


    =====================================
    debian/libssreflect-coq.install deleted
    =====================================
    @@ -1,3 +0,0 @@
    -usr/lib/coq/user-contrib/mathcomp/*/*.vo -usr/lib/coq/user-contrib/mathcomp/*/*.v -usr/lib/coq/user-contrib/mathcomp/*/*.glob


    =====================================
    debian/libssreflect-coq.install.in
    =====================================
    @@ -0,0 +1 @@
    +# Files get added here by debian/rules


    =====================================
    debian/rules
    =====================================
    @@ -9,14 +9,14 @@ export COQBIN := /usr/bin/
    %:
    dh $@

    -.PHONY: override_dh_auto_build
    override_dh_auto_build:
    $(MAKE) -C mathcomp all doc

    -.PHONY: override_dh_auto_install
    override_dh_auto_install:
    $(MAKE) -C mathcomp install DSTROOT=$(CURDIR)/debian/tmp
    + find debian/tmp -regextype posix-awk \
    + -regex '.*\.(v|vo|vos|glob)$$' \
    + >> debian/libssreflect-coq.install

    -.PHONY: override_dh_gencontrol
    override_dh_gencontrol:
    dh_gencontrol -- -VF:CoqABI="$(COQ_ABI)"



    View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/5aaa5ac7a0a35aae23a8eeb12ed95e0984a9418e...17902e20edf6ff1dc54011d036794782173a0754

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/5aaa5ac7a0a35aae23a8eeb12ed95e0984a9418e...17902e20edf6ff1dc54011d036794782173a0754
    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/ssreflect">Debian OCaml Maintainers / ssreflect</a>
    </h3>

    Commits:
    </h4>


    <strong><a href="https://salsa.debian.org/ocaml-team/ssreflect/-/commit/56876c50c8406d91b743377781561dca806df7c1">56876c50</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-02-05T08:45:48+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Make the package adapt to coq's layout
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/ssreflect/-/commit/17902e20edf6ff1dc54011d036794782173a0754">17902e20</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-02-05T09:55:27+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Make ssreflect adapt to coq's library layout
    </pre>
    </li>
    </ul>
    <h4>4 changed files:</h4>

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

    </li>
    <li class="file-stats">
    <a href="#5b73b4bdc468b2ebfc22ef890c19261299282e88">
    <span class="deleted-file">
    &#8722;
    debian/libssreflect-coq.install
    </span>

    </li>
    <li class="file-stats">
    <a href="#df0b01c14bb0431abf07548893edac3010023a28">
    <span class="new-file">
    +
    debian/libssreflect-coq.install.in
    </span>

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

    </li>
    </ul>
    <h4>Changes:</h4>
    <li id="9c96da0e9f91d7d8937b69b524702c106258f0d1">
    <a href="https://salsa.debian.org/ocaml-team/ssreflect/-/compare/5aaa5ac7a0a35aae23a8eeb12ed95e0984a9418e...17902e20edf6ff1dc54011d036794782173a0754#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 new" id="" style="line-height: 1.6;">
    <td class="old_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">

    </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">ssreflect (1.14.0-2) unstable; urgency=medium</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder new" id="" style="line-height: 1.6;">
    <td class="old_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">

    </td>
    <td class="new_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">
    2
    </td>
    <td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
    <pre style="margin: 0;">+<span id="LC2" class="line" lang="plaintext"></span> </pre>
    </td>
    </tr>
    <tr class="line_holder new" id="" style="line-height: 1.6;">
    <td class="old_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">

    </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"> * Make the package auto-adapt to coq's layout.</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder new" id="" style="line-height: 1.6;">
    <td class="old_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">

    </td>
    <td class="new_line diff-line-num new" data-linenumber="4" 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">
    4
    </td>
    <td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
    <pre style="margin: 0;">+<span id="LC4" class="line" lang="plaintext"></span> </pre>
    </td>
    </tr>
    <tr class="line_holder new" id="" style="line-height: 1.6;">
    <td class="old_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">

    </td>
    <td class="new_line diff-line-num new" data-linenumber="5" 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">
    5
    </td>
    <td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
    <pre style="margin: 0;">+<span id="LC5" class="line" lang="plaintext"> -- Julien Puydt &lt;jpuydt@debian.org&gt; Sat, 05 Feb 2022 09:55:07 +0100</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder new" id="" style="line-height: 1.6;">
    <td class="old_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">

    </td>
    <td class="new_line diff-line-num new" data-linenumber="6" 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">
    6
    </td>
    <td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
    <pre style="margin: 0;">+<span id="LC6" class="line" lang="plaintext"></span> </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="1" 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">
    1
    </td>
    <td class="new_line diff-line-num" data-linenumber="7" 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">
    7
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC7" class="line" lang="plaintext">ssreflect (1.14.0-1) unstable; urgency=medium</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" 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="8" 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">
    8
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC8" class="line" lang="plaintext"></span> </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" 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="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="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC9" class="line" lang="plaintext"> * New upstream release.</span>
    </pre>
    </td>
    </tr>

    </table>

    </li>
    <li id="5b73b4bdc468b2ebfc22ef890c19261299282e88">
    <a href="https://salsa.debian.org/ocaml-team/ssreflect/-/compare/5aaa5ac7a0a35aae23a8eeb12ed95e0984a9418e...17902e20edf6ff1dc54011d036794782173a0754#5b73b4bdc468b2ebfc22ef890c19261299282e88"><strong>debian/libssreflect-coq.install</strong>
    deleted


    <table class="code white" style="font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">
    <tr class="line_holder old" id="" 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="0" 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="php"><span class="n" style="color: #333;">usr</span><span class="o" style="font-weight: 600;">/</span><span class="n" style="color: #333;">lib</span><span class="o" style="font-weight: 600;">/</
    span><span class="n" style="color: #333;">coq</span><span class="o" style="font-weight: 600;">/</span><span class="n" style="color: #333;">user</span><span class="o" style="font-weight: 600;">-</span><span class="n" style="color: #333;">contrib</span><
    span class="o" style="font-weight: 600;">/</span><span class="n" style="color: #333;">mathcomp</span><span class="cm" style="color: #998; font-style: italic;">/*/*.vo</span></span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder old" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num old" data-linenumber="2" 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">
    2
    </td>
    <td class="new_line diff-line-num old" data-linenumber="0" 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="LC2" class="line" lang="php"><span class="cm" style="color: #998; font-style: italic;">usr/lib/coq/user-contrib/mathcomp/*/</span><span class="o" style="font-weight: 600;">*.</span><span class="n" style="color: #333;">v<
    /span></span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder old" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num old" data-linenumber="3" 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">
    3
    </td>
    <td class="new_line diff-line-num old" data-linenumber="0" 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="LC3" class="line" lang="php"><span class="n" style="color: #333;">usr</span><span class="o" style="font-weight: 600;">/</span><span class="n" style="color: #333;">lib</span><span class="o" style="font-weight: 600;">/</
    span><span class="n" style="color: #333;">coq</span><span class="o" style="font-weight: 600;">/</span><span class="n" style="color: #333;">user</span><span class="o" style="font-weight: 600;">-</span><span class="n" style="color: #333;">contrib</span><
    span class="o" style="font-weight: 600;">/</span><span class="n" style="color: #333;">mathcomp</span><span class="o" style="font-weight: 600;">/*/*.</span><span class="n" style="color: #333;">glob</span></span></pre>
    </td>
    </tr>

    </table>

    </li>
    <li id="df0b01c14bb0431abf07548893edac3010023a28">
    <a href="https://salsa.debian.org/ocaml-team/ssreflect/-/compare/5aaa5ac7a0a35aae23a8eeb12ed95e0984a9418e...17902e20edf6ff1dc54011d036794782173a0754#df0b01c14bb0431abf07548893edac3010023a28"><strong>debian/libssreflect-coq.install.in</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 new" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="0" 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"># Files get added here by debian/rules</span></pre>
    </td>
    </tr>

    </table>

    </li>
    <li id="8756c63497c8dc39f7773438edf53b220c773f67">
    <a href="https://salsa.debian.org/ocaml-team/ssreflect/-/compare/5aaa5ac7a0a35aae23a8eeb12ed95e0984a9418e...17902e20edf6ff1dc54011d036794782173a0754#8756c63497c8dc39f7773438edf53b220c773f67"><strong>debian/rules</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 match" id="" 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="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="line_content match " style="padding-left: 0.5em; padding-right: 0.5em; color: rgba(0,0,0,0.3);" bgcolor="#fafafa">@@ -9,14 +9,14 @@ export COQBIN := /usr/bin/</td>
    </tr>
    <tr class="line_holder" id="" 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="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="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC9" class="line" lang="plaintext">%:</span> </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" 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="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"> dh $@</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" 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="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"></span> </pre>
    </td>
    </tr>
    <tr class="line_holder old" id="" 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="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">

    </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">.PHONY: override_dh_auto_build</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" 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="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">override_dh_auto_build:</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" 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="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="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC13" class="line" lang="plaintext"> $(MAKE) -C mathcomp all doc</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" 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="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 old" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num old" data-linenumber="16" 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">
    16
    </td>
    <td class="new_line diff-line-num old" data-linenumber="15" 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="LC16" class="line" lang="plaintext">.PHONY: override_dh_auto_install</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="17" 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">
    17
    </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">override_dh_auto_install:</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="18" 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">
    18
    </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"> $(MAKE) -C mathcomp install DSTROOT=$(CURDIR)/debian/tmp</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder new" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="19" 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="17" 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">
    17
    </td>
    <td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
    <pre style="margin: 0;">+<span id="LC17" class="line" lang="plaintext"> find debian/tmp -regextype posix-awk \</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder new" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="19" 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="18" 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">
    18
    </td>
    <td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
    <pre style="margin: 0;">+<span id="LC18" class="line" lang="plaintext"> -regex '.*\.(v|vo|vos|glob)$$' \</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder new" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="19" 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="19" 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">
    19
    </td>
    <td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
    <pre style="margin: 0;">+<span id="LC19" class="line" lang="plaintext"> &gt;&gt; debian/libssreflect-coq.install</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="19" 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">
    19
    </td>
    <td class="new_line diff-line-num" data-linenumber="20" 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">
    20
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC20" class="line" lang="plaintext"></span> </pre>
    </td>
    </tr>
    <tr class="line_holder old" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num old" data-linenumber="20" 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">
    20
    </td>
    <td class="new_line diff-line-num old" data-linenumber="21" 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="LC20" class="line" lang="plaintext">.PHONY: override_dh_gencontrol</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="21" 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">
    21
    </td>
    <td class="new_line diff-line-num" data-linenumber="21" 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">
    21
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC21" class="line" lang="plaintext">override_dh_gencontrol:</span>
    </pre>
    </td>
    </tr>
    <tr class="line_holder" id="" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="22" 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">
    22
    </td>
    <td class="new_line diff-line-num" data-linenumber="22" 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">
    22
    </td>
    <td class="line_content" style="padding-left: 0.5em; padding-right: 0.5em;"> <pre style="margin: 0;"> <span id="LC22" class="line" lang="plaintext"> dh_gencontrol -- -VF:CoqABI="$(COQ_ABI)"</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/ssreflect/-/compare/5aaa5ac7a0a35aae23a8eeb12ed95e0984a9418e...17902e20edf6ff1dc54011d036794782173a0754">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)