Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: 08b1c450 by Julien Puydt at 2021-12-11T10:12:33+01:00 New upstream version 8.14.1+dfsg - - - - - 68c9e112 by Julien Puydt at 2021-12-11T10:12:52+01:00 Update upstream source from tag 'upstream/8.14.1+dfsg' Update to upstream version '8.14.1+dfsg' with Debian dir 94d199b1cee23c85f6ea2a1ebd332b6b88e8ad5f - - - - - 757edd4f by Julien Puydt at 2021-12-11T10:31:36+01:00 Package new upstream release 8.14.1 - - - - - 9cc7552e by Julien Puydt at 2021-12-11T11:46:59+01:00 Prepare for upload - - - - - 30 changed files: - Makefile.common - debian/changelog - debian/rules - dev/doc/critical-bugs - dev/doc/release-process.md - kernel/nativecode.ml - kernel/nativevalues.ml - kernel/nativevalues.mli - kernel/parray.ml - kernel/parray.mli - plugins/extraction/extract_env.ml - plugins/extraction/extraction.ml - plugins/ltac/tacinterp.ml - pretyping/nativenorm.ml - pretyping/vnorm.ml - tactics/tactics.ml - + test-suite/bugs/closed/bug_10796.v - + test-suite/bugs/closed/bug_12298.v - + test-suite/bugs/closed/bug_13950.v - + test-suite/bugs/closed/bug_14505.v - + test-suite/bugs/closed/bug_15043.v - + test-suite/bugs/closed/bug_15070.v - + test-suite/bugs/closed/bug_15099.v - + test-suite/bugs/closed/bug_7228.v - + test-suite/bugs/closed/bug_8310.v - + test-suite/output/bug_15106.out - + test-suite/output/bug_15106.v - tools/configure/configure.ml - tools/coqdep_common.ml - vernac/assumptions.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/982015a121d3c68f1b01c9f2b6fce9b863298e66...9cc7552e30a834e9735f8071dfdda615fdcc8611 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/982015a121d3c68f1b01c9f2b6fce9b863298e66...9cc7552e30a834e9735f8071dfdda615fdcc8611 You're receiving this email because of your account on salsa.debian.org.
