Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / menhir
Commits:
e28fd84a by Stephane Glondu at 2023-08-27T06:23:22+02:00
Fix debian/watch
- - - - -
5919378c by Stephane Glondu at 2023-08-27T06:25:10+02:00
New upstream version 20230415+ds
- - - - -
50993a90 by Stephane Glondu at 2023-08-27T06:25:14+02:00
New upstream version 20230428+ds
- - - - -
3cc91d8e by Stephane Glondu at 2023-08-27T06:25:37+02:00
New upstream version 20230608+ds
- - - - -
3403c79c by Stephane Glondu at 2023-08-27T06:25:38+02:00
Update upstream source from tag 'upstream/20230608+ds'
Update to upstream version '20230608+ds'
with Debian dir b96c131e8ff2cfa9c0c0504ae81dec330106197e
- - - - -
7ec2286e by Stephane Glondu at 2023-08-27T06:26:11+02:00
New upstream release
- - - - -
42f58f78 by Stephane Glondu at 2023-08-27T06:55:23+02:00
Depend on ocaml instead of ocaml-nox
- - - - -
561cb3ea by Stephane Glondu at 2023-08-27T06:55:23+02:00
Simplify debian/rules
- - - - -
2e3e27e1 by Stephane Glondu at 2023-08-27T06:55:23+02:00
Fix cleaning (Closes: #1046147)
- - - - -
5327938c by Stephane Glondu at 2023-08-27T06:55:23+02:00
Update changelog and prepare upload to unstable
- - - - -
30 changed files:
- − .gitlab-ci.yml
- LICENSE
- benchmarks/parsers/houblix/AST.ml
- − benchmarks/parsers/houblix/extPPrint.ml
- − benchmarks/parsers/houblix/mint.ml
- − benchmarks/parsers/houblix/mint.mli
- benchmarks/parsers/houblix/position.ml
- benchmarks/parsers/houblix/position.mli
- − benchmarks/parsers/houblix/prettyPrinter.ml
- + benchmarks/template/backends/06_new_code_O1_specialize_token.flags
- benchmarks/template/backends/TEMPLATE
- debian/changelog
- + debian/clean
- debian/rules
- debian/tests/control
- debian/watch
- doc/Makefile
- doc/macros.tex
- doc/manual.tex
- doc/version.tex
- dune-project
- fix/AUTHORS.md
- fix/CHANGES.md
- + fix/src/Enum.ml
- + fix/src/Enum.mli
- fix/src/Indexing.ml
- fix/src/Indexing.mli
- + fix/src/Minimize.ml
- + fix/src/Minimize.mli
- + fix/src/Partition.ml
The diff was not included because it is too large.
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/-/compare/bc9f23499fa5ae98ad8281838d220a5ba7a6df50...5327938cfa55b841d2f25acebd35e8ccdc5432b7
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/-/compare/bc9f23499fa5ae98ad8281838d220a5ba7a6df50...5327938cfa55b841d2f25acebd35e8ccdc5432b7
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/menhir">Debian OCaml Maintainers / menhir</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/menhir/-/commit/e28fd84a13908ce009c12011af0cb75ffcd677cc">e28fd84a</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-08-27T06:23:22+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;'>Fix debian/watch
</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/menhir/-/commit/5919378c67d6b5b1dcb7f8a777ea0c259c4df629">5919378c</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-08-27T06:25:10+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 20230415+ds</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/menhir/-/commit/50993a90c5b45a51f0227beccef6b5b34b908416">50993a90</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-08-27T06:25:14+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 20230428+ds</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/menhir/-/commit/3cc91d8ec93419a3472590abaa08a6d5559c44a0">3cc91d8e</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-08-27T06:25:37+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 20230608+ds</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/menhir/-/commit/3403c79cb49f52e04982a3bbaf1983ae449bd470">3403c79c</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-08-27T06:25:38+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/20230608+ds'
Update to upstream version '20230608+ds'
with Debian dir b96c131e8ff2cfa9c0c0504ae81dec330106197e</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/menhir/-/commit/7ec2286e54c15bdedb341a1632e5e4a4c0135552">7ec2286e</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-08-27T06:26:11+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/menhir/-/commit/42f58f780af1af0bd5e0368c548d23499c778d12">42f58f78</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-08-27T06:55:23+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;'>Depend on ocaml instead of ocaml-nox
</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/menhir/-/commit/561cb3eaabd0e152859afa2aef450eca98af2d7d">561cb3ea</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-08-27T06:55:23+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;'>Simplify debian/rules
</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/menhir/-/commit/2e3e27e1d648ad2a170be8fd3a8466a0467b9977">2e3e27e1</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-08-27T06:55:23+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;'>Fix cleaning (Closes: #1046147)
</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/menhir/-/commit/5327938cfa55b841d2f25acebd35e8ccdc5432b7">5327938c</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-08-27T06:55:23+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;">
30 changed files:
</h4>
<li class="file-stats">
<a href="#587d266bb27a4dc3022bbed44dfa19849df3044c">
<span class="deleted-file">
−
.gitlab-ci.yml
</span>
</li>
<li class="file-stats">
<a href="#0398ccd0f49298b10a3d76a47800d2ebecd49859">
LICENSE
</li>
<li class="file-stats">
<a href="#823f97faa46e07c68bef084dcb97181489db3e43"> benchmarks/parsers/houblix/AST.ml
</li>
<li class="file-stats">
<a href="#4ccde31ec669c806e93ca3027fc96a7e94beab09">
<span class="deleted-file">
−
benchmarks/parsers/houblix/extPPrint.ml
</span>
</li>
<li class="file-stats">
<a href="#c386cc201524d22d2b5619098f45852a622bc417">
<span class="deleted-file">
−
benchmarks/parsers/houblix/mint.ml
</span>
</li>
<li class="file-stats">
<a href="#4696f95bdcf74d98315bffcb36aea951931ce8b4">
<span class="deleted-file">
−
benchmarks/parsers/houblix/mint.mli
</span>
</li>
<li class="file-stats">
<a href="#f0d570d901ea3ccb37ad69185736e026cfcd1e3e"> benchmarks/parsers/houblix/position.ml
</li>
<li class="file-stats">
<a href="#0021e2d506d2bf58a2f33b0b4f22ac4092300d2d"> benchmarks/parsers/houblix/position.mli
</li>
<li class="file-stats">
<a href="#729e0b7308da2bca3addb28f9a2d8ff231fa0a71">
<span class="deleted-file">
−
benchmarks/parsers/houblix/prettyPrinter.ml
</span>
</li>
<li class="file-stats">
<a href="#dbea1d7f68eb5cc182eb3fa81e41491937fc1004">
<span class="new-file">
+
benchmarks/template/backends/06_new_code_O1_specialize_token.flags
</span>
</li>
<li class="file-stats">
<a href="#526de7081b8e107f94021bc2f61fe542963b8ac3"> benchmarks/template/backends/TEMPLATE
</li>
<li class="file-stats">
<a href="#9c96da0e9f91d7d8937b69b524702c106258f0d1">
debian/changelog
</li>
<li class="file-stats">
<a href="#f5f51601866c86e59a004bd93fa415f5675be8c5">
<span class="new-file">
+
debian/clean
</span>
</li>
<li class="file-stats">
<a href="#8756c63497c8dc39f7773438edf53b220c773f67">
debian/rules
</li>
<li class="file-stats">
<a href="#83223a554d33ba7e1888274ff8ac43adb8147ba0">
debian/tests/control
</li>
<li class="file-stats">
<a href="#68ef9f98c01c7eecd4c605cc26048a06f3304b79">
debian/watch
</li>
<li class="file-stats">
<a href="#c86c7a6d9a7bc77f1c375315f47ff6952729ba5b">
doc/Makefile
</li>
<li class="file-stats">
<a href="#aa053d6412ebb25668354a712807f550678a8c43">
doc/macros.tex
</li>
<li class="file-stats">
<a href="#708cbc7b584b2f8ebbf34725c60b059470cd4c33">
doc/manual.tex
</li>
<li class="file-stats">
<a href="#02341af53a6b8d2f3bbf5d3eb84ef27dd4bda03f">
doc/version.tex
</li>
<li class="file-stats">
<a href="#a883255a0b9405feaed74dd1260b37fc100b3554">
dune-project
</li>
<li class="file-stats">
<a href="#2fa4afb403e18bdcc667e0947b17707216e022ba">
fix/AUTHORS.md
</li>
<li class="file-stats">
<a href="#c22f1b3f612de13bb0da6fc3ea9df5c93e022f21">
fix/CHANGES.md
</li>
<li class="file-stats">
<a href="#f26d8da5fe077b36816f73a0893df6019c373be3">
<span class="new-file">
+
fix/src/Enum.ml
</span>
</li>
<li class="file-stats">
<a href="#a31a0c767bb2f41cb8101edcacfabfa7608663cc">
<span class="new-file">
+
fix/src/Enum.mli
</span>
</li>
<li class="file-stats">
<a href="#2237fb539147c15742a02acde8c0f937f2e177eb">
fix/src/Indexing.ml
</li>
<li class="file-stats">
<a href="#37abc39bc6f43f8657bdc548934d37bc8febf911">
fix/src/Indexing.mli
</li>
<li class="file-stats">
<a href="#ed6a900123a2edb532c4f52dc9ba96cd900772b4">
<span class="new-file">
+
fix/src/Minimize.ml
</span>
</li>
<li class="file-stats">
<a href="#868bccf35ca8932a101cde765c9336a0f85c486e">
<span class="new-file">
+
fix/src/Minimize.mli
</span>
</li>
<li class="file-stats">
<a href="#f4cbd815ea3dd4726897265a2d48b263d922454b">
<span class="new-file">
+
fix/src/Partition.ml
</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/menhir/-/compare/bc9f23499fa5ae98ad8281838d220a5ba7a6df50...5327938cfa55b841d2f25acebd35e8ccdc5432b7">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)