- **Fixed:**
  ``coqchk`` no longer reports names from inner modules of opaque modules as
  axioms (`#12862 <https://github.com/coq/coq/pull/12862>`_, fixes `#12845
  <https://github.com/coq/coq/issues/12845>`_, by Jason Gross).