Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
711e564b by Julien Puydt at 2022-01-17T10:01:07+01:00
New upstream version 8.15.0+dfsg
- - - - -
30 changed files:
- .github/CODEOWNERS
- .github/PULL_REQUEST_TEMPLATE.md
- .github/workflows/ci.yml
- + .github/workflows/stale.yml
- .gitlab-ci.yml
- CONTRIBUTING.md
- INSTALL.md
- Makefile.build
- Makefile.ci
- Makefile.common
- Makefile.dev
- Makefile.doc
- Makefile.dune
- Makefile.ide
- Makefile.install
- Makefile.make
- Makefile.vofiles
- README.md
- + boot/dune
- + boot/env.ml
- + boot/env.mli
- theories/Compat/Coq812.v → boot/path.ml
- + boot/util.ml
- checker/check.ml
- checker/checkFlags.ml
- checker/checkInductive.ml
- checker/check_stat.ml
- checker/checker.ml
- checker/dune
- checker/include
The diff was not included because it is too large.
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq/-/commit/711e564b3992cd6998363c143980b9626ac00862
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq/-/commit/711e564b3992cd6998363c143980b9626ac00862
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/coq">Debian OCaml Maintainers / coq</a>
</h3>
Commits:
</h4>
<strong><a href="
https://salsa.debian.org/ocaml-team/coq/-/commit/711e564b3992cd6998363c143980b9626ac00862">711e564b</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-01-17T10:01:07+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 8.15.0+dfsg</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<li class="file-stats">
<a href="#7f9004ad0df1b6391abc998d9a153f9e763cbdd7">
.github/CODEOWNERS
</li>
<li class="file-stats">
<a href="#b8baf23d7ed7f2b79b86aeb041867428fb196428"> .github/PULL_REQUEST_TEMPLATE.md
</li>
<li class="file-stats">
<a href="#899ce9c202bf7bb5480e72836c3edc773c9c4244">
.github/workflows/ci.yml
</li>
<li class="file-stats">
<a href="#1d19aad7b7b27d190877325ddc2bf187f2ea4808">
<span class="new-file">
+
.github/workflows/stale.yml
</span>
</li>
<li class="file-stats">
<a href="#587d266bb27a4dc3022bbed44dfa19849df3044c">
.gitlab-ci.yml
</li>
<li class="file-stats">
<a href="#3f454a98e586d1aa0d322e19afd5e67e08f2d3c8">
CONTRIBUTING.md
</li>
<li class="file-stats">
<a href="#b2270542d41297db1ee0d12698e609ea3ec25ce7">
INSTALL.md
</li>
<li class="file-stats">
<a href="#d202fafe9306f176e34a79c29c8dc14b91baaef7">
Makefile.build
</li>
<li class="file-stats">
<a href="#e7198ec1cb82d0071e94c5e8e89a9b4c4909a091">
Makefile.ci
</li>
<li class="file-stats">
<a href="#44cf1f305f76b35baf56b3ade9e6f45847f68715">
Makefile.common
</li>
<li class="file-stats">
<a href="#3515858b49c558c246fa8365a67908e239a345c9">
Makefile.dev
</li>
<li class="file-stats">
<a href="#b459e31d8869c23ae2499d0a8bb70bcc6c10679f">
Makefile.doc
</li>
<li class="file-stats">
<a href="#b2dac6e6ef363bc181effb61e1e3ae1eea770dce">
Makefile.dune
</li>
<li class="file-stats">
<a href="#7d7964dceff2e39f6c39ef417d3ab734d21dcad8">
Makefile.ide
</li>
<li class="file-stats">
<a href="#c0c368b8fd04ef5c7e6e023406b8f7e79c639f4f">
Makefile.install
</li>
<li class="file-stats">
<a href="#dc08c590cfc021a72bb20220a55a32388c589905">
Makefile.make
</li>
<li class="file-stats">
<a href="#56956c19769a7a0e4129d5eab113deaa86c36ec4">
Makefile.vofiles
</li>
<li class="file-stats">
<a href="#8ec9a00bfd09b3190ac6b22251dbb1aa95a0579d">
README.md
</li>
<li class="file-stats">
<a href="#0f6beacc0cd4326235cdf2b811bb80fdc8bda111">
<span class="new-file">
+
boot/dune
</span>
</li>
<li class="file-stats">
<a href="#38aaa13f5044b3f4e35a271e22666632af883e88">
<span class="new-file">
+
boot/env.ml
</span>
</li>
<li class="file-stats">
<a href="#ecbdc7b1e9e597698329daa5d015c0803ccda888">
<span class="new-file">
+
boot/env.mli
</span>
</li>
<li class="file-stats">
<a href="#d56c01f2ae8c7d86e43c77f4ba48a5b213ff1e4d">
theories/Compat/Coq812.v
→
boot/path.ml
</li>
<li class="file-stats">
<a href="#8e1f8be5e70a8ff2a99989422b6be1da1b71e45f">
<span class="new-file">
+
boot/util.ml
</span>
</li>
<li class="file-stats">
<a href="#0331861de745d585316600cd66d3d2612e1b926b">
checker/check.ml
</li>
<li class="file-stats">
<a href="#c7e52d538ae2026565e752299dd68de88c766d6b">
checker/checkFlags.ml
</li>
<li class="file-stats">
<a href="#5437b9c7c4179f1b1408e61861f562fd462591a1">
checker/checkInductive.ml
</li>
<li class="file-stats">
<a href="#a04b241dd4621b31aae3086d62a90418d6aae4c8">
checker/check_stat.ml
</li>
<li class="file-stats">
<a href="#97813e31f0f3eb58b79ee73f8fa2e6bb5d17d91e">
checker/checker.ml
</li>
<li class="file-stats">
<a href="#73bfb16ae4efc8c3e00a753a1a7e1e74f46c6086">
checker/dune
</li>
<li class="file-stats">
<a href="#ef1e06ba5db3433081fbf96bc42919c696ac13a0">
checker/include
</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/coq/-/commit/711e564b3992cd6998363c143980b9626ac00862">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/coq/-/commit/711e564b3992cd6998363c143980b9626ac00862"}}</script>
</div>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)