V8.15.0 tag set

Developing the Coq system
1

The tag has been set. Opam packages, docker tags and platform versions will now be prepared.