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

  • [Git][ocaml-team/coq][master] 2 commits: Make the ocaml libs available

    From " @21:1/5 to All on Mon Jan 17 09:20:02 2022
    Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq


    Commits:
    5aafdc03 by Julien Puydt at 2022-01-17T08:20:12+01:00
    Make the ocaml libs available in /usr/lib/ocaml

    - - - - -
    e0160c4d by Julien Puydt at 2022-01-17T08:54:30+01:00
    Prepare for upload

    - - - - -


    2 changed files:

    - debian/changelog
    - + debian/libcoq-ocaml-dev.links


    Changes:

    =====================================
    debian/changelog
    =====================================
    @@ -1,3 +1,10 @@
    +coq (8.14.1+dfsg-2) unstable; urgency=medium
    +
    + * Make the ocaml libraries available in /usr/lib/ocaml
    + (so ocamlfind sees them)
    +
    + -- Julien Puydt <jpuydt@debian.org> Mon, 17 Jan 2022 08:54:23 +0100
    +
    coq (8.14.1+dfsg-1) unstable; urgency=medium

    * Ship META in the right package and hence Suggest: ocaml-findlib


    =====================================
    debian/libcoq-ocaml-dev.links
    =====================================
    @@ -0,0 +1 @@
    +usr/lib/coq-core usr/lib/ocaml/coq-core



    View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/0034e8a2cecffb4d1aaefd9cc66818d8445f2ed5...e0160c4d3188e6fe87307a282a3814a044bc12b5

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/0034e8a2cecffb4d1aaefd9cc66818d8445f2ed5...e0160c4d3188e6fe87307a282a3814a044bc12b5
    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/5aafdc037ee88699d27f8b3c84695582b6de2840">5aafdc03</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-01-17T08:20:12+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Make the ocaml libs available in /usr/lib/ocaml
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/coq/-/commit/e0160c4d3188e6fe87307a282a3814a044bc12b5">e0160c4d</a></strong>
    <div>
    <span>by Julien Puydt</span>
    <i>at 2022-01-17T08:54:30+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Prepare for upload
    </pre>
    </li>
    </ul>
    <h4>2 changed files:</h4>

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

    </li>
    <li class="file-stats">
    <a href="#66f49d256dab89446664f1b9aca375c4407cbb88">
    <span class="new-file">
    +
    debian/libcoq-ocaml-dev.links
    </span>

    </li>
    </ul>
    <h4>Changes:</h4>
    <li id="9c96da0e9f91d7d8937b69b524702c106258f0d1">
    <a href="https://salsa.debian.org/ocaml-team/coq/-/compare/0034e8a2cecffb4d1aaefd9cc66818d8445f2ed5...e0160c4d3188e6fe87307a282a3814a044bc12b5#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">coq (8.14.1+dfsg-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 ocaml libraries available in /usr/lib/ocaml</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"> (so ocamlfind sees them)</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"></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"> -- Julien Puydt &lt;jpuydt@debian.org&gt; Mon, 17 Jan 2022 08:54:23 +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="7" 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">
    7
    </td>
    <td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
    <pre style="margin: 0;">+<span id="LC7" 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="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">coq (8.14.1+dfsg-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="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="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="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"> * Ship META in the right package and hence Suggest: ocaml-findlib</span>
    </pre>
    </td>
    </tr>

    </table>

    </li>
    <li id="66f49d256dab89446664f1b9aca375c4407cbb88">
    <a href="https://salsa.debian.org/ocaml-team/coq/-/compare/0034e8a2cecffb4d1aaefd9cc66818d8445f2ed5...e0160c4d3188e6fe87307a282a3814a044bc12b5#66f49d256dab89446664f1b9aca375c4407cbb88"><strong>debian/libcoq-ocaml-dev.links</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">usr/lib/coq-core usr/lib/ocaml/coq-core</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/coq/-/compare/0034e8a2cecffb4d1aaefd9cc66818d8445f2ed5...e0160c4d3188e6fe87307a282a3814a044bc12b5">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)