- **Added:**
  Added the Ltac2 API `Ltac2.Ind` for manipulating inductive types
  (`#13920 <https://github.com/coq/coq/pull/13920>`_,
  fixes `#10095 <https://github.com/coq/coq/issues/10095>`_,
  by Pierre-Marie Pédrot).