• [Git][ocaml-team/frama-c][upstream] New upstream version 20220511-manga

    From " @21:1/5 to All on Sat Jun 18 21:40:02 2022
    Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / frama-c


    Commits:
    4f9ec6a6 by Ralf Treinen at 2022-06-18T09:35:49+02:00
    New upstream version 20220511-manganese
    - - - - -


    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/chromium2manganese.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


    The diff was not included because it is too large.


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

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/4f9ec6a6b97e2af11549cb49eac2e973e0794614
    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;
    }
    body {
    font-size: 0.875rem;
    }
    body {
    -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
    }
    body {
    font-family: -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: -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;">
    Ralf Treinen pushed to branch upstream
    at <a href="https://salsa.debian.org/ocaml-team/frama-c" style="color: #1068bf; text-decoration: none;">Debian OCaml Maintainers / frama-c</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/frama-c/-/commit/4f9ec6a6b97e2af11549cb49eac2e973e0794614" style="color: #1068bf; text-decoration: none;">4f9ec6a6</a></strong>
    <div>
    <span>by Ralf Treinen</span>
    <i>at 2022-06-18T09:35:49+02:00</i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "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: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>New upstream version 20220511-manganese</pre>
    </li>
    </ul>
    <h4 style="margin-top: 10px; margin-bottom: 10px;">30 changed files:</h4>

    <li class="file-stats">
    <a href="#164b3d4809f98d0458414f1bf9cf3c9dcba16bb5" style="color: #1068bf; text-decoration: none;">
    Changelog

    </li>
    <li class="file-stats">
    <a href="#b2270542d41297db1ee0d12698e609ea3ec25ce7" style="color: #1068bf; text-decoration: none;">
    INSTALL.md

    </li>
    <li class="file-stats">
    <a href="#836efb6e25a091dcb4ff8e1dbb2f0be6a5cbf14c" style="color: #1068bf; text-decoration: none;">
    Makefile

    </li>
    <li class="file-stats">
    <a href="#ec68857992e1e04745891ff8c3366564d904625a" style="color: #1068bf; text-decoration: none;">
    Makefile.generating

    </li>
    <li class="file-stats">
    <a href="#8ec9a00bfd09b3190ac6b22251dbb1aa95a0579d" style="color: #1068bf; text-decoration: none;">
    README.md

    </li>
    <li class="file-stats">
    <a href="#b33892fbddeffc3368077b4904ad0b3d562a7312" style="color: #1068bf; text-decoration: none;">
    VERSION

    </li>
    <li class="file-stats">
    <a href="#b23e6597a641090b8f24fc59a3edb9e3a9bec151" style="color: #1068bf; text-decoration: none;">
    VERSION_CODENAME

    </li>
    <li class="file-stats">
    <a href="#887b6578cb7997ff6cbc7554ab434495b400519b" style="color: #1068bf; text-decoration: none;">
    bin/frama-c

    </li>
    <li class="file-stats">
    <a href="#101fb59997fda3489e89dfb27bcd75bb4b5818b0" style="color: #1068bf; text-decoration: none;">
    bin/frama-c-config

    </li>
    <li class="file-stats">
    <a href="#376dbaa11acedab309d63249bb61ef929315228b" style="color: #1068bf; text-decoration: none;">
    bin/frama-c-gui

    </li>
    <li class="file-stats">
    <a href="#5eb09d85f227fe4058ceefe29199ea147b5d0230" style="color: #1068bf; text-decoration: none;">
    bin/frama-c-gui.byte

    </li>
    <li class="file-stats">
    <a href="#7fa4316aea40a200843807f3aa8a25653a16e804" style="color: #1068bf; text-decoration: none;">
    bin/frama-c-script

    </li>
    <li class="file-stats">
    <a href="#4df0499506f607d6faf75161dabf5cd665530f5a" style="color: #1068bf; text-decoration: none;">
    bin/frama-c.byte

    </li>
    <li class="file-stats">
    <a href="#e62affa44b3387544c5fa13fb8530dda1e105a84" style="color: #1068bf; text-decoration: none;">
    bin/local_export.sh

    </li>
    <li class="file-stats">
    <a href="#8f0f5f14dd85c234679795d0ede24c7e50a6fa82" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/aluminium2silicon.sh

    </li>
    <li class="file-stats">
    <a href="#d0ad292d5693b91aad82aab5b28782131d0092d8" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/boron2carbon.sh

    </li>
    <li class="file-stats">
    <a href="#2c44ef2b05b0a5f92af3e0ea917f858f50bc0449" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/calcium2scandium.sh

    </li>
    <li class="file-stats">
    <a href="#23a53c4fbb6c8edadc5f5f5ba76d37d0b575e342" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/carbon2nitrogen.sh

    </li>
    <li class="file-stats">
    <a href="#ce526f0e0522e04c89570e8bb5057c4cd695e45c" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/chlorine2argon.sh

    </li>
    <li class="file-stats">
    <a href="#9303a27d5d556d180d3921113bb3fb28a3025c02" style="color: #1068bf; text-decoration: none;">
    <span class="new-file">
    +
    bin/migration_scripts/chromium2manganese.sh
    </span>

    </li>
    <li class="file-stats">
    <a href="#250dafb06b4d552a4459bc5be9ea2733be7d4729" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/fluorine2neon.sh

    </li>
    <li class="file-stats">
    <a href="#09bb3b9f78e11d1a84451395d85cdc191c26ed88" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/lithium2beryllium.sh

    </li>
    <li class="file-stats">
    <a href="#2494bfb26f697e7900e2a944d2b14246d2259a4d" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/magnesium2aluminium.sh

    </li>
    <li class="file-stats">
    <a href="#178cfcab77ed9afcf0371df0f5ef129ae499da8a" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/neon2sodium.sh

    </li>
    <li class="file-stats">
    <a href="#2f86338ed3772f34dca3408db73da870b580d4d2" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/nitrogen2oxygen.sh

    </li>
    <li class="file-stats">
    <a href="#7d42e92852dc82a980b4e2fe8c190f5d3b8e7750" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/oxygen2fluorine.sh

    </li>
    <li class="file-stats">
    <a href="#5c9d6b63d2f0871d83c6019b2f5731a01c68ea6c" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/phosphorus2sulfur.sh

    </li>
    <li class="file-stats">
    <a href="#aa6e35912615c4902cfae17043fcf89085188859" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/potassium2calcium.sh

    </li>
    <li class="file-stats">
    <a href="#d759ac5aa6f859bb6a98ebcb711d7cbb40216e4b" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/silicon2phosphorus.sh

    </li>
    <li class="file-stats">
    <a href="#9702390b4935b9aa5088c4ae99b0ec870a66333e" style="color: #1068bf; text-decoration: none;">
    bin/migration_scripts/sodium2magnesium.sh

    </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: #666;">
    &#8212;

    <a href="https://salsa.debian.org/ocaml-team/frama-c/-/commit/4f9ec6a6b97e2af11549cb49eac2e973e0794614" style="color: #1068bf; text-decoration: none;">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/4f9ec6a6b97e2af11549cb49eac2e973e0794614"}}</script>



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

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