Version 8.8+beta1 of Coq

Version 8.7.2 of Coq. It fixes a critical bug in the VM handling

of universes (rocq-prover#6677). This bug affected all releases since 8.5.

Other changes include improved support for building with OCaml
4.06.0 and external num package, many other bug fixes,
documentation improvements, and user message improvements (for
details, see the 8.7.2 milestone at
https://github.com/coq/coq/milestone/11?closed=1).

Coq 8.7.1

The V8.8+alpha tag marks the first commit not present in v8.7.

Version 8.7.0

Version 8.7+beta2

Version 8.7+beta1

Merge PR rocq-prover#856: 8.6.1 CHANGES entries.

Set version to 8.6 in configure.

Commit bumping the version number was partial...

The sad part of the story is that the script testing this version number
is run after tagging by the coq-dev-tools Makefile... will fix that.