Julien Puydt pushed to branch master at Debian OCaml Maintainers / alt-ergo
Commits:
8fdf26e0 by Julien Puydt at 2022-08-06T16:17:47+02:00
New upstream version 2.4.2
- - - - -
25ff8e0c by Julien Puydt at 2022-08-06T16:17:57+02:00
Update upstream source from tag 'upstream/2.4.2'
Update to upstream version '2.4.2'
with Debian dir 1d8e64088f5328fbc1564f3bb307b9066d7f39e6
- - - - -
e11f1727 by Julien Puydt at 2022-08-06T16:19:48+02:00
Package new upstream 2.4.2
- - - - -
f2772619 by Julien Puydt at 2022-08-06T16:22:33+02:00
Drop all patches (upstreamed)
- - - - -
b581dfd7 by Julien Puydt at 2022-08-06T16:55:39+02:00
Prepare for upload
- - - - -
30 changed files:
- .github/workflows/build_docker.yml
- .github/workflows/build_js.yml
- .github/workflows/build_macos.yml
- .github/workflows/build_make.yml
- .github/workflows/build_ubuntu.yml
- .github/workflows/build_windows.yml
- .github/workflows/documentation.yml
- .github/workflows/linter.yml
- Makefile
- alt-ergo-lib.opam
- alt-ergo-lib.opam.template
- alt-ergo-parsers.opam
- alt-ergo-parsers.opam.template
- alt-ergo.opam
- alt-ergo.opam.template
- altgr-ergo.opam
- altgr-ergo.opam.template
- configure.ml
- debian/changelog
- − debian/patches/fix_cmdliner_1.1.1.patch
- − debian/patches/fix_menhir_inferences.patch
- − debian/patches/fix_non_native_architectures.patch
- − debian/patches/series
- docs/sphinx_docs/About/changes.md
- docs/sphinx_docs/Install/index.md
- dune-project
- non-regression/challenges/valid/challenge-case-split-non-pred-booleans__KO.ae - non-regression/main_script.sh
- non-regression/valid/adts/simple_0.ae
- src/bin/common/parse_command.ml
The diff was not included because it is too large.
View it on GitLab:
https://salsa.debian.org/ocaml-team/alt-ergo/-/compare/6fcbe2a0edab35f816a5cb9f71202e391cb70bb6...b581dfd7ab9167e93e075a77894a251748c93f46
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/alt-ergo/-/compare/6fcbe2a0edab35f816a5cb9f71202e391cb70bb6...b581dfd7ab9167e93e075a77894a251748c93f46
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 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: -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;">
Julien Puydt pushed to branch master
at <a href="
https://salsa.debian.org/ocaml-team/alt-ergo" style="color: #1068bf;">Debian OCaml Maintainers / alt-ergo</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/alt-ergo/-/commit/8fdf26e0668a73383da0d8e00ced58f7717b8bb6" style="color: #1068bf;">8fdf26e0</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-08-06T16:17:47+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 2.4.2</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/25ff8e0ce2ab6c3e4348227bf6cbeff8f4b9bf5d" style="color: #1068bf;">25ff8e0c</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-08-06T16:17:57+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;'>Update upstream source from tag 'upstream/2.4.2'
Update to upstream version '2.4.2'
with Debian dir 1d8e64088f5328fbc1564f3bb307b9066d7f39e6</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/e11f1727223ee719d537bb761bdefb6bf04921ef" style="color: #1068bf;">e11f1727</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-08-06T16:19:48+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;'>Package new upstream 2.4.2
</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/f2772619c2a61a5004ac8a7c7fb5ebead04fa818" style="color: #1068bf;">f2772619</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-08-06T16:22:33+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;'>Drop all patches (upstreamed)
</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/b581dfd7ab9167e93e075a77894a251748c93f46" style="color: #1068bf;">b581dfd7</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-08-06T16:55:39+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;'>Prepare for upload
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">30 changed files:</h4>
<li class="file-stats">
<a href="#c1dffec1982ad3fccfd17197c5cf85dd7d0ba23f" style="color: #1068bf;"> .github/workflows/build_docker.yml
</li>
<li class="file-stats">
<a href="#4e8a107f3fc1409223206929e608f96590d568e3" style="color: #1068bf;"> .github/workflows/build_js.yml
</li>
<li class="file-stats">
<a href="#fdec6e5647996cfd6b68fc2b211f112af1d11bb4" style="color: #1068bf;"> .github/workflows/build_macos.yml
</li>
<li class="file-stats">
<a href="#694b3601de882e189e83d8bc731a048bccc6d21b" style="color: #1068bf;"> .github/workflows/build_make.yml
</li>
<li class="file-stats">
<a href="#bdd9cb2c5a377b212da38d36ed1c32b9ec8b4aac" style="color: #1068bf;"> .github/workflows/build_ubuntu.yml
</li>
<li class="file-stats">
<a href="#d399ec3b5e0f008cc57b0efa7a0880b487fa4abc" style="color: #1068bf;"> .github/workflows/build_windows.yml
</li>
<li class="file-stats">
<a href="#09955933b412fbf2f6cd3ced21488cc6925af39f" style="color: #1068bf;"> .github/workflows/documentation.yml
</li>
<li class="file-stats">
<a href="#32041b1c9d997b5f67aee1542cc355f2390d3bd0" style="color: #1068bf;"> .github/workflows/linter.yml
</li>
<li class="file-stats">
<a href="#836efb6e25a091dcb4ff8e1dbb2f0be6a5cbf14c" style="color: #1068bf;"> Makefile
</li>
<li class="file-stats">
<a href="#9b65a80c84fd7cfbb403996d07dc47fc1c8077da" style="color: #1068bf;"> alt-ergo-lib.opam
</li>
<li class="file-stats">
<a href="#2653ce093e70f05e78f0f285d8cef9a21a987d29" style="color: #1068bf;"> alt-ergo-lib.opam.template
</li>
<li class="file-stats">
<a href="#0c3a9826f4b2f408811b6c69e956c3d5a7caffcc" style="color: #1068bf;"> alt-ergo-parsers.opam
</li>
<li class="file-stats">
<a href="#cdb5149fda5b0114a711a8ea2233fa7f51ad869b" style="color: #1068bf;"> alt-ergo-parsers.opam.template
</li>
<li class="file-stats">
<a href="#81f0092aecd79d4e01923749a7c80b9859c0637a" style="color: #1068bf;"> alt-ergo.opam
</li>
<li class="file-stats">
<a href="#d40bb447a3c924a0c7e1911b4d9739816d7e19e5" style="color: #1068bf;"> alt-ergo.opam.template
</li>
<li class="file-stats">
<a href="#d3e2496d0fadea9a80c91734e3b8468bce952c76" style="color: #1068bf;"> altgr-ergo.opam
</li>
<li class="file-stats">
<a href="#780b35fdd369c5ef472cb063d4594fcb965cee76" style="color: #1068bf;"> altgr-ergo.opam.template
</li>
<li class="file-stats">
<a href="#0a6d3492e35733d3dbb25dc7e94bcf6a194c1c95" style="color: #1068bf;"> configure.ml
</li>
<li class="file-stats">
<a href="#9c96da0e9f91d7d8937b69b524702c106258f0d1" style="color: #1068bf;"> debian/changelog
</li>
<li class="file-stats">
<a href="#2a65a4d59e67a28546917464b8374ba3f603c3b9" style="color: #1068bf;"> <span class="deleted-file">
−
debian/patches/fix_cmdliner_1.1.1.patch
</span>
</li>
<li class="file-stats">
<a href="#6fe0121d177145d05acfe7d9982bf465c0b56f1f" style="color: #1068bf;"> <span class="deleted-file">
−
debian/patches/fix_menhir_inferences.patch
</span>
</li>
<li class="file-stats">
<a href="#405dbcba3392436f16382544d2cb37b46c8af86b" style="color: #1068bf;"> <span class="deleted-file">
−
debian/patches/fix_non_native_architectures.patch
</span>
</li>
<li class="file-stats">
<a href="#bc34014ab4b9a49dd7a27bdd8d352912607c3a96" style="color: #1068bf;"> <span class="deleted-file">
−
debian/patches/series
</span>
</li>
<li class="file-stats">
<a href="#ff7544ca9f0a4202af44461d624d028f4d8469c2" style="color: #1068bf;"> docs/sphinx_docs/About/changes.md
</li>
<li class="file-stats">
<a href="#87898cb3024bf8ea9ad2d23b9f6d7136fe9de558" style="color: #1068bf;"> docs/sphinx_docs/Install/index.md
</li>
<li class="file-stats">
<a href="#a883255a0b9405feaed74dd1260b37fc100b3554" style="color: #1068bf;"> dune-project
</li>
<li class="file-stats">
<a href="#03ec207096f325e8127e63d63ed4e0a65b6da4cc" style="color: #1068bf;"> non-regression/challenges/valid/challenge-case-split-non-pred-booleans__KO.ae
</li>
<li class="file-stats">
<a href="#6aa9d4aa3628f9a17520f53b8b4f39b5b678bbf6" style="color: #1068bf;"> non-regression/main_script.sh
</li>
<li class="file-stats">
<a href="#3a16eb9b19287739f7059fbee0fd5c3a3c20bd80" style="color: #1068bf;"> non-regression/valid/adts/simple_0.ae
</li>
<li class="file-stats">
<a href="#d1e5b5bb23eea65c5af3136a3c97a2c27645d0ac" style="color: #1068bf;"> src/bin/common/parse_command.ml
</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/alt-ergo/-/compare/6fcbe2a0edab35f816a5cb9f71202e391cb70bb6...b581dfd7ab9167e93e075a77894a251748c93f46" style="color: #1068bf;">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)