Code

Drop MC 2.0 support#89

Code

Merged

proux01 merged 2 commits intomastercoq-community/coqeal:masterfrom mc_1190coq-community/coqeal:mc_1190Copy head branch name to clipboardMar 29, 2024

+9-18

Commits

Commits on Mar 29, 2024

• Drop support for mathcomp 2.0.0

  proux01

  committed
  1cb9d50

• Adapt to math-comp/math-comp#1190

  

  pi8027

  authored and

  proux01

  committed
  5c90833