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

  • [Git][ocaml-team/frama-c][upstream] New upstream version 20211203-chrom

    From " @21:1/5 to All on Wed Mar 23 09:40:01 2022
    Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / frama-c


    Commits:
    af54db2a by Ralf Treinen at 2022-03-20T01:06:47+01:00
    New upstream version 20211203-chromium
    - - - - -


    30 changed files:

    - Changelog
    - INSTALL.md
    - Makefile
    - Makefile.generating
    - README.md
    - VERSION
    - VERSION_CODENAME
    - bin/frama-c
    - bin/frama-c-config
    - bin/frama-c-gui
    - bin/frama-c-gui.byte
    - bin/frama-c-script
    - bin/frama-c.byte
    - bin/local_export.sh
    - bin/migration_scripts/aluminium2silicon.sh
    - bin/migration_scripts/boron2carbon.sh
    - bin/migration_scripts/calcium2scandium.sh
    - bin/migration_scripts/carbon2nitrogen.sh
    - bin/migration_scripts/chlorine2argon.sh
    - bin/migration_scripts/fluorine2neon.sh
    - bin/migration_scripts/lithium2beryllium.sh
    - bin/migration_scripts/magnesium2aluminium.sh
    - bin/migration_scripts/neon2sodium.sh
    - bin/migration_scripts/nitrogen2oxygen.sh
    - bin/migration_scripts/oxygen2fluorine.sh
    - bin/migration_scripts/phosphorus2sulfur.sh
    - bin/migration_scripts/potassium2calcium.sh
    - bin/migration_scripts/silicon2phosphorus.sh
    - bin/migration_scripts/sodium2magnesium.sh
    - bin/migration_scripts/sulfur2chlorine.sh


    The diff was not included because it is too large.


    View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/af54db2a0be36ad9ab0a44ced6afdf3d64f243f0

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/af54db2a0be36ad9ab0a44ced6afdf3d64f243f0
    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">


    Ralf Treinen pushed to branch upstream
    at <a href="https://salsa.debian.org/ocaml-team/frama-c">Debian OCaml Maintainers / frama-c</a>
    </h3>

    Commits:
    </h4>


    <strong><a href="https://salsa.debian.org/ocaml-team/frama-c/-/commit/af54db2a0be36ad9ab0a44ced6afdf3d64f243f0">af54db2a</a></strong>
    <div>
    <span>by Ralf Treinen</span>
    <i>at 2022-03-20T01:06:47+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 20211203-chromium</pre>
    </li>
    </ul>
    <h4>30 changed files:</h4>

    <li class="file-stats">
    <a href="#164b3d4809f98d0458414f1bf9cf3c9dcba16bb5">
    Changelog

    </li>
    <li class="file-stats">
    <a href="#b2270542d41297db1ee0d12698e609ea3ec25ce7">
    INSTALL.md

    </li>
    <li class="file-stats">
    <a href="#836efb6e25a091dcb4ff8e1dbb2f0be6a5cbf14c">
    Makefile

    </li>
    <li class="file-stats">
    <a href="#ec68857992e1e04745891ff8c3366564d904625a">
    Makefile.generating

    </li>
    <li class="file-stats">
    <a href="#8ec9a00bfd09b3190ac6b22251dbb1aa95a0579d">
    README.md

    </li>
    <li class="file-stats">
    <a href="#b33892fbddeffc3368077b4904ad0b3d562a7312">
    VERSION

    </li>
    <li class="file-stats">
    <a href="#b23e6597a641090b8f24fc59a3edb9e3a9bec151">
    VERSION_CODENAME

    </li>
    <li class="file-stats">
    <a href="#887b6578cb7997ff6cbc7554ab434495b400519b">
    bin/frama-c

    </li>
    <li class="file-stats">
    <a href="#101fb59997fda3489e89dfb27bcd75bb4b5818b0">
    bin/frama-c-config

    </li>
    <li class="file-stats">
    <a href="#376dbaa11acedab309d63249bb61ef929315228b">
    bin/frama-c-gui

    </li>
    <li class="file-stats">
    <a href="#5eb09d85f227fe4058ceefe29199ea147b5d0230">
    bin/frama-c-gui.byte

    </li>
    <li class="file-stats">
    <a href="#7fa4316aea40a200843807f3aa8a25653a16e804">
    bin/frama-c-script

    </li>
    <li class="file-stats">
    <a href="#4df0499506f607d6faf75161dabf5cd665530f5a">
    bin/frama-c.byte

    </li>
    <li class="file-stats">
    <a href="#e62affa44b3387544c5fa13fb8530dda1e105a84">
    bin/local_export.sh

    </li>
    <li class="file-stats">
    <a href="#8f0f5f14dd85c234679795d0ede24c7e50a6fa82"> bin/migration_scripts/aluminium2silicon.sh

    </li>
    <li class="file-stats">
    <a href="#d0ad292d5693b91aad82aab5b28782131d0092d8"> bin/migration_scripts/boron2carbon.sh

    </li>
    <li class="file-stats">
    <a href="#2c44ef2b05b0a5f92af3e0ea917f858f50bc0449"> bin/migration_scripts/calcium2scandium.sh

    </li>
    <li class="file-stats">
    <a href="#23a53c4fbb6c8edadc5f5f5ba76d37d0b575e342"> bin/migration_scripts/carbon2nitrogen.sh

    </li>
    <li class="file-stats">
    <a href="#ce526f0e0522e04c89570e8bb5057c4cd695e45c"> bin/migration_scripts/chlorine2argon.sh

    </li>
    <li class="file-stats">
    <a href="#250dafb06b4d552a4459bc5be9ea2733be7d4729"> bin/migration_scripts/fluorine2neon.sh

    </li>
    <li class="file-stats">
    <a href="#09bb3b9f78e11d1a84451395d85cdc191c26ed88"> bin/migration_scripts/lithium2beryllium.sh

    </li>
    <li class="file-stats">
    <a href="#2494bfb26f697e7900e2a944d2b14246d2259a4d"> bin/migration_scripts/magnesium2aluminium.sh

    </li>
    <li class="file-stats">
    <a href="#178cfcab77ed9afcf0371df0f5ef129ae499da8a"> bin/migration_scripts/neon2sodium.sh

    </li>
    <li class="file-stats">
    <a href="#2f86338ed3772f34dca3408db73da870b580d4d2"> bin/migration_scripts/nitrogen2oxygen.sh

    </li>
    <li class="file-stats">
    <a href="#7d42e92852dc82a980b4e2fe8c190f5d3b8e7750"> bin/migration_scripts/oxygen2fluorine.sh

    </li>
    <li class="file-stats">
    <a href="#5c9d6b63d2f0871d83c6019b2f5731a01c68ea6c"> bin/migration_scripts/phosphorus2sulfur.sh

    </li>
    <li class="file-stats">
    <a href="#aa6e35912615c4902cfae17043fcf89085188859"> bin/migration_scripts/potassium2calcium.sh

    </li>
    <li class="file-stats">
    <a href="#d759ac5aa6f859bb6a98ebcb711d7cbb40216e4b"> bin/migration_scripts/silicon2phosphorus.sh

    </li>
    <li class="file-stats">
    <a href="#9702390b4935b9aa5088c4ae99b0ec870a66333e"> bin/migration_scripts/sodium2magnesium.sh

    </li>
    <li class="file-stats">
    <a href="#80276f18cf76d74ea887e0f65df9a40faf7ec872"> bin/migration_scripts/sulfur2chlorine.sh

    </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/frama-c/-/commit/af54db2a0be36ad9ab0a44ced6afdf3d64f243f0">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/frama-c/-/commit/af54db2a0be36ad9ab0a44ced6afdf3d64f243f0"}}</script>



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

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