[Git][ocaml-team/coq][master] 4 commits: New upstream version 8.14.1+dfsg

["Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>]

Title: GitLab

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.
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.