Julien Puydt pushed to branch master 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 - - - - - 02ef96c2 by Julien Puydt at 2022-03-22T17:37:31+01:00 Better d/watch - - - - - f8715fec by Julien Puydt at 2022-03-22T17:37:51+01:00 New upstream version 8.15.1+dfsg - - - - - 4ae110ec by Julien Puydt at 2022-03-22T17:38:03+01:00 Update upstream source from tag 'upstream/8.15.1+dfsg' Update to upstream version '8.15.1+dfsg' with Debian dir 38641c5ac752bdb798f48ebc4487f88018721a50 - - - - - a6c78708 by Julien Puydt at 2022-03-22T17:54:44+01:00 Package new upstream 8.15.1 - - - - - ede0d91b by Julien Puydt at 2022-03-22T17:54:48+01:00 Refresh patches - - - - - 90dbf5a4 by Julien Puydt at 2022-03-22T18:05:38+01:00 Prepare for upload - - - - - 30 changed files: - .github/workflows/ci.yml → .github/workflows/ci-macos.yml - + .github/workflows/ci-windows.yml.disabled - config/dune - debian/changelog - debian/patches/fix_debian_paths.patch - debian/rules - debian/watch - + 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 The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/37b65e24c302b942cfaf16028b62ca6e4545ad3c...90dbf5a476255f28f031a614e509ca841025f095 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/37b65e24c302b942cfaf16028b62ca6e4545ad3c...90dbf5a476255f28f031a614e509ca841025f095 You're receiving this email because of your account on salsa.debian.org.
