mathcomp 2.1.0 and 2.2.0 renamings and Coq compat

math-comp · Mar 26, 2024 · 086ddc4 · 086ddc4
1 parent 4c189fa
commit 086ddc4
Show file tree

Hide file tree

Showing 6 changed files with 358 additions and 402 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -18,3 +18,4 @@ theories/mxtens.v
 -arg -w -arg +undeclared-scope
 -arg -w -arg -ambiguous-paths
 -arg -w -arg -uniform-inheritance
+-arg -w -arg -deprecated-since-8.19