Julien Puydt pushed to branch master at Debian OCaml Maintainers / aac-tactics
Commits:
4eacd6d9 by Julien Puydt at 2022-08-19T14:06:09+02:00
New upstream version 8.16.0
- - - - -
27fe5527 by Julien Puydt at 2022-08-19T14:06:09+02:00
Update upstream source from tag 'upstream/8.16.0'
Update to upstream version '8.16.0'
with Debian dir a69d740a70e10c02d52132a9482ba0622705a5fe
- - - - -
bc11bb83 by Julien Puydt at 2022-08-19T15:39:52+02:00
Package new upstream 8.16.0
- - - - -
595cf7a8 by Julien Puydt at 2022-08-22T16:36:06+02:00
Prepare for upload
- - - - -
30 changed files:
- .github/workflows/docker-action.yml
- .github/workflows/nix-action.yml
- .gitignore
- + Makefile.coq.local
- README.md
- _CoqProject
- coq-aac-tactics.opam
- debian/changelog
- debian/control
- − debian/libaac-tactics-ocaml-dev.install
- − debian/libaac-tactics-ocaml-dev.lintian-overrides
- − debian/libaac-tactics-ocaml-dev.ocamldoc
- − debian/libaac-tactics-ocaml.install.in
- debian/libcoq-aac-tactics.install
- debian/rules
- meta.yml
- + resources/config.js
- + resources/coqdoc.css
- + resources/coqdocjs.css
- + resources/coqdocjs.js
- + resources/footer.html
- + resources/header.html
- + resources/index.html
- + resources/index.md
- src/aac.mlg
- src/aac_rewrite.ml
- src/coq.ml
- src/print.ml
- theories/AAC.v
- theories/Caveats.v
The diff was not included because it is too large.
View it on GitLab:
https://salsa.debian.org/ocaml-team/aac-tactics/-/compare/28b599299ca321b6f46b031d9af6bc9ed355b61a...595cf7a8b232dc813fe36351caab999bbce28fe8
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/aac-tactics/-/compare/28b599299ca321b6f46b031d9af6bc9ed355b61a...595cf7a8b232dc813fe36351caab999bbce28fe8
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/aac-tactics" style="color: #1068bf;">Debian OCaml Maintainers / aac-tactics</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/aac-tactics/-/commit/4eacd6d94bdee082233facb2c0eba3e77d753ff7" style="color: #1068bf;">4eacd6d9</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-08-19T14:06:09+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 8.16.0</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/aac-tactics/-/commit/27fe5527b1ed7e170706783e9220148fd384cc35" style="color: #1068bf;">27fe5527</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-08-19T14:06:09+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/8.16.0'
Update to upstream version '8.16.0'
with Debian dir a69d740a70e10c02d52132a9482ba0622705a5fe</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/aac-tactics/-/commit/bc11bb83016be9b8cf92cd5e0881e794a5f5ac88" style="color: #1068bf;">bc11bb83</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-08-19T15:39:52+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 8.16.0
</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/aac-tactics/-/commit/595cf7a8b232dc813fe36351caab999bbce28fe8" style="color: #1068bf;">595cf7a8</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-08-22T16:36:06+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="#b80f34f695496065eaa94eb3264533af4c91dc69" style="color: #1068bf;"> .github/workflows/docker-action.yml
</li>
<li class="file-stats">
<a href="#d0d3fdb66416cd08041b6027d384bb9aefa2a8ce" style="color: #1068bf;"> .github/workflows/nix-action.yml
</li>
<li class="file-stats">
<a href="#a5cc2925ca8258af241be7e5b0381edf30266302" style="color: #1068bf;"> .gitignore
</li>
<li class="file-stats">
<a href="#19ab1cfe8671bf06648f2c8c466e0e41009b623b" style="color: #1068bf;"> <span class="new-file">
+
Makefile.coq.local
</span>
</li>
<li class="file-stats">
<a href="#8ec9a00bfd09b3190ac6b22251dbb1aa95a0579d" style="color: #1068bf;"> README.md
</li>
<li class="file-stats">
<a href="#bf3074227c3e18abda4f21029b33e480ab172a87" style="color: #1068bf;"> _CoqProject
</li>
<li class="file-stats">
<a href="#8a494e3a640180f295257a982b5314eb997214a7" style="color: #1068bf;"> coq-aac-tactics.opam
</li>
<li class="file-stats">
<a href="#9c96da0e9f91d7d8937b69b524702c106258f0d1" style="color: #1068bf;"> debian/changelog
</li>
<li class="file-stats">
<a href="#58ef006ab62b83b4bec5d81fe5b32c3b4c2d1cc2" style="color: #1068bf;"> debian/control
</li>
<li class="file-stats">
<a href="#6d76ee97dfa1dc1467de800b3ef288f5d7243f61" style="color: #1068bf;"> <span class="deleted-file">
−
debian/libaac-tactics-ocaml-dev.install
</span>
</li>
<li class="file-stats">
<a href="#792fbec781fb1f2a691490e35baf2c852024967d" style="color: #1068bf;"> <span class="deleted-file">
−
debian/libaac-tactics-ocaml-dev.lintian-overrides
</span>
</li>
<li class="file-stats">
<a href="#2503e6acfd4b899bc6dd3bca44e1f813df54f7c6" style="color: #1068bf;"> <span class="deleted-file">
−
debian/libaac-tactics-ocaml-dev.ocamldoc
</span>
</li>
<li class="file-stats">
<a href="#7dd1a0fdf7d91a77f47b136db45ad12bc47f7903" style="color: #1068bf;"> <span class="deleted-file">
−
debian/libaac-tactics-ocaml.install.in
</span>
</li>
<li class="file-stats">
<a href="#5b579a8d5ea2d678fb9aa42af7c0ea5ae58e048c" style="color: #1068bf;"> debian/libcoq-aac-tactics.install
</li>
<li class="file-stats">
<a href="#8756c63497c8dc39f7773438edf53b220c773f67" style="color: #1068bf;"> debian/rules
</li>
<li class="file-stats">
<a href="#b695733a51a2a9a0ec4b7e1161d43bb85b927dcd" style="color: #1068bf;"> meta.yml
</li>
<li class="file-stats">
<a href="#17ecfd68f6485dae1cad55ec1ef2bd525da48acd" style="color: #1068bf;"> <span class="new-file">
+
resources/config.js
</span>
</li>
<li class="file-stats">
<a href="#515fd63aebcf57286f9e21affbd6f8f3936febe5" style="color: #1068bf;"> <span class="new-file">
+
resources/coqdoc.css
</span>
</li>
<li class="file-stats">
<a href="#fc33e544d83f0d9777f08c659e5236f49a87f56b" style="color: #1068bf;"> <span class="new-file">
+
resources/coqdocjs.css
</span>
</li>
<li class="file-stats">
<a href="#a83b4957d525356024ae068b96797e25c3aced66" style="color: #1068bf;"> <span class="new-file">
+
resources/coqdocjs.js
</span>
</li>
<li class="file-stats">
<a href="#8c62593a758165e13168147e297157345bc157fb" style="color: #1068bf;"> <span class="new-file">
+
resources/footer.html
</span>
</li>
<li class="file-stats">
<a href="#bb0ef0e28ef39d0c7b60432bc774f2080de86a84" style="color: #1068bf;"> <span class="new-file">
+
resources/header.html
</span>
</li>
<li class="file-stats">
<a href="#0cef6451a8d7308c8630fa58262c9b9ed3bcce20" style="color: #1068bf;"> <span class="new-file">
+
resources/index.html
</span>
</li>
<li class="file-stats">
<a href="#431769e8d3e9b0ff19355845af9a93d7bf9e120f" style="color: #1068bf;"> <span class="new-file">
+
resources/index.md
</span>
</li>
<li class="file-stats">
<a href="#8e342419eb47eab5976a7e7697724d912dc477fa" style="color: #1068bf;"> src/aac.mlg
</li>
<li class="file-stats">
<a href="#5626763474cd7ab47624ca31c58794d66f91e5f5" style="color: #1068bf;"> src/aac_rewrite.ml
</li>
<li class="file-stats">
<a href="#38c23078e5117a9fe5935466e1460396789b3264" style="color: #1068bf;"> src/coq.ml
</li>
<li class="file-stats">
<a href="#f959c1c01a6ecbd199626672289c39f92990ff63" style="color: #1068bf;"> src/print.ml
</li>
<li class="file-stats">
<a href="#3cb0fb819f04b08fe04cd7c9c85b0935caaf154b" style="color: #1068bf;"> theories/AAC.v
</li>
<li class="file-stats">
<a href="#1ce0dc27869c7f5da3360bccf9306e7c8dfb309e" style="color: #1068bf;"> theories/Caveats.v
</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/aac-tactics/-/compare/28b599299ca321b6f46b031d9af6bc9ed355b61a...595cf7a8b232dc813fe36351caab999bbce28fe8" 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)