- **Deprecated:**
  The micromega option :flag:`Simplex`, which is currently set by default
  (`#13781 <https://github.com/coq/coq/pull/13781>`_, by Frédéric Besson).