- **Removed:**
  The little used `:>` type cast, which was only interpreted in Program-mode
  (`#13911 <https://github.com/coq/coq/pull/13911>`_,
  by Jim Fehrle and Théo Zimmermann).