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

  • [Git][ocaml-team/ssreflect][master] 3 commits: New upstream version 2.0

    From " @21:1/5 to All on Wed Sep 27 11:10:01 2023
    Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect


    Commits:
    9a3a06ee by Julien Puydt at 2023-09-27T08:56:50+02:00
    New upstream version 2.0.0
    - - - - -
    d31c225d by Julien Puydt at 2023-09-27T08:56:55+02:00
    Update upstream source from tag 'upstream/2.0.0'

    Update to upstream version '2.0.0'
    with Debian dir 2c3d2a673fb357f8c35f9d88deaec48b71c5bc58
    - - - - -
    813257a3 by Julien Puydt at 2023-09-27T09:13:00+02:00
    Package new upstream 2.0.0

    - - - - -


    25 changed files:

    - .nix/config.nix
    - + .nix/coq-overlays/coquelicot/default.nix
    - + .nix/coq-overlays/mathcomp-classical/default.nix
    - .nix/coq-overlays/mathcomp-single/default.nix
    - + .nix/coq-overlays/mathcomp/default.nix
    - + .vscode/settings.json
    - CHANGELOG.md
    - CONTRIBUTING.md
    - Dockerfile.make
    - coq-mathcomp-algebra.opam
    - coq-mathcomp-character.opam
    - coq-mathcomp-field.opam
    - coq-mathcomp-fingroup.opam
    - coq-mathcomp-solvable.opam
    - coq-mathcomp-ssreflect.opam
    - debian/changelog
    - debian/control
    - + etc/porting_to_mathcomp2/Makefile
    - + etc/porting_to_mathcomp2/eqtype_hier.png
    - + etc/porting_to_mathcomp2/porting.bib
    - + etc/porting_to_mathcomp2/porting.pdf
    - + etc/porting_to_mathcomp2/porting.tex
    - mathcomp/Make
    - mathcomp/_CoqProject
    - mathcomp/algebra/countalg.v


    The diff was not included because it is too large.


    View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/0b7d898df70cb6a88d0fcd316096cf22779d1dfa...813257a37a81af1562cc95d7a855eaa49973817b

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/0b7d898df70cb6a88d0fcd316096cf22779d1dfa...813257a37a81af1562cc95d7a855eaa49973817b
    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" style='--code-editor-font: var(--default-mono-font, "Menlo"), DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;'>
    <head>
    <meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
    <title>
    GitLab
    </title>

    <style data-premailer="ignore" type="text/css">
    a { color: #1068bf; }
    </style>


    <style>img {
    max-width: 100%; height: auto;
    }
    body {
    font-size: 0.875rem;
    }
    body {
    -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
    }
    body {
    font-family: var(--default-regular-font, -apple-system),BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size: inherit;
    }
    </style>
    </head>
    <body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px; font-family: var(--default-regular-font, -apple-system),BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji"
    ,"Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";'>
    <div class="content">

    <h3 style="margin-top: 20px; margin-bottom: 10px;">
    Julien Puydt pushed to branch master at <a href="https://salsa.debian.org/ocaml-team/ssreflect">Debian OCaml Maintainers / ssreflect</a>
    </h3>
    <h4 style="margin-top: 10px; margin-bottom: 10px;">
    Commits:
    </h4>


    <strong style="font-weight: bold;"><a href="https://salsa.debian.org/ocaml-team/ssreflect/-/commit/9a3a06eee7bc25e39468092e5c8add540d2887a8">9a3a06ee</a></strong>
    <div>
    <span> by Julien Puydt </span> <i> at 2023-09-27T08:56:50+02:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "Menlo"),"DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","
    andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>New upstream version 2.0.0</pre>
    </li>

    <strong style="font-weight: bold;"><a href="https://salsa.debian.org/ocaml-team/ssreflect/-/commit/d31c225d469736afc32e58ca62fc9a9cd12877bc">d31c225d</a></strong>
    <div>
    <span> by Julien Puydt </span> <i> at 2023-09-27T08:56:55+02:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "Menlo"),"DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","
    andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Update upstream source from tag 'upstream/2.0.0'

    Update to upstream version '2.0.0'
    with Debian dir 2c3d2a673fb357f8c35f9d88deaec48b71c5bc58</pre>
    </li>

    <strong style="font-weight: bold;"><a href="https://salsa.debian.org/ocaml-team/ssreflect/-/commit/813257a37a81af1562cc95d7a855eaa49973817b">813257a3</a></strong>
    <div>
    <span> by Julien Puydt </span> <i> at 2023-09-27T09:13:00+02:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "Menlo"),"DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","
    andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Package new upstream 2.0.0
    </pre>
    </li>
    </ul>
    <h4 style="margin-top: 10px; margin-bottom: 10px;">
    25 changed files:
    </h4>

    <li class="file-stats">
    <a href="#6e0b36f01ddd1e9fe35a1c9535611754eb072b46">
    .nix/config.nix

    </li>
    <li class="file-stats">
    <a href="#4068a6c95690f2f7b3a8179abeac1fb3c1561dc6">
    <span class="new-file">
    +
    .nix/coq-overlays/coquelicot/default.nix
    </span>

    </li>
    <li class="file-stats">
    <a href="#48bd28e4ae600c5eb3a29d0e72fe0de7ed4893b5">
    <span class="new-file">
    +
    .nix/coq-overlays/mathcomp-classical/default.nix
    </span>

    </li>
    <li class="file-stats">
    <a href="#05f96a944b539997a4872b5197756c0166d833b3"> .nix/coq-overlays/mathcomp-single/default.nix

    </li>
    <li class="file-stats">
    <a href="#d795cf2a8c6dc584ed8979e45b221b745403c88c">
    <span class="new-file">
    +
    .nix/coq-overlays/mathcomp/default.nix
    </span>

    </li>
    <li class="file-stats">
    <a href="#89aa447020cdcb580cea0495694d46a55941edbe">
    <span class="new-file">
    +
    .vscode/settings.json
    </span>

    </li>
    <li class="file-stats">
    <a href="#ab09011fa121d0a2bb9fa4ca76094f2482b902b7">
    CHANGELOG.md

    </li>
    <li class="file-stats">
    <a href="#3f454a98e586d1aa0d322e19afd5e67e08f2d3c8">
    CONTRIBUTING.md

    </li>
    <li class="file-stats">
    <a href="#c8b78e10f864df3695b8f80a9e95695c8159bb3f">
    Dockerfile.make

    </li>
    <li class="file-stats">
    <a href="#7e8c513fbb9c41985cf60ef89cc9152991cf3a07">
    coq-mathcomp-algebra.opam

    </li>
    <li class="file-stats">
    <a href="#52dc6090fa33eecae318bb55b7470d5c070df3fb"> coq-mathcomp-character.opam

    </li>
    <li class="file-stats">
    <a href="#102404c5cea5079caf680170fc3ab4d22d3de14e">
    coq-mathcomp-field.opam

    </li>
    <li class="file-stats">
    <a href="#99ea0250fd999630631778faf51ffd74be7cb101">
    coq-mathcomp-fingroup.opam

    </li>
    <li class="file-stats">
    <a href="#64f6bccf68990e8f270e9daa903026fd22918d64">
    coq-mathcomp-solvable.opam

    </li>
    <li class="file-stats">
    <a href="#11add790a7f57141ce044a0075d4b2fe3e96f4f7"> coq-mathcomp-ssreflect.opam

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

    </li>
    <li class="file-stats">
    <a href="#58ef006ab62b83b4bec5d81fe5b32c3b4c2d1cc2">
    debian/control

    </li>
    <li class="file-stats">
    <a href="#60654e5d9a89c8832ad84d1d75232ec5640834df">
    <span class="new-file">
    +
    etc/porting_to_mathcomp2/Makefile
    </span>

    </li>
    <li class="file-stats">
    <a href="#63836997f3da5740b54bb02d264356dfe2191565">
    <span class="new-file">
    +
    etc/porting_to_mathcomp2/eqtype_hier.png
    </span>

    </li>
    <li class="file-stats">
    <a href="#861448d89672f687fdb021f8b31e8c714b8f96b2">
    <span class="new-file">
    +
    etc/porting_to_mathcomp2/porting.bib
    </span>

    </li>
    <li class="file-stats">
    <a href="#eb200e157769575b1b6b56d70a3dfeab066e58f5">
    <span class="new-file">
    +
    etc/porting_to_mathcomp2/porting.pdf
    </span>

    </li>
    <li class="file-stats">
    <a href="#a9d1771ecf577bccaeeb717354a9c754c83950d4">
    <span class="new-file">
    +
    etc/porting_to_mathcomp2/porting.tex
    </span>

    </li>
    <li class="file-stats">
    <a href="#e0b3f23891af23aca05644b9fd2e7b194e5f9218">
    mathcomp/Make

    </li>
    <li class="file-stats">
    <a href="#1247f40e1aa84df1e5a71dbd05ad375a9e7b4648">
    mathcomp/_CoqProject

    </li>
    <li class="file-stats">
    <a href="#abbb0ff015002e6728b4340b877ee9ddf39f1c61"> mathcomp/algebra/countalg.v

    </li>
    </ul>
    <h5 style="margin-top: 10px; margin-bottom: 10px; font-size: 0.875rem;">
    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: #737278;">
    &#8212;

    <a href="https://salsa.debian.org/ocaml-team/ssreflect/-/compare/0b7d898df70cb6a88d0fcd316096cf22779d1dfa...813257a37a81af1562cc95d7a855eaa49973817b">View it on GitLab</a>.

    You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://salsa.debian.org">salsa.debian.org</a>. <a href="https://salsa.debian.org/-/profile/notifications" target="_blank" rel="noopener noreferrer"
    class="mng-notif-link">Manage all notifications</a> &#183; <a href="https://salsa.debian.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>




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

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