- **Changed:** Primitive arrays are now irrelevant in their single
  polymorphic universe (same as a polymorphic cumulative list
  inductive would be) (`#13356
  <https://github.com/coq/coq/pull/13356>`_, fixes `#13354
  <https://github.com/coq/coq/issues/13354>`_, by Gaëtan Gilbert).