Initial release

Compatible with Coq v8.11, v8.12+beta1, and the current v8.12+alpha.
Integrates with Iris 3.3.
This tag has no release notes.