Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / alt-ergo
Commits:
0637ce5a by Julien Puydt at 2022-04-07T13:09:58+02:00
New upstream version 2.4.1
- - - - -
27 changed files:
- + .github/workflows/README.md
- + .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
- + .gitignore
- − COPYING.md
- − INSTALL.md
- LICENSE.md
- − License.OCamlPro
- Makefile
- − Makefile.configurable.in
- − Makefile.developers
- − Makefile.users
- README.md
- + 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
The diff was not included because it is too large.
View it on GitLab:
https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/0637ce5ac88d4cc19d276b7b844b3bf36fe39492
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/0637ce5ac88d4cc19d276b7b844b3bf36fe39492
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">
Julien Puydt pushed to branch upstream
at <a href="
https://salsa.debian.org/ocaml-team/alt-ergo">Debian OCaml Maintainers / alt-ergo</a>
</h3>
Commits:
</h4>
<strong><a href="
https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/0637ce5ac88d4cc19d276b7b844b3bf36fe39492">0637ce5a</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-04-07T13:09:58+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 2.4.1</pre>
</li>
</ul>
<h4>27 changed files:</h4>
<li class="file-stats">
<a href="#43081045592ec20a825c7d95135da29851f3353f">
<span class="new-file">
+
.github/workflows/README.md
</span>
</li>
<li class="file-stats">
<a href="#c1dffec1982ad3fccfd17197c5cf85dd7d0ba23f">
<span class="new-file">
+
.github/workflows/build_docker.yml
</span>
</li>
<li class="file-stats">
<a href="#4e8a107f3fc1409223206929e608f96590d568e3">
<span class="new-file">
+
.github/workflows/build_js.yml
</span>
</li>
<li class="file-stats">
<a href="#fdec6e5647996cfd6b68fc2b211f112af1d11bb4">
<span class="new-file">
+
.github/workflows/build_macos.yml
</span>
</li>
<li class="file-stats">
<a href="#694b3601de882e189e83d8bc731a048bccc6d21b">
<span class="new-file">
+
.github/workflows/build_make.yml
</span>
</li>
<li class="file-stats">
<a href="#bdd9cb2c5a377b212da38d36ed1c32b9ec8b4aac">
<span class="new-file">
+
.github/workflows/build_ubuntu.yml
</span>
</li>
<li class="file-stats">
<a href="#d399ec3b5e0f008cc57b0efa7a0880b487fa4abc">
<span class="new-file">
+
.github/workflows/build_windows.yml
</span>
</li>
<li class="file-stats">
<a href="#09955933b412fbf2f6cd3ced21488cc6925af39f">
<span class="new-file">
+
.github/workflows/documentation.yml
</span>
</li>
<li class="file-stats">
<a href="#32041b1c9d997b5f67aee1542cc355f2390d3bd0">
<span class="new-file">
+
.github/workflows/linter.yml
</span>
</li>
<li class="file-stats">
<a href="#a5cc2925ca8258af241be7e5b0381edf30266302">
<span class="new-file">
+
.gitignore
</span>
</li>
<li class="file-stats">
<a href="#e225bdb5a30142a57a851190d03727a16a08645a">
<span class="deleted-file">
−
COPYING.md
</span>
</li>
<li class="file-stats">
<a href="#b2270542d41297db1ee0d12698e609ea3ec25ce7">
<span class="deleted-file">
−
INSTALL.md
</span>
</li>
<li class="file-stats">
<a href="#4a8486805915245bbbe2e3c8c1a9d680c6843a82">
LICENSE.md
</li>
<li class="file-stats">
<a href="#6c588aa3836565b7a17977164c0687847b22f2df">
<span class="deleted-file">
−
License.OCamlPro
</span>
</li>
<li class="file-stats">
<a href="#836efb6e25a091dcb4ff8e1dbb2f0be6a5cbf14c">
Makefile
</li>
<li class="file-stats">
<a href="#69a30da1357c419b019497e1ee4fe4714e9a60ac">
<span class="deleted-file">
−
Makefile.configurable.in
</span>
</li>
<li class="file-stats">
<a href="#e7e49cccd4abd7eb571acef0e52bb31b4e10553f">
<span class="deleted-file">
−
Makefile.developers
</span>
</li>
<li class="file-stats">
<a href="#26daee47a35d0664a305f050c4d0aa83c700664e">
<span class="deleted-file">
−
Makefile.users
</span>
</li>
<li class="file-stats">
<a href="#8ec9a00bfd09b3190ac6b22251dbb1aa95a0579d">
README.md
</li>
<li class="file-stats">
<a href="#9b65a80c84fd7cfbb403996d07dc47fc1c8077da">
<span class="new-file">
+
alt-ergo-lib.opam
</span>
</li>
<li class="file-stats">
<a href="#2653ce093e70f05e78f0f285d8cef9a21a987d29">
<span class="new-file">
+
alt-ergo-lib.opam.template
</span>
</li>
<li class="file-stats">
<a href="#0c3a9826f4b2f408811b6c69e956c3d5a7caffcc">
<span class="new-file">
+
alt-ergo-parsers.opam
</span>
</li>
<li class="file-stats">
<a href="#cdb5149fda5b0114a711a8ea2233fa7f51ad869b">
<span class="new-file">
+
alt-ergo-parsers.opam.template
</span>
</li>
<li class="file-stats">
<a href="#81f0092aecd79d4e01923749a7c80b9859c0637a">
<span class="new-file">
+
alt-ergo.opam
</span>
</li>
<li class="file-stats">
<a href="#d40bb447a3c924a0c7e1911b4d9739816d7e19e5">
<span class="new-file">
+
alt-ergo.opam.template
</span>
</li>
<li class="file-stats">
<a href="#d3e2496d0fadea9a80c91734e3b8468bce952c76">
<span class="new-file">
+
altgr-ergo.opam
</span>
</li>
<li class="file-stats">
<a href="#780b35fdd369c5ef472cb063d4594fcb965cee76">
<span class="new-file">
+
altgr-ergo.opam.template
</span>
</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;">
—
<a href="
https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/0637ce5ac88d4cc19d276b7b844b3bf36fe39492">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/alt-ergo/-/commit/0637ce5ac88d4cc19d276b7b844b3bf36fe39492"}}</script>
</div>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)