Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / why3
Commits:
96bdf9b7 by Stephane Glondu at 2023-09-08T07:00:46+02:00
New upstream version 1.6.0
- - - - -
87764e3d by Stephane Glondu at 2023-09-08T07:01:06+02:00
Update upstream source from tag 'upstream/1.6.0'
Update to upstream version '1.6.0'
with Debian dir a4d9feb6be26c0d4a056c4bbf5986eb9708ede97
- - - - -
aa69613f by Stephane Glondu at 2023-09-08T07:01:13+02:00
New upstream release
- - - - -
64b57af4 by Stephane Glondu at 2023-09-08T07:08:55+02:00
Bump Standards-Version to 4.6.2
- - - - -
0427742b by Stephane Glondu at 2023-09-08T07:09:54+02:00
Update changelog and prepare upload to unstable
- - - - -
18 changed files:
- .merlin.in
- CHANGES.md
- + CONTRIBUTING.md
- Makefile.in
- + bench/bddinfer-bench
- bench/bench
- − bench/ce-bench
- + bench/ce-stats.py
- − bench/ce/jlamp0_mono.mlw
- − bench/ce/oracles/algebraic_type_CVC4,1.7_SP.oracle
- − bench/ce/oracles/algebraic_type_CVC4,1.7_WP.oracle
- − bench/ce/oracles/algebraic_type_CVC4,1.8_SP.oracle
- − bench/ce/oracles/algebraic_type_CVC4,1.8_WP.oracle
- − bench/ce/oracles/algebraic_type_Z3,4.8.10_SP.oracle
- − bench/ce/oracles/algebraic_type_Z3,4.8.10_WP.oracle
- − bench/ce/oracles/algebraic_type_Z3,4.8.4_SP.oracle
- − bench/ce/oracles/algebraic_type_Z3,4.8.4_WP.oracle
- − bench/ce/oracles/algebraic_types_mono_CVC4,1.7_SP.oracle
The diff was not included because it is too large.
View it on GitLab:
https://salsa.debian.org/ocaml-team/why3/-/compare/065054f82a969172bcb9385bf76a01445fdb6267...0427742b302497898e53884ecc95ef774adcd573
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/why3/-/compare/065054f82a969172bcb9385bf76a01445fdb6267...0427742b302497898e53884ecc95ef774adcd573
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" style='--code-editor-font: var(--default-mono-font, "Menlo"), DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;'>
<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: var(--default-regular-font, -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: var(--default-regular-font, -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;">
Stéphane Glondu pushed to branch master at <a href="
https://salsa.debian.org/ocaml-team/why3">Debian OCaml Maintainers / why3</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/why3/-/commit/96bdf9b789e8e75d3fb73653729b246173b72d5e">96bdf9b7</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-09-08T07:00:46+02:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "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: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>New upstream version 1.6.0</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/87764e3d06418aba3772b59563882c3fb0e8e009">87764e3d</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-09-08T07:01:06+02:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "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: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Update upstream source from tag 'upstream/1.6.0'
Update to upstream version '1.6.0'
with Debian dir a4d9feb6be26c0d4a056c4bbf5986eb9708ede97</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/aa69613ffd125d242b752be7fe9926a7f4f76b37">aa69613f</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-09-08T07:01:13+02:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "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: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>New upstream release
</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/64b57af4d060d9fce05bd6afc650440332341d25">64b57af4</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-09-08T07:08:55+02:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "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: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Bump Standards-Version to 4.6.2
</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/0427742b302497898e53884ecc95ef774adcd573">0427742b</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-09-08T07:09:54+02:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "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: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Update changelog and prepare upload to unstable
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
18 changed files:
</h4>
<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="#3f454a98e586d1aa0d322e19afd5e67e08f2d3c8">
<span class="new-file">
+
CONTRIBUTING.md
</span>
</li>
<li class="file-stats">
<a href="#4faecea6d9857941b442698cdcbd38a141ff746e">
Makefile.in
</li>
<li class="file-stats">
<a href="#a6e31b916b414a5377631d10a4e6d1c441272894">
<span class="new-file">
+
bench/bddinfer-bench
</span>
</li>
<li class="file-stats">
<a href="#d0f3c084e0015a8dfb4cc774d440d9960f9a2546">
bench/bench
</li>
<li class="file-stats">
<a href="#680aefb205f5a48c807dc4e651face77f1a1bb0b">
<span class="deleted-file">
−
bench/ce-bench
</span>
</li>
<li class="file-stats">
<a href="#7b5c979bf429be39f0be9a9e90485861caf93dcf">
<span class="new-file">
+
bench/ce-stats.py
</span>
</li>
<li class="file-stats">
<a href="#1036e9ecc142e5677b6ae6f710022439f9653228">
<span class="deleted-file">
−
bench/ce/jlamp0_mono.mlw
</span>
</li>
<li class="file-stats">
<a href="#e481b53df748468e584936f2f726e8ff39ec36c0">
<span class="deleted-file">
−
bench/ce/oracles/algebraic_type_CVC4,1.7_SP.oracle
</span>
</li>
<li class="file-stats">
<a href="#51b6f1561db8439d3bcd8b095c7cb213f4fd79bb">
<span class="deleted-file">
−
bench/ce/oracles/algebraic_type_CVC4,1.7_WP.oracle
</span>
</li>
<li class="file-stats">
<a href="#754b7e082bf32f5aa6b6fa79491053a607dd8d40">
<span class="deleted-file">
−
bench/ce/oracles/algebraic_type_CVC4,1.8_SP.oracle
</span>
</li>
<li class="file-stats">
<a href="#51e7e82f913a2f55cba383220b5c49166176045e">
<span class="deleted-file">
−
bench/ce/oracles/algebraic_type_CVC4,1.8_WP.oracle
</span>
</li>
<li class="file-stats">
<a href="#636d7768f50d176eaf224e13f46a322abe15be0d">
<span class="deleted-file">
−
bench/ce/oracles/algebraic_type_Z3,4.8.10_SP.oracle
</span>
</li>
<li class="file-stats">
<a href="#f8d3dd0bb56aa7f2b0bb03403362204b7f040ad6">
<span class="deleted-file">
−
bench/ce/oracles/algebraic_type_Z3,4.8.10_WP.oracle
</span>
</li>
<li class="file-stats">
<a href="#72f9f8d23b3006cae247931c19634151f1e43f33">
<span class="deleted-file">
−
bench/ce/oracles/algebraic_type_Z3,4.8.4_SP.oracle
</span>
</li>
<li class="file-stats">
<a href="#72f31363468fe844df9c793cbe2e393b90eccef8">
<span class="deleted-file">
−
bench/ce/oracles/algebraic_type_Z3,4.8.4_WP.oracle
</span>
</li>
<li class="file-stats">
<a href="#8d9acee75f43dde60938bd62b8d8f6e37859943b">
<span class="deleted-file">
−
bench/ce/oracles/algebraic_types_mono_CVC4,1.7_SP.oracle
</span>
</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: #737278;">
—
<a href="
https://salsa.debian.org/ocaml-team/why3/-/compare/065054f82a969172bcb9385bf76a01445fdb6267...0427742b302497898e53884ecc95ef774adcd573">View it on GitLab</a>.
You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="
https://salsa.debian.org">salsa.debian.org</a>. <a href="
https://salsa.debian.org/-/profile/notifications" target="_blank" rel="noopener noreferrer"
class="mng-notif-link">Manage all notifications</a> · <a href="
https://salsa.debian.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>
</div>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)