- **Added:**
  An array library for Ltac2 (as compatible as possible with OCaml standard library)
  (`#10343 <https://github.com/coq/coq/pull/10343>`_,
  by Michael Soegtrop).