Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / why3
Commits:
f5f1014f by Stephane Glondu at 2021-11-23T10:21:58+01:00
New upstream version 1.4.0
- - - - -
13 changed files:
- − .dockerignore
- .merlin.in
- CHANGES.md
- INSTALL.md
- Makefile.in
- bench/bench
- bench/ce-bench
- + bench/ce/attributes.mlw
- − bench/ce/jlamp0/why3session.xml
- − bench/ce/jlamp0/why3shapes.gz
- − bench/ce/let_constant/why3shapes.gz
- + bench/ce/loop_ce.mlw
- + bench/ce/loop_inv.mlw
The diff was not included because it is too large.
View it on GitLab:
https://salsa.debian.org/ocaml-team/why3/-/commit/f5f1014f8c4e821127b5dbfa1a2f13837ee7d039
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/why3/-/commit/f5f1014f8c4e821127b5dbfa1a2f13837ee7d039
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">
Stéphane Glondu pushed to branch upstream
at <a href="
https://salsa.debian.org/ocaml-team/why3">Debian OCaml Maintainers / why3</a>
</h3>
Commits:
</h4>
<strong><a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/f5f1014f8c4e821127b5dbfa1a2f13837ee7d039">f5f1014f</a></strong>
<div>
<span>by Stephane Glondu</span>
<i>at 2021-11-23T10:21:58+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 1.4.0</pre>
</li>
</ul>
<h4>13 changed files:</h4>
<li class="file-stats">
<a href="#05a721ebe3ba0754116825ed1359ff1785f4bbac">
<span class="deleted-file">
−
.dockerignore
</span>
</li>
<li class="file-stats">
<a href="#478688d738b7c60ce52103f92a8e61c5696d777e">
.merlin.in
</li>
<li class="file-stats">
<a href="#7facec255884dc55d3818e4dfbea89b1bdd7f49e">
CHANGES.md
</li>
<li class="file-stats">
<a href="#b2270542d41297db1ee0d12698e609ea3ec25ce7">
INSTALL.md
</li>
<li class="file-stats">
<a href="#4faecea6d9857941b442698cdcbd38a141ff746e">
Makefile.in
</li>
<li class="file-stats">
<a href="#d0f3c084e0015a8dfb4cc774d440d9960f9a2546">
bench/bench
</li>
<li class="file-stats">
<a href="#680aefb205f5a48c807dc4e651face77f1a1bb0b">
bench/ce-bench
</li>
<li class="file-stats">
<a href="#eeaaa1e049f21b2b65ed6cdec94c4fc64df8650d">
<span class="new-file">
+
bench/ce/attributes.mlw
</span>
</li>
<li class="file-stats">
<a href="#70e459de88eae85881a957ea879ca33280f3b104">
<span class="deleted-file">
−
bench/ce/jlamp0/why3session.xml
</span>
</li>
<li class="file-stats">
<a href="#d9f327222ca6b0c23adff2ca9b0225ce92d302d8">
<span class="deleted-file">
−
bench/ce/jlamp0/why3shapes.gz
</span>
</li>
<li class="file-stats">
<a href="#f769697ba4e5d2cb21779372a3977b9a689fe026">
<span class="deleted-file">
−
bench/ce/let_constant/why3shapes.gz
</span>
</li>
<li class="file-stats">
<a href="#b906307272c2171b23d5cc1d763c6302c0b0c509">
<span class="new-file">
+
bench/ce/loop_ce.mlw
</span>
</li>
<li class="file-stats">
<a href="#1fd878c875d7fbd099df118cdb16a50afb9e6868">
<span class="new-file">
+
bench/ce/loop_inv.mlw
</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/why3/-/commit/f5f1014f8c4e821127b5dbfa1a2f13837ee7d039">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/why3/-/commit/f5f1014f8c4e821127b5dbfa1a2f13837ee7d039"}}</script>
</div>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)