New Upstream Snapshot - coq

There were merge conflicts while merging a new upstream version.

Upstream version: 8.12.0+git20201226.61089d8.

More details

Full run details

Historical runs