- **Changed:**
  The representation of micromega caches was slightly
  altered for efficiency purposes. As a consequence
  all stale caches must be cleaned up
  (`#13405 <https://github.com/coq/coq/pull/13405>`_,
  by Pierre-Marie Pédrot).