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;">
—
<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)