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

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq

Commits:

c01d406b
by Julien Puydt at 2022-11-25T16:09:35+01:00
```
New upstream version 8.16.1+dfsg
```

917346c6

by Julien Puydt at 2022-11-25T16:09:46+01:00

Update upstream source from tag 'upstream/8.16.1+dfsg'

Update to upstream version '8.16.1+dfsg'
with Debian dir 380f765a827620b5ebb14f433d5ecf19d43a22cd

8906ded8
by Julien Puydt at 2022-11-25T16:49:10+01:00
```
Package new upstream 8.16.1
```
9db4a2b2
by Julien Puydt at 2022-11-25T16:49:15+01:00
```
Remove lintian overrides
```
57573299
by Julien Puydt at 2022-11-29T09:28:16+01:00
```
Prepare for upload
```

30 changed files:

.github/workflows/check-conflicts.yml
.github/workflows/ci-macos.yml
.github/workflows/ci-windows.yml
.gitlab-ci.yml
coq-doc.opam
debian/changelog
debian/rules
− debian/source/lintian-overrides
+ dev/ci/user-overlays/16434-SkySkimmer-assumptions-vos.sh
dev/doc/critical-bugs
dune-project
ide/coqide/coq.ml
ide/coqide/coqide.ml
ide/coqide/coqide_WIN32.c.in
ide/coqide/coqide_WIN32.ml.in
ide/coqide/coqide_main.ml
ide/coqide/dune
ide/coqide/idetop.ml
ide/coqide/preferences.ml
+ ide/coqide/shared.ml
+ ide/coqide/shared.mli
+ ide/coqide/shared_QUARTZ.c.in
+ ide/coqide/shared_QUARTZ.ml.in
+ ide/coqide/shared_WIN32.c.in
+ ide/coqide/shared_WIN32.ml.in
+ ide/coqide/shared_X11.c.in
+ ide/coqide/shared_X11.ml.in
+ ide/coqide/shared_os_specific.mli
kernel/byterun/coq_interp.c
kernel/cClosure.ml

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

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq

Commits:

30 changed files:

The diff was not included because it is too large.