- **Changed:**
  Renamed Ltac2 Bool.eq into Bool.equal for uniformity.
  The old function is now a deprecated alias
  (`#14128 <https://github.com/coq/coq/pull/14128>`_,
  by Pierre-Marie Pédrot).