A new version of MetaRocq (previously known as MetaCoq) is available for Rocq 9.0.
Along with renaming (breaking) changes, moving the repository from MetaCoq/metacoq to MetaRocq/metarocq, it includes a few bugfixes.
See the release notes at: Release MetaRocq 1.4 for Rocq 9.0 · MetaRocq/metarocq · GitHub
The opam packages are also available: rocq-metarocq 1.4+9.0 · Rocq Package