Coq 8.16+rc1 has been tagged

Developing the Coq system
1

Dear package managers,

the V8.16+rc1 tag is now public. Please start preparing the
corresponding packages for the upcoming 8.16.0 release!

Thanks,
PMP