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.
