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

  • [Git][ocaml-team/frama-c][master] 8 commits: New upstream version 20211

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


    Commits:
    af54db2a by Ralf Treinen at 2022-03-20T01:06:47+01:00
    New upstream version 20211203-chromium
    - - - - -
    c9a213e6 by Ralf Treinen at 2022-03-20T01:24:08+01:00
    Update upstream source from tag 'upstream/20211203-chromium'

    Update to upstream version '20211203-chromium'
    with Debian dir a6995b979083d93a284794b5f9eb1218d2c8f490

    - - - - -
    fe47d9e5 by Ralf Treinen at 2022-03-20T01:35:49+01:00
    patches: removed one, refreshed the others

    - - - - -
    f2224378 by Ralf Treinen at 2022-03-20T02:18:14+01:00 usr/lib/libeacsl-dlmalloc.a is now at usr/lib/frama-c/e-acsl

    - - - - -
    7682fa9c by Ralf Treinen at 2022-03-20T08:57:20+01:00
    simplify d/copyright, some files have disappeared or changed copyright holder

    - - - - -
    dc2be528 by Ralf Treinen at 2022-03-20T09:22:45+01:00
    updated test wp to use new syntax of why3 config

    - - - - -
    c37572b7 by Ralf Treinen at 2022-03-22T08:02:52+01:00
    standards-version 4.6.0

    - - - - -
    7cf7f861 by Ralf Treinen at 2022-03-23T08:56:35+01:00
    upload to sid

    - - - - -


    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/-/compare/b0b5c4beab5b46a3ebe34ca3a6ee5a19294302a5...7cf7f8617a4a47565629ec8e8c0c980cc7a37f0e

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/b0b5c4beab5b46a3ebe34ca3a6ee5a19294302a5...7cf7f8617a4a47565629ec8e8c0c980cc7a37f0e
    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 master
    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>

    <strong><a href="https://salsa.debian.org/ocaml-team/frama-c/-/commit/c9a213e6a0e783144e7f75dbbef523ad9f611b40">c9a213e6</a></strong>
    <div>
    <span>by Ralf Treinen</span>
    <i>at 2022-03-20T01:24:08+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update upstream source from tag 'upstream/20211203-chromium'

    Update to upstream version '20211203-chromium'
    with Debian dir a6995b979083d93a284794b5f9eb1218d2c8f490
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/frama-c/-/commit/fe47d9e540d61c6f2d2b49c6f4c23e3395add54b">fe47d9e5</a></strong>
    <div>
    <span>by Ralf Treinen</span>
    <i>at 2022-03-20T01:35:49+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">patches: removed one, refreshed the others
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/frama-c/-/commit/f22243789ed6fa3fb8ff6d55e2cb77c43818d090">f2224378</a></strong>
    <div>
    <span>by Ralf Treinen</span>
    <i>at 2022-03-20T02:18:14+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">usr/lib/libeacsl-dlmalloc.a is now at usr/lib/frama-c/e-acsl
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/frama-c/-/commit/7682fa9c0adf989d2503b37aed3307a0c5a3fe47">7682fa9c</a></strong>
    <div>
    <span>by Ralf Treinen</span>
    <i>at 2022-03-20T08:57:20+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">simplify d/copyright, some files have disappeared or changed copyright holder
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/frama-c/-/commit/dc2be528e34fce55e05103e1ca533eb4c8479b9d">dc2be528</a></strong>
    <div>
    <span>by Ralf Treinen</span>
    <i>at 2022-03-20T09:22:45+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">updated test wp to use new syntax of why3 config
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/frama-c/-/commit/c37572b7adf2f24ab10eac77b2970a3814005d7f">c37572b7</a></strong>
    <div>
    <span>by Ralf Treinen</span>
    <i>at 2022-03-22T08:02:52+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">standards-version 4.6.0
    </pre>
    </li>

    <strong><a href="https://salsa.debian.org/ocaml-team/frama-c/-/commit/7cf7f8617a4a47565629ec8e8c0c980cc7a37f0e">7cf7f861</a></strong>
    <div>
    <span>by Ralf Treinen</span>
    <i>at 2022-03-23T08:56:35+01:00</i>
    </div>
    <pre class="commit-message" style="white-space: pre-wrap; margin: 0;">upload to sid
    </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/-/compare/b0b5c4beab5b46a3ebe34ca3a6ee5a19294302a5...7cf7f8617a4a47565629ec8e8c0c980cc7a37f0e">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)