Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
f8715fec by Julien Puydt at 2022-03-22T17:37:51+01:00
New upstream version 8.15.1+dfsg
- - - - -
30 changed files:
- .github/workflows/ci.yml → .github/workflows/ci-macos.yml
- + .github/workflows/ci-windows.yml.disabled
- config/dune
- + dev/ci/user-overlays/15721-fajb-micromega-interval-analysis.sh
- dev/doc/archive/Translator.tex
- dev/doc/critical-bugs
- dev/doc/universes.md
- ide/coqide/coqOps.ml
- ide/coqide/coqide.ml
- ide/coqide/ideutils.ml
- ide/coqide/ideutils.mli
- ide/coqide/session.ml
- ide/coqide/tags.ml
- ide/coqide/wg_Debugger.ml
- ide/coqide/wg_Find.ml
- ide/coqide/wg_Find.mli
- ide/coqide/wg_ScriptView.ml
- ide/coqide/wg_ScriptView.mli
- interp/constrextern.ml
- kernel/inductive.ml
- kernel/subtyping.ml
- lib/coqProject_file.ml
- plugins/ltac/rewrite.ml
- plugins/ltac/tacinterp.ml
- plugins/ltac2/g_ltac2.mlg
- plugins/ltac2/tac2core.ml
- plugins/micromega/certificate.ml
- plugins/micromega/zify.ml
- pretyping/glob_ops.ml
- pretyping/indrec.ml
The diff was not included because it is too large.
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq/-/commit/f8715fecf25e59bc620a1e1f7e6081f405c766e4
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq/-/commit/f8715fecf25e59bc620a1e1f7e6081f405c766e4
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/f8715fecf25e59bc620a1e1f7e6081f405c766e4">f8715fec</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-03-22T17:37:51+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 8.15.1+dfsg</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<li class="file-stats">
<a href="#d3cd39d8095dcf735896e03a35a723305797fd9c">
.github/workflows/ci.yml
→
.github/workflows/ci-macos.yml
</li>
<li class="file-stats">
<a href="#325358a6e3a4aa4d749cfb88452e1069ced5601a">
<span class="new-file">
+
.github/workflows/ci-windows.yml.disabled
</span>
</li>
<li class="file-stats">
<a href="#8e7a7cbd3c2f4ab13ddf6bdf61c3e52bb679ae7a">
config/dune
</li>
<li class="file-stats">
<a href="#b89262673baa9dc8d2e2ad56ecc5891c4309790b">
<span class="new-file">
+
dev/ci/user-overlays/15721-fajb-micromega-interval-analysis.sh
</span>
</li>
<li class="file-stats">
<a href="#a456e85db6f9eae4abf2f3e73daa67daf24d8b6e"> dev/doc/archive/Translator.tex
</li>
<li class="file-stats">
<a href="#8cc2b24cbe72c83111dfdb73c8e6e353db89a6b1">
dev/doc/critical-bugs
</li>
<li class="file-stats">
<a href="#6c18cc02155ed2e73124cde8e761fd9d6d9f60f9">
dev/doc/universes.md
</li>
<li class="file-stats">
<a href="#b2fc7614fcdb58029a85e0153fdf6456533c01f4">
ide/coqide/coqOps.ml
</li>
<li class="file-stats">
<a href="#d8dc21168ef8ecdddcea2d1f85350187d4594c4b">
ide/coqide/coqide.ml
</li>
<li class="file-stats">
<a href="#b98ee15d9c308880a364a278732848002d806446">
ide/coqide/ideutils.ml
</li>
<li class="file-stats">
<a href="#bbadc40a2029ae0526df0b4fb12fc0339cda69e7">
ide/coqide/ideutils.mli
</li>
<li class="file-stats">
<a href="#ba458e884e1890cf64f10830d4b0d0c392ab7b32">
ide/coqide/session.ml
</li>
<li class="file-stats">
<a href="#7feff722f3708c195bc8190232dfc66339a1a7de">
ide/coqide/tags.ml
</li>
<li class="file-stats">
<a href="#421fc2105980eea4b3e7a668ccbc55d6e47ed834">
ide/coqide/wg_Debugger.ml
</li>
<li class="file-stats">
<a href="#b089ed43efef32152787b8b5458d5404d73da81f">
ide/coqide/wg_Find.ml
</li>
<li class="file-stats">
<a href="#4ccc14dfa9e2b394688d04149997be5199cec8ce">
ide/coqide/wg_Find.mli
</li>
<li class="file-stats">
<a href="#859b29ac6ac427d0078ed7008e427f53b461893f"> ide/coqide/wg_ScriptView.ml
</li>
<li class="file-stats">
<a href="#cb8bfc10e3f7e17ba40d91ac5c24d39552e03fc8"> ide/coqide/wg_ScriptView.mli
</li>
<li class="file-stats">
<a href="#088cc2a0e54605210cf96f3ffeebd761ddd7ed86">
interp/constrextern.ml
</li>
<li class="file-stats">
<a href="#252b47d06ee8e11ebbb7b95eca6fbb4b3d2216d7">
kernel/inductive.ml
</li>
<li class="file-stats">
<a href="#7f8592dca5271afcd824d9025aa35449e287cce1">
kernel/subtyping.ml
</li>
<li class="file-stats">
<a href="#96634c3a9a5834132d12648054bc2dc11cee2f7e">
lib/coqProject_file.ml
</li>
<li class="file-stats">
<a href="#f3b0af171c0f805fc8bf29f8bc10e6bc1cb9535a">
plugins/ltac/rewrite.ml
</li>
<li class="file-stats">
<a href="#db005f3347e2191aa543d4450797b47afaef40bf">
plugins/ltac/tacinterp.ml
</li>
<li class="file-stats">
<a href="#a77e32a7047bb799eb71bfcaa2f304680f9fcff9">
plugins/ltac2/g_ltac2.mlg
</li>
<li class="file-stats">
<a href="#50003866652bae8092886bdbac6228fb3220d27a">
plugins/ltac2/tac2core.ml
</li>
<li class="file-stats">
<a href="#94b3beff8c0c06b254357ccd605c79510bb8dccf"> plugins/micromega/certificate.ml
</li>
<li class="file-stats">
<a href="#5b31d5d106039ee7b74900591947f6f1540598ad">
plugins/micromega/zify.ml
</li>
<li class="file-stats">
<a href="#7504c5ca6e417c8051502c1b11716db526d0cd36">
pretyping/glob_ops.ml
</li>
<li class="file-stats">
<a href="#8a393e152b0bb714c3b79f38e5a7bf97bd34c227">
pretyping/indrec.ml
</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/f8715fecf25e59bc620a1e1f7e6081f405c766e4">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/f8715fecf25e59bc620a1e1f7e6081f405c766e4"}}</script>
</div>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)